Data Structure Analysis for Binaries
Abstract elided by the publisher.
Related papers
- Parallel binary code analysis PPoPP 2021
- Symbolic Quantitative Robustness Analysis of Timed Automata TACAS 2015
- Neural reverse engineering of stripped binaries using augmented control flow graphs OOPSLA 2020
- BinPointer: towards precise, sound, and scalable binary-level pointer analysis CC 2022
- Improving efficacy of internal binary search trees using local recovery PPoPP 2016
- Efficient manipulation of binary data using pattern matching JFP 2006
- Binary analysis for measurement and attribution of program performance PLDI 2009
- Bundling linked data structures for linearizable range queries PPoPP 2022