Vinkkaa tuotetta kavereillesi:
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 2008 edition
Axel Simon
Hinta
€ 193,99
Tilattu etävarastosta
Arvioitu toimitus ke 18. joulu - ke 1. tammi 2025
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
Löytyy myös muodossa:
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 2008 edition
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, 1, black & white illustrations
Media | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
Julkaisupäivämäärä | torstai 26. kesäkuuta 2008 |
ISBN13 | 9781848000162 |
Tuottaja | Springer London Ltd |
Sivujen määrä | 302 |
Mitta | 155 × 235 × 19 mm · 630 g |
Kieli | English |
Näytä kaikki
Lisää tuotteita Axel Simon
Katso kaikki joka sisältää Axel Simon ( Esim. Hardcover Book Ja Paperback Book )