track sys_writev32 (#143)

2017-04-18 15:39:04 -04:00
parent 531f245817
commit d8335dcd97
1 changed files with 1 additions and 0 deletions
--- a/manticore/models/linux.py
+++ b/manticore/models/linux.py
@@ -1336,6 +1336,7 @@ class Linux(object):
                data += Operators.CHR(cpu.read_int(buf + j, 8))
                self.files[fd].write(Operators.CHR(cpu.read_int(buf + j, 8)))
            logger.debug("WRITEV(%r, %r, %r) -> <%r> (size:%r)"%(fd, buf, size, data, len(data)))
+            self.syscall_trace.append(("_write", fd, data))
            total+=size
        return total