@inproceedings{1cc5ecd0be154144b2f0b3ee5f351333,
title = "Static analysis of string manipulations in critical embedded C programs",
abstract = "This paper describes a new static analysis to show the absence of memory errors, especially string buffer overflows in C programs. The analysis is specifically designed for the subset of C that is found in critical embedded software. It is based on the theory of abstract interpretation and relies on an abstraction of stores that retains the length of string buffers. A transport, structure allows to change the granularity of the abstraction and to concisely define several inherently complex abstract primitives such as destructive update and string copy. The analysis integrates several features of the C language such as multi-dimensional arrays, structures, pointers and function culls. A prototype implementation produces encouraging results in early experiments.",
author = "Xavier Allamigeon and Wenceslas Godard and Charles Hymans",
year = "2006",
month = jan,
day = "1",
doi = "10.1007/11823230\_4",
language = "English",
isbn = "3540377565",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "35--51",
booktitle = "Static Analysis - 13th International Symposium, SAS 2006, Proceedings",
note = "13th International Symposium on Static Analysis, SAS 2006 ; Conference date: 29-08-2006 Through 31-08-2006",
}