From 42c28e02568f14edd2c10d5046384a28bc776bbb Mon Sep 17 00:00:00 2001 From: Yan Date: Mon, 15 May 2017 16:07:01 -0400 Subject: [PATCH] Handle missing syscalls with correct exception (#255) --- manticore/platforms/linux.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manticore/platforms/linux.py b/manticore/platforms/linux.py index a9c8c5f..81a09fa 100644 --- a/manticore/platforms/linux.py +++ b/manticore/platforms/linux.py @@ -1442,7 +1442,7 @@ class Linux(Platform): table = getattr(linux_syscalls, self.current.machine) name = table[index] implementation = getattr(self, name) - except AttributeError: + except (AttributeError, KeyError): raise SyscallNotImplemented(self.current.address_bit_size, index) return self._syscall_abi.invoke(implementation)