Integrating String Reasoning in Symbolic Execution of C Programs
Abstract elided by the publisher.
Related papers
- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution) TACAS 2022
- String constraints with concatenation and transducers solved efficiently POPL 2018
- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) TACAS 2021
- A decision procedure for subset constraints over regular languages PLDI 2009
- Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution) TACAS 2023
- Even Faster Conflicts and Lazier Reductions for String Solvers CAV 2022
- Symbolic String Verification: Combining String Analysis and Size Analysis TACAS 2009
- A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving APLAS 2020