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

Hinta
€ 149,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 7. - 15. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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 Englanti  

Lisää tuotteita Axel Simon

Näytä kaikki