Vinkkaa tuotetta kavereillesi:
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities Axel Simon 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:
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities
Axel Simon
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ä kaikkiKatso kaikki joka sisältää Axel Simon ( Esim. Paperback Book , Hardcover Book Ja Book )