Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - Bücher - Springer London Ltd - 9781848000162 - 26. Juni 2008
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 2008 edition

Axel Simon

Preis
Fr. 165,99

Bestellware

Lieferdatum: ca. 24. Jul - 5. Aug

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 2008 edition

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

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 26. Juni 2008
ISBN13 9781848000162
Verlag Springer London Ltd
Seitenanzahl 302
Maße 155 × 235 × 19 mm   ·   630 g
Sprache Englisch  
Alle anzeigen

Weitere Titel von Axel Simon

Alle Titel von Axel Simon ansehen ( u. a. Gebundenes Buch und Taschenbuch )