A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
Abstract elided by the publisher.
Related papers
- Solving String Constraints with Lengths by Stabilization OOPSLA 2023
- String constraints with concatenation and transducers solved efficiently POPL 2018
- Symbolic Boolean derivatives for efficiently solving extended regular expression constraints PLDI 2021
- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) TACAS 2021
- Solving string constraints with Regex-dependent functions through transducers with priorities and variables POPL 2022
- CertiStr: a certified string solver CPP 2022
- Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis CPP 2026
- A Uniform Framework for Handling Position Constraints in String Solving PLDI 2025