Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - Książki - Springer London Ltd - 9781849967020 - 15 maja 2011
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 Softcover reprint of hardcover 1st ed. 2008 edition

Axel Simon

Cena
zł 772,90

Zamówione z odległego magazynu

Przewidywana dostawa 29 lip - 8 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 Softcover reprint of hardcover 1st ed. 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, black & white illustrations

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 15 maja 2011
ISBN13 9781849967020
Wydawcy Springer London Ltd
Strony 302
Wymiary 155 × 235 × 17 mm   ·   453 g
Język English  
Pokaż wszystko

Więcej od Axel Simon

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