Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - Książki - Springer London Ltd - 9781848000162 - 26 czerwca 2008
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Axel Simon

Cena
zł 779,90

Zamówione z odległego magazynu

Przewidywana dostawa 25 lip - 6 sie

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 26 czerwca 2008
ISBN13 9781848000162
Wydawcy Springer London Ltd
Strony 302
Wymiary 155 × 235 × 19 mm   ·   630 g
Język English  
Pokaż wszystko

Więcej od Axel Simon

Zobacz wszystko od Axel Simon ( np. Hardcover Book i Paperback Book )