Static Analysis of Binary Code with Memory Indirections Using Polyhedra
Abstract elided by the publisher.
Related papers
- Biotite: A High-Performance Static Binary Translator using Source-Level Information CC 2025
- Fast polyhedra abstract domain POPL 2017
- Safer unsafe code for .NET OOPSLA 2008
- Software multiplexing: share your libraries and statically link them too OOPSLA 2018
- Static Analysis of ReLU Neural Networks with Tropical Polyhedra SAS 2021
- BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation OOPSLA 2019
- Lasagne: a static binary translator for weak memory model architectures PLDI 2022
- Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra SAS 2013