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
- 1st ed. Softcover of orig. ed. 2008
- ISBN
- 9781849967020
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 15.5.2011
- Forlag
- Springer London Ltd
- Antall sider
- 302
