Modular Static Analysis of String Manipulations in C Programs
Abstract elided by the publisher.
Related papers
- Static Analysis of String Manipulations in Critical Embedded C Programs SAS 2006
- Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation VMCAI 2020
- Path Feasibility Analysis for String-Manipulating Programs TACAS 2009
- Cleanness Checking of String Manipulations in C Programs via Integer Analysis SAS 2001
- String Analysis via Automata Manipulation with Logic Circuit Representation CAV 2016
- DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis ECOOP 2026
- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution) TACAS 2022
- Static Analysis of String Encoders and Decoders VMCAI 2013