Relational String Abstract Domains
Abstract elided by the publisher.
Related papers
- Precise and scalable static analysis of jQuery using a regular expression domain DLS 2016
- Combining String Abstract Domains for JavaScript Analysis: An Evaluation TACAS 2017
- DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis ECOOP 2026
- Compositional Static Value Analysis for Higher-Order Numerical Programs ECOOP 2025
- String Solving with Stabilization and Transducers CAV 2026
- Simple and safe SQL queries with c++ templates GPCE 2007
- Abstract parsing for two-staged languages with concatenation GPCE 2009
- Relational program synthesis OOPSLA 2018