New x86 instrution test

trailofbits · Jul 14, 2020 · 6c24f8d · 6c24f8d
1 parent be9bdd1
commit 6c24f8d
Showing 1 changed file with 30 additions and 0 deletions.
diff --git a/tests/native/test_cpu_manual.py b/tests/native/test_cpu_manual.py
@@ -1436,6 +1436,36 @@ def test_DAA_0(self):
         self.assertEqual(cpu.PF, True)
         self.assertEqual(cpu.CF, True)
 
+    def test_DAS_0(self):
+        """Decimal Adjust AL after Subtraction."""
+
+        cs = ConstraintSet()
+        mem = SMemory32(cs)
+        cpu = I386Cpu(mem)
+        # alloc/map a little mem
+        code = mem.mmap(0x1000, 0x1000, "rwx")
+        stack = mem.mmap(0xF000, 0x1000, "rw")
+
+        # 2F DAS
+        mem[code] = BitVecConstant(8, 0x2F)
+        cpu.EIP = code
+
+        cpu.AL = 0xAE
+        cpu.OF = True
+        cpu.SF = True
+        cpu.ZF = False
+        cpu.AF = False
+        cpu.PF = False
+        cpu.CF = False
+
+        cpu.execute()
+        self.assertEqual(cpu.AL, 0x48)
+        self.assertEqual(cpu.SF, False)
+        self.assertEqual(cpu.ZF, False)
+        self.assertEqual(cpu.AF, True)
+        self.assertEqual(cpu.PF, True)
+        self.assertEqual(cpu.CF, True)
+
 
 if __name__ == "__main__":
     unittest.main()