Static Analysis of String Manipulations in Critical Embedded C Programs
Abstract elided by the publisher.
Related papers
- Modular Static Analysis of String Manipulations in C Programs SAS 2018
- Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation VMCAI 2020
- Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs ESOP 2011
- A static analyzer for large safety-critical software PLDI 2003
- Abstraction of memory block manipulations by symbolic loop folding ESOP 2025
- High-Level Abstractions for Simplifying Extended String Constraints in SMT CAV 2019
- Path Feasibility Analysis for String-Manipulating Programs TACAS 2009
- Cleanness Checking of String Manipulations in C Programs via Integer Analysis SAS 2001