Scaling Type-Based Points-to Analysis with Saturation
summary
A type-based, context-insensitive points-to analysis uses a saturation threshold to stop tracking variables once their type set exceeds a limit, falling back to declared-type over-approximation and propagating a saturation signal to prune the graph. Implemented inside GraalVM Native Image, it analyzes applications with hundreds of thousands of methods in under two minutes, preserves most points-to precision compared to full analysis, and reduces memory and time by turning large per-variable sets into global per-target summaries.
AI-written summary · about
chapters (10)
- 0:00Introduction
- 1:26Requirements for soundness and speed
- 2:30Limitations of existing approaches
- 3:54Benchmarking rapid analysis
- 5:42Saturation-based analysis
- 7:29Preserving precision with saturation
- 9:36Saturation coding example
- 13:48Spring Pet Clinic results
- 15:55Comparison with context sensitivity
- 16:17Q&A
related talks
19mComparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image
52mDotty Linker: Precise Types Bring Performance
23mLoop Saturation for Scalable High-Level Synthesis
56mOn Type-Based Techniques for Program Manipulation
29mAnnotating Deeply Embedded Languages
28mType-directed Program Transformation for Constant-Time Enforcement
13mProgram Analysis via Efficient Symbolic Abstraction
18mConcrete Type Inference for Code Optimization using Machine Learning with SMT S...