From d8335dcd97d18e70cc5934a7ca115b57bc68e908 Mon Sep 17 00:00:00 2001 From: Mark Mossberg Date: Tue, 18 Apr 2017 15:39:04 -0400 Subject: [PATCH] track sys_writev32 (#143) --- manticore/models/linux.py | 1 + 1 file changed, 1 insertion(+) diff --git a/manticore/models/linux.py b/manticore/models/linux.py index af1da2a..0cda691 100644 --- 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