From edf0ee299b08d3d7a44561f4e30f0d59d85990d4 Mon Sep 17 00:00:00 2001 From: Mark Mossberg Date: Fri, 21 Apr 2017 21:31:12 -0400 Subject: [PATCH] Remove arch specific auxv (#173) --- manticore/models/linux.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/manticore/models/linux.py b/manticore/models/linux.py index edd3ddc..dc156eb 100644 --- a/manticore/models/linux.py +++ b/manticore/models/linux.py @@ -885,7 +885,6 @@ class Linux(object): cpu.write_bytes(cpu.STACK, value) return cpu.STACK - at_platform = push_bytes('x86_%02d\x00'%addressbitsize) at_random = push_bytes('A'*16) at_execfn = push_bytes(filename+'\x00') @@ -903,8 +902,7 @@ class Linux(object): auxv['AT_GID'] = 1000 # Real gid auxv['AT_EGID'] = 1000 # Effective gid auxv['AT_CLKTCK'] = 100 # Frequency of times() - auxv['AT_PLATFORM'] = at_platform # String identifying platform. - auxv['AT_HWCAP'] = 0xbfebfbff # Machine-dependent hints about processor capabilities. + auxv['AT_HWCAP'] = 0 # Machine-dependent hints about processor capabilities. auxv['AT_RANDOM'] = at_random # Address of 16 random bytes. auxv['AT_EXECFN'] = at_execfn # Filename of executable. self.auxv = auxv