Freunden von diesem Artikel berichten:
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 2008 edition
Axel Simon
Preis
Fr. 162,99
Bestellware
Lieferdatum: ca. 23. Dez - 2. Jan 2025
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
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
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
| 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 )