}
}
break;
+ case VKI_I_FIND:
+ PRE_MEM_RASCIIZ("ioctl(I_FIND)", ARG3);
+ break;
case VKI_I_PEEK:
{
/* Try hard not to mark strpeek->*buf.len members as being read. */
POST_MEM_WRITE((Addr) p->ic_dp, p->ic_len);
}
break;
+ case VKI_I_FIND:
+ break;
case VKI_I_PEEK:
{
struct vki_strpeek *p = (struct vki_strpeek*)ARG3;
SY(SYS_ioctl, x0 - 1, x0 + I_STR, &str + x0); FAIL;
}
+__attribute__((noinline))
+static void sys_ioctl_I_FIND(void)
+{
+ GO(SYS_ioctl, "(I_FIND) 3s 1m");
+ SY(SYS_ioctl, x0 - 1, x0 + I_FIND, x0 + 1); FAIL;
+}
+
__attribute__((noinline))
static void sys_ioctl_I_PEEK(void)
{
sys_ioctl_I_PUSH();
sys_ioctl_I_STR();
sys_ioctl_I_STR_2();
+ sys_ioctl_I_FIND();
sys_ioctl_I_PEEK();
sys_ioctl_I_PEEK_2();
sys_ioctl_I_CANPUT();
...
Address 0x........ is not stack'd, malloc'd or (recently) free'd
+---------------------------------------------------------
+ 54: SYS_ioctl (I_FIND) 3s 1m
+---------------------------------------------------------
+Syscall param ioctl(fd) contains uninitialised byte(s)
+ ...
+
+Syscall param ioctl(request) contains uninitialised byte(s)
+ ...
+
+Syscall param ioctl(arg) contains uninitialised byte(s)
+ ...
+
+Syscall param ioctl(I_FIND) points to unaddressable byte(s)
+ ...
+ Address 0x........ is not stack'd, malloc'd or (recently) free'd
+
---------------------------------------------------------
54: SYS_ioctl (I_PEEK) 3s 7m
---------------------------------------------------------
...
Address 0x........ is on thread 1's stack
+
+More than 100 errors detected. Subsequent errors
+will still be recorded, but in less detail than before.
Syscall param ioctl(I_PEEK, strpeek->ctlbuf.buf) points to uninitialised byte(s)
...
Address 0x........ is on thread 1's stack
...
Address 0x........ is on thread 1's stack
-
-More than 100 errors detected. Subsequent errors
-will still be recorded, but in less detail than before.
Syscall param ioctl(I_PEEK, strpeek->ctlbuf.buf) points to unaddressable byte(s)
...
Address 0x........ is not stack'd, malloc'd or (recently) free'd