Vertel uw vrienden over dit artikel:
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities Axel Simon 1st ed. Softcover of orig. ed. 2008 edition
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 15 mei 2011 |
| ISBN13 | 9781849967020 |
| Uitgevers | Springer London Ltd |
| Pagina's | 302 |
| Afmetingen | 155 × 235 × 17 mm · 453 g |
| Taal en grammatica | Engels |
Meer door Axel Simon
Alles tonenBekijk alles van Axel Simon ( bijv. Paperback Book , Hardcover Book en Book )
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld