Demonstrates effective disassembly verification in ARMv8 binaries, indicating reliable lifter development.
Disassembly and lifting tools are essential in the verification of software binaries.However, existing tools are difficult to validate and hence not suitable when high levels of assurance are needed.We address this by deriving a trustworthy lifter for ARMv8, named ASLp, based on ARM's official machine-readable architecture files.ASLp is capable of extracting usable semantics for a large subset of ARMv8, covering almost all integer, control flow, memory and vector instructions.We demonstrate the utility of ASLp by integrating it with the CMU Binary Analysis Platform.Furthermore, we translate the lifter's output into LLVM IR and compare the resulting semantics with those from existing lifters Remill and RetDec, leveraging the trustworthiness afforded by our lifter to find a number of major and minor bugs in their outputs.
No takes yet. Share an insight, caveat, or question.
Lam et al. (2023) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: