A System for Generating Static Analyzers for Machine Instructions
No abstract available.
Related papers
- Discovering machine-specific code improvements PLDI 1986
- TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis TOPLAS 2013
- Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code POPL 2011
- Analyzing Exotic Instructions for a Retargetable Code Generator PLDI 1982
- A transformational approach to binary translation of delayed branches TOPLAS 2003
- Experience with a Software-Defined Machine Architecture TOPLAS 1992
- Specifying Representations of Machine Instructions TOPLAS 1997
- Analyzing Bytes: Pre-Disassembly Static Binary Analysis PLDI 2026