Fix incorrect syscall arg regs for X86 (#224) (#228)

i386 and amd64 had their register sets reversed. This fixes that.
trailofbits · May 3, 2017 · 538dfea · 538dfea
1 parent af26764
commit 538dfea
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/manticore/models/linux.py b/manticore/models/linux.py
@@ -1812,9 +1812,9 @@ def _arch_specific_init(self, cpu, arch):
         self._arch_reg_init(cpu, arch)
 
         if arch == 'i386':
-            self.syscall_arg_regs = ['RDI', 'RSI', 'RDX', 'R10', 'R8', 'R9']
-        elif arch == 'amd64':
             self.syscall_arg_regs = ['EBX', 'ECX', 'EDX', 'ESI', 'EDI', 'EBP']
+        elif arch == 'amd64':
+            self.syscall_arg_regs = ['RDI', 'RSI', 'RDX', 'R10', 'R8', 'R9']
         elif arch == 'armv7':
             self.syscall_arg_regs = ['R0', 'R1', 'R2', 'R3', 'R4', 'R5', 'R6']
             self._init_arm_kernel_helpers(cpu)