String Analysis as an Abstract Interpretation
No abstract available.
Related papers
- Precise and scalable static analysis of jQuery using a regular expression domain DLS 2016
- Abstract parsing for two-staged languages with concatenation GPCE 2009
- Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology SAS 2009
- Combining String Abstract Domains for JavaScript Analysis: An Evaluation TACAS 2017
- Inductive Program Synthesis by Meta-Analysis-Guided Hole Filling POPL 2026
- High-Level Abstractions for Simplifying Extended String Constraints in SMT CAV 2019
- DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis ECOOP 2026
- Static Inference of Regular Grammars for Ad Hoc Parsers OOPSLA 2025