@inproceedings{761e64f0e60d440dbc655eda837040b4,
title = "BinPointer: Towards Precise, Sound, and Scalable Binary-Level Pointer Analysis",
abstract = "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 achieve high precision. We also propose a soundness and precision evaluation methodology based on runtime memory accesses triggered by reference input data. Our experimental results demonstrate that BinPointer has higher precision over prior work, while maintaining acceptable scalability. The soundness of BinPointer is also validated through runtime data.",
author = "Kim, \{Sun Hyoung\} and Dongrui Zeng and Cong Sun and Gang Tan",
note = "Publisher Copyright: {\textcopyright} 2022 ACM.; 31st ACM SIGPLAN International Conference on Compiler Construction, CC 2022 ; Conference date: 02-04-2022 Through 03-04-2022",
year = "2022",
month = sep,
day = "19",
doi = "10.1145/3497776.3517776",
language = "English (US)",
series = "CC 2022 - Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction",
publisher = "Association for Computing Machinery, Inc",
pages = "169--180",
editor = "Bernhard Egger and Aaron Smith",
booktitle = "CC 2022 - Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction",
}