[ESIL Emulation] r13d set incorrectly

sushant94 / esil-tests

Automated Testing for errors in ESIL emulation

Other

2 stars 0 forks source link

Open sushant94 opened 8 years ago

sushant94 commented 8 years ago

Binary: Ubuntu 14.04 - /bin/ls Instruction: mov r13d, edi ESIL: rdi,r13d,= Offset: 0x411733

REGISTER	GDB	ESIL
r13	0x7fffffffe050 -> 0x1	0x7fffffffe050 -> 0x7fff00000001

condret commented 6 years ago

should be "edi,r13,="