Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - Knjige - Springer London Ltd - 9781849967020 - 15. maja 2011
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 1st ed. Softcover of orig. ed. 2008 edition

Cena
€ 143,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 17. - 25. sep
Prejemajte obvestila o novih izdajah izvajalca Axel Simon
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 15. maja 2011
ISBN13 9781849967020
Založniki Springer London Ltd
Strani 302
Dimenzije 155 × 235 × 17 mm   ·   453 g
Jezik Angleščina  

Več od Axel Simon

Prikaži vse

Več od istega **izdajatelja**