Path Feasibility Analysis for String-Manipulating Programs
No abstract available.
DOI 10.1007/978-3-642-00768-2_27
Related papers
- Decision procedures for path feasibility of string-manipulating programs with complex operations POPL 2019
- Modular Static Analysis of String Manipulations in C Programs SAS 2018
- Static Analysis of String Manipulations in Critical Embedded C Programs SAS 2006
- Cleanness Checking of String Manipulations in C Programs via Integer Analysis SAS 2001
- String Analysis via Automata Manipulation with Logic Circuit Representation CAV 2016
- Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation VMCAI 2020
- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) TACAS 2021
- Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming POPL 2023