Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity
summary
Proposes Unity-Relay, a meta-framework that combines multiple selective context sensitivity strategies and, when needed, runs them in successive passes using precision filtering to accumulate results. Implements the idea as the Baton tool that composes Collection, Zipper-e and Scaler, runs on 13 hard Java programs, scales on all of them, and beats prior approaches on every metric and client, eliminating up to 71% of previously reported alias pairs as spurious.
AI-written summary · about
chapters (10)
- 0:00Start
- 0:41Context Sensitivity (C.S.)
- 1:41Recent Trend: Selective Context Sensitivity
- 2:50Selective Context Sensitivity: Limitation
- 4:09Insight
- 9:59Filtering Mechanism of Relay
- 11:25Properties of Unity-Relay
- 12:11Instantiation of Unity-Relay: Baton
- 12:43Evaluation
- 14:10Conclusion
related talks
29mHow (Not) To Write Java Pointer Analyses After 2020
16mHow (Not) to Write Java Pointer Analyses after 2020
19mThe ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and(…)
18mSHARP: fast incremental context-sensitive pointer analysis for Java
19mPointer Analysis for Database-Backed Applications
42mAn Opinionated Overview on Static Analysis for Java
13mHighlights
46mHow difficult can it be to write efficient code?