mythril icon indicating copy to clipboard operation
mythril copied to clipboard

Move away from x86 crate for addressing

Open ALSchwalm opened this issue 6 years ago • 0 comments

Currently we use the PAddr and VAddr structs from x86 for addresses. We also have our own 'GuestPhysAddrstructure. We should probably just pull in our own implementations for everything (and at least have aGuestVirtAddr` type as well). One future issue we will definitely need to address is a guest using a 5 level page table.

ALSchwalm avatar Oct 31 '19 19:10 ALSchwalm