Sun Hyoung Kim

BinPointer: towards precise, sound, and scalable binary-level pointer analysis

2022

Binary-level pointer analysis is critical to binary-level applications such as reverse engineering and binary debloating. In this paper, we propose BinPointer, a new binary-level interprocedural pointer analysis that relies on an offset-sensitive value-tracking analysis to …