Analysis of Low-Level Code Using Cooperating Decompilers
Abstract elided by the publisher.
Related papers
- Decompilation: The Enumeration of Types and Grammars TOPLAS 1994
- Loop Rerolling for Hardware Decompilation PLDI 2023
- A proof theory for machine code TOPLAS 2007
- FuzzFlesh: Randomised Testing of Decompilers via Control Flow Graph-Based Program Generation ECOOP 2025
- Elipmoc: advanced decompilation of Ethereum smart contracts OOPSLA 2022
- Synthesizing structured CAD models with equality saturation and inverse transformations PLDI 2020
- VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts OOPSLA 2024
- Structuring Decompiled Graphs CC 1996