CC 2022 (series) / CC Research Papers /
BinPointer: Towards Precise, Sound, and Scalable Binary-Level Pointer Analysis
Wed 6 Apr 2022 12:00 - 12:15 at CC Virtual Room - Session 5: Safety and Correctness Chair(s): Sorav Bansal
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.
Wed 6 AprDisplayed time zone: Eastern Time (US & Canada) change
Wed 6 Apr
Displayed time zone: Eastern Time (US & Canada) change
12:00 - 12:45 | Session 5: Safety and CorrectnessCC Research Papers at CC Virtual Room Chair(s): Sorav Bansal IIT Delhi and CompilerAI Labs | ||
12:00 15mPaper | BinPointer: Towards Precise, Sound, and Scalable Binary-Level Pointer Analysis CC Research Papers Sun Hyoung Kim The Pennsylvania State University, Dongrui Zeng The Pennsylvania State University, Cong Sun Xidian University, Gang (Gary) Tan Pennsylvania State University DOI | ||
12:15 15mPaper | Cape: Compiler-Aided Program Transformation for HTM-Based Cache Side-Channel Defense CC Research Papers Rui Zhang Ohio State University, Michael D. Bond Ohio State University, USA, Yinqian Zhang Southern University of Science and Technology DOI | ||
12:30 15mPaper | Making No-fuss Compiler Fuzzing Effective CC Research Papers Alex Groce Northern Arizona University, Rijnard van Tonder Sourcegraph, Goutamkumar Tulajappa Kalburgi Northern Arizona University, Claire Le Goues Carnegie Mellon University DOI |