From 2a6ff4b0981f5b1a90919a8988f64f25242ef827 Mon Sep 17 00:00:00 2001 From: Eric Kilmer Date: Fri, 17 May 2019 16:11:33 -0400 Subject: [PATCH] Fix check for symbolic syscall argument --- manticore/native/cpu/abstractcpu.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/manticore/native/cpu/abstractcpu.py b/manticore/native/cpu/abstractcpu.py index c182e849e..2ea4c43cd 100644 --- a/manticore/native/cpu/abstractcpu.py +++ b/manticore/native/cpu/abstractcpu.py @@ -439,7 +439,11 @@ def invoke(self, model, prefix_args=None): args = [] for arg in self._last_arguments: - arg_s = unsigned_hexlify(arg) if abs(arg) > min_hex_expansion else f"{arg}" + arg_s = ( + unsigned_hexlify(arg) + if not issymbolic(arg) and abs(arg) > min_hex_expansion + else f"{arg}" + ) if self._cpu.memory.access_ok(arg, "r") and model.__func__.__name__ not in { "sys_mprotect", "sys_mmap",