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
- 2008 ed.
- ISBN
- 9781848000162
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 26.6.2008
- Kustantaja
- Springer London Ltd
- Sivumäärä
- 302
