You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

64 lines
2.2 KiB

3 years ago
#!/usr/bin/python
# Ingmar Steen, 2016
# This is to test label addressing on X86_64
# Github issue: #34
# Author: Ingmar Steen
from keystone import *
import regress
class TestX64NasmLabel(regress.RegressTest):
def runTest(self):
# Initialize Keystone engine
ks = Ks(KS_ARCH_X86, KS_MODE_64)
# change the syntax to NASM
ks.syntax = KS_OPT_SYNTAX_NASM
# nasm uses abs for explicit absolute addressing
encoding, count = ks.asm(b"lea rax, [__data]\n__data:")
self.assertEqual(encoding, [ 0x48, 0x8d, 0x04, 0x25, 0x08, 0x00, 0x00, 0x00 ])
# verify that explicit absolute addressing is indeed absolute
encoding, count = ks.asm(b"nop\nnop\nlea rax, [__data]\n__data:")
self.assertEqual(encoding, [ 0x90, 0x90, 0x48, 0x8d, 0x04, 0x25, 0x0a, 0x00, 0x00, 0x00 ])
class TestX64AttLabel(regress.RegressTest):
def runTest(self):
# Initialize Keystone engine
ks = Ks(KS_ARCH_X86, KS_MODE_64)
# change the syntax to AT&T
ks.syntax = KS_OPT_SYNTAX_ATT
# nasm uses abs for explicit absolute addressing
encoding, count = ks.asm(b"lea __data, %rax\n__data:")
self.assertEqual(encoding, [ 0x48, 0x8d, 0x04, 0x25, 0x08, 0x00, 0x00, 0x00 ])
# verify that explicit absolute addressing is indeed absolute
encoding, count = ks.asm(b"nop\nnop\nlea __data, %rax\n__data:")
self.assertEqual(encoding, [ 0x90, 0x90, 0x48, 0x8d, 0x04, 0x25, 0x0a, 0x00, 0x00, 0x00 ])
class TestX64IntelLabel(regress.RegressTest):
def runTest(self):
# Initialize Keystone engine
ks = Ks(KS_ARCH_X86, KS_MODE_64)
# change the syntax to intel
ks.syntax = KS_OPT_SYNTAX_INTEL
# nasm uses abs for explicit absolute addressing
encoding, count = ks.asm(b"lea rax, [__data]\n__data:")
self.assertEqual(encoding, [ 0x48, 0x8d, 0x04, 0x25, 0x08, 0x00, 0x00, 0x00 ])
# verify that explicit absolute addressing is indeed absolute
encoding, count = ks.asm(b"nop\nnop\nlea rax, [__data]\n__data:")
self.assertEqual(encoding, [ 0x90, 0x90, 0x48, 0x8d, 0x04, 0x25, 0x0a, 0x00, 0x00, 0x00 ])
if __name__ == '__main__':
regress.main()