mythril
mythril copied to clipboard
Move away from x86 crate for addressing
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.