From 9e87d1dfa65cdce3dba3e45ad088e1f26de13f8e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Samuel=20Gro=C3=9F?= Date: Tue, 2 May 2017 02:54:27 +0200 Subject: [PATCH] Added sys_ioctl to 64-bit syscall table (#218) --- manticore/models/linux.py | 1 + 1 file changed, 1 insertion(+) diff --git a/manticore/models/linux.py b/manticore/models/linux.py index 727cde7..3e95c77 100644 --- a/manticore/models/linux.py +++ b/manticore/models/linux.py @@ -1450,6 +1450,7 @@ class Linux(object): 0x0000000000000005: self.sys_fstat64, 0x0000000000000009: self.sys_mmap, 0x0000000000000001: self.sys_write, + 0x0000000000000010: self.sys_ioctl, 0x0000000000000027: self.sys_getpid, 0x000000000000003e: self.sys_kill, 0x0000000000000065: self.sys_ptrace,