Skip to Main content Skip to Navigation
Conference papers

Modular static analysis of string manipulations in C programs

Abstract : We present a modular analysis able to tackle out-of-bounds accesses in C strings. This analyzer is modular in the sense that it infers and tabulates (for reuse) input/output relations, automatically partitioned according to the shape of the input state. We show how the inter-procedural iterator discovers and generalizes contracts in order to improve their reusability for further analysis. This analyzer was implemented and was able to successfully analyze and infer relational contracts for functions such as strcpy, strcat.
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.sorbonne-universite.fr/hal-01884772
Contributor : Matthieu Journault <>
Submitted on : Monday, October 1, 2018 - 1:16:56 PM
Last modification on : Friday, July 5, 2019 - 3:26:03 PM
Document(s) archivé(s) le : Wednesday, January 2, 2019 - 2:18:00 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01884772, version 1

Citation

Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout. Modular static analysis of string manipulations in C programs. SAS 2018, Aug 2018, Freiburg im Breisgau, Germany. ⟨hal-01884772⟩

Share

Metrics

Record views

110

Files downloads

254