Fortæl dine venner om denne vare:
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 2008 edition
Axel Simon
Pris
zł 836,90
Bestilles fra fjernlager
Forventes klar til forsendelse 29. jul. - 5. aug.
Tilføj til din iMusic ønskeseddel
Eller
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 2008 edition
Axel Simon
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.
302 pages, 1, black & white illustrations
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 26. juni 2008 |
| ISBN13 | 9781848000162 |
| Forlag | Springer London Ltd |
| Antal sider | 302 |
| Mål | 155 × 235 × 19 mm · 630 g |
| Sprog | Engelsk |
