Spara
Value-Range Analysis of C Programs
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.
- Undertitel
- Towards Proving the Absence of Buffer Overflow Vulnerabilities
- Författare
- Axel Simon
- Upplaga
- 2008 ed.
- ISBN
- 9781848000162
- Språk
- Engelska
- Vikt
- 446 gram
- Utgivningsdatum
- 2008-06-26
- Förlag
- Springer London Ltd
- Sidor
- 302
