BINSEC: Binary Code Analysis with Low-Level Regions
Abstract elided by the publisher.
Related papers
- A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code OOPSLA 2024
- Mostly static program partitioning of binary executables TOPLAS 2009
- Highly Automated Formal Proofs over Memory Usage of Assembly Code TACAS 2020
- TAO: two-level atomicity for dynamic binary optimizations CGO 2010
- OptiScope: Performance Accountability for Optimizing Compilers CGO 2009
- Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring CGO 2021
- Dynamically diagnosing type errors in unsafe code OOPSLA 2016
- Sifting out the mud: low level C++ code reuse OOPSLA 2002