From 94e6e76919ed3a4dd67a558d2ce57ddbc92ab109 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Samuel=20Gro=C3=9F?= Date: Tue, 2 May 2017 00:23:00 +0200 Subject: [PATCH] Fixed wrong syscall number for sys_faccessat (#215) --- manticore/models/linux.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manticore/models/linux.py b/manticore/models/linux.py index dc156eb..7cffc8c 100644 --- a/manticore/models/linux.py +++ b/manticore/models/linux.py @@ -1483,7 +1483,7 @@ class Linux(object): 0x000000000000003f: self.sys_uname, 0x00000000000000c9: self.sys_time, 0x00000000000000da: self.sys_set_tid_address, - 0x00000000000000da: self.sys_faccessat, + 0x000000000000010d: self.sys_faccessat, 0x0000000000000111: self.sys_set_robust_list, 0x00000000000000ca: self.sys_futex, 0x000000000000000d: self.sys_sigaction,