Lift-Offline: Instruction Lifter Generators
Abstract elided by the publisher.
Related papers
- Scalable validation of binary lifters PLDI 2020
- Bridging the Gap between Real-World and Formal Binary Lifting through Filtered-Simulation OOPSLA 2025
- Diatom: Polylithic Binary Lifting with Data-Flow Summaries and Type-Aware IR Linking OOPSLA 2026
- BIT: Empowering Binary Analysis through the LLVM Toolchain CGO 2026
- Formally verified lifting of C-compiled x86-64 binaries PLDI 2022
- LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL APLAS 2019
- Accelerating Sparse Algebra with Program Synthesis CC 2026
- Vapor SIMD: Auto-vectorize once, run everywhere CGO 2011