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

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

Preis
SFr. 146,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 13. - 22. 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

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, 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  

Weitere Titel von Axel Simon

Alle anzeigen

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