Spar
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.
- Undertittel
- Towards Proving the Absence of Buffer Overflow Vulnerabilities
- Forfatter
- Axel Simon
- Opplag
- 2008 ed.
- ISBN
- 9781848000162
- Språk
- Engelsk
- Vekt
- 446 gram
- Utgivelsesdato
- 26.6.2008
- Forlag
- Springer London Ltd
- Antall sider
- 302
