Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects
Abstract elided by the publisher.
Related papers
- State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects ECOOP 2014
- Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity ECOOP 2015
- Adaptive Context-sensitive Analysis for JavaScript ECOOP 2015
- A model counter for constraints over unbounded strings PLDI 2014
- Hybrid DOM-Sensitive Change Impact Analysis for JavaScript ECOOP 2015
- Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis ECOOP 2022
- Path-Sensitive Dataflow Analysis with Iterative Refinement SAS 2006
- Max-Policy Iteration, Revisited ESOP 2026