Correlation Tracking for Points-To Analysis of JavaScript
Abstract elided by the publisher.
Related papers
- State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects ECOOP 2014
- Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis ICFP 2016
- Selecting Software Phase Markers with Code Structure Analysis CGO 2006
- IRIDIUM: A Framework for Statically Optimizing JavaScript Programs OOPSLA 2026
- Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs GPCE 2018
- Adaptive Context-sensitive Analysis for JavaScript ECOOP 2015
- Fast and precise hybrid type inference for JavaScript PLDI 2012
- PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs CGO 2026