An Evaluation of Automata Algorithms for String Analysis
Abstract elided by the publisher.
Related papers
- Z3-Noodler: An Automata-based String Solver TACAS 2024
- Stranger: An Automata-Based String Analysis Tool for PHP TACAS 2010
- Twinning Automata and Regular Expressions for String Static Analysis VMCAI 2021
- String Analysis via Automata Manipulation with Logic Circuit Representation CAV 2016
- Parikh's Theorem Made Symbolic POPL 2024
- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length CAV 2021
- Mata: A Fast and Simple Finite Automata Library TACAS 2024
- String constraints with concatenation and transducers solved efficiently POPL 2018