(Addr)(&ufds[i].fd), sizeof(ufds[i].fd) );
PRE_MEM_READ( "poll(ufds.events)",
(Addr)(&ufds[i].events), sizeof(ufds[i].events) );
- PRE_MEM_WRITE( "poll(ufd.reventss)",
+ PRE_MEM_WRITE( "poll(ufds.reventss)",
(Addr)(&ufds[i].revents), sizeof(ufds[i].revents) );
}
}
-Syscall param poll(ufds) points to uninitialised byte(s)
+Syscall param poll(ufds.fd) points to uninitialised byte(s)
at 0x........: poll (in /...libc...)
by 0x........: main (badpoll.c:22)
Address 0x........ is 8 bytes inside a block of size 15 alloc'd
at 0x........: malloc (vg_replace_malloc.c:...)
by 0x........: main (badpoll.c:12)
-Syscall param poll(ufds) points to unaddressable byte(s)
+Syscall param poll(ufds.reventss) points to unaddressable byte(s)
at 0x........: poll (in /...libc...)
by 0x........: main (badpoll.c:22)
Address 0x........ is 0 bytes after a block of size 15 alloc'd