Combining String Abstract Domains for JavaScript Analysis: An Evaluation
Abstract elided by the publisher.
Related papers
- Precise and scalable static analysis of jQuery using a regular expression domain DLS 2016
- String Analysis for Dynamic Field Access CC 2014
- Static analysis with demand-driven value refinement OOPSLA 2019
- Compositional Static Value Analysis for Higher-Order Numerical Programs ECOOP 2025
- DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis ECOOP 2026
- Solving string constraints with Regex-dependent functions through transducers with priorities and variables POPL 2022
- DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations POPL 2015
- Relational String Abstract Domains VMCAI 2022