Modular static analysis of string manipulations in C programs - Sorbonne Université Access content directly
Conference Papers Year : 2018

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.
Fichier principal
Vignette du fichier
paper.pdf (446.75 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01884772 , version 1 (01-10-2018)

Identifiers

  • HAL Id : hal-01884772 , version 1

Cite

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⟩
217 View
516 Download

Share

Gmail Facebook X LinkedIn More