All Your Assembly Belongs to Rust: Automated Lifting for Uniform Testing and Verification
This paper translates Rust code containing RISC-V inline assembly into pure Rust code by emulating each instruction using a machine model extracted from the official RISC-V Sail ISA specification, and demonstrates how each category is handled by the translation.
Charly Castes, Gurvan Debaussart, Thomas Bourgeat
· Proceedings of the 14th Work... · 0 citations