Write a Blog >>
CC 2022
Tue 5 - Wed 6 April 2022 Online conference
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 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
15m
Paper
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
15m
Paper
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
15m
Paper
Making No-fuss Compiler Fuzzing EffectiveArtifacts Available v1.1Artifacts Evaluated – Functional v1.1
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