Symbolic String Verification: Combining String Analysis and Size Analysis
Abstract elided by the publisher.
Related papers
- Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis CPP 2026
- String constraints with concatenation and transducers solved efficiently POPL 2018
- Combining String Abstract Domains for JavaScript Analysis: An Evaluation TACAS 2017
- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution) TACAS 2022
- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) TACAS 2021
- DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations POPL 2015
- Streaming transducers for algorithmic verification of single-pass list-processing programs POPL 2011
- An improved bound for call strings based interprocedural analysis of bit vector frameworks TOPLAS 2007