Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - Kirjat - Springer London Ltd - 9781849967020 - sunnuntai 15. toukokuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Axel Simon

Hinta
€ 187,99

Tilattu etävarastosta

Arvioitu toimitus pe 26. heinä - ke 7. elo
Lisää iMusic-toivelistallesi

Löytyy myös muodossa:

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä sunnuntai 15. toukokuuta 2011
ISBN13 9781849967020
Tuottaja Springer London Ltd
Sivujen määrä 302
Mitta 155 × 235 × 17 mm   ·   453 g
Kieli English  

Näytä kaikki

Lisää tuotteita Axel Simon