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 1st ed. Softcover of orig. ed. 2008 edition

Cena
zł 602,90

Zamówione z odległego magazynu

Przewidywana dostawa 8 - 16 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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 Angielski  

Więcej od Axel Simon

Pokaż wszystko