![Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - Böcker - Springer London Ltd - 9781849967020 - 15 maj 2011](https://imusic.b-cdn.net/images/item/original/020/9781849967020.jpg?axel-simon-2011-value-range-analysis-of-c-programs-towards-proving-the-absence-of-buffer-overflow-vulnerabilities-pocketbok&class=scaled&v=1408604929)
Tipsa dina vänner om produkten:
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities Softcover reprint of hardcover 1st ed. 2008 edition
Axel Simon
Pris
SEK 2.059
Beställningsvara
Förväntad leverans 24 jul - 5 aug
Lägg till din iMusic-önskelista
Finns även som:
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities Softcover reprint of hardcover 1st ed. 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, black & white illustrations
Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
Releasedatum | 15 maj 2011 |
ISBN13 | 9781849967020 |
Utgivare | Springer London Ltd |
Antal sidor | 302 |
Mått | 155 × 235 × 17 mm · 453 g |
Språk | Engelska |