Cleanness Checking of String Manipulations in C Programs via Integer Analysis
No abstract available.
Related papers
- Path Feasibility Analysis for String-Manipulating Programs TACAS 2009
- Modular Static Analysis of String Manipulations in C Programs SAS 2018
- Static Analysis of String Manipulations in Critical Embedded C Programs SAS 2006
- 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
- A fast and low-overhead technique to secure programs against integer overflows CGO 2013
- Data-Parallel String-Manipulating Programs POPL 2015
- An Improved Tight Closure Algorithm for Integer Octagonal Constraints VMCAI 2008