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

Axel Simon
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 1st ed. Softcover of orig. ed. 2008 edition

Preis
€ 145,99

Bestellware

Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

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

Auch vorhanden als:

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 15. Mai 2011
ISBN13 9781849967020
Verlag Springer London Ltd
Seitenanzahl 302
Maße 155 × 235 × 17 mm   ·   453 g
Sprache Englisch  

Weitere Titel von Axel Simon

Alle anzeigen

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