Value-range analysis of c programs: towards proving the absence of buffer overflow vulnerabilities
Auteur :
Simon, Axel
Éditeur :
Springer London Ltd
ISBN :
9781849967020
Date de publication :
15 mai 2011
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Grande Bretagne
The book formally describes how program operations are mapped to operations on polyhedra and details how to limit the analysis to those p- tionsofstructuresandarraysthatarerelevantforveri?cation.Withrespectto operations on string bu?ers, we demonstrate how to analyse C strings whose length is determined by anul character within the string.