mythril icon indicating copy to clipboard operation
mythril copied to clipboard

Check bit "long mode active"

Open maelgui opened this issue 4 years ago • 0 comments

While testing on baremetal, I encountered a bug in process_memio_op. An instruction was not decoded in the right mode. It seems to be a bug in mythil not checking the right bit in the field IA32_EFER of the vmcs. Bits "long mode enable" and especially "long mode active" must be checked. (see here https://wiki.osdev.org/CPU_Registers_x86-64#IA32_EFER)

maelgui avatar Mar 18 '21 11:03 maelgui