Recomienda este artículo a tus amigos:
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 2008 edition
Axel Simon
Precio
€ 183,49
Pedido desde almacén remoto
Entrega prevista 19 de dic. - 2 de ene. de 2025
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
También disponible como:
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 26 de junio de 2008 |
| ISBN13 | 9781848000162 |
| Editores | Springer London Ltd |
| Páginas | 302 |
| Dimensiones | 155 × 235 × 19 mm · 630 g |
| Lengua | English |
