Tallenna
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.
- Alaotsikko
- Towards Proving the Absence of Buffer Overflow Vulnerabilities
- Kirjailija
- Axel Simon
- Painos
- 1st ed. Softcover of orig. ed. 2008
- ISBN
- 9781849967020
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 15.5.2011
- Kustantaja
- Springer London Ltd
- Sivumäärä
- 302
