Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - Libros - Springer London Ltd - 9781849967020 - 15 de mayo de 2011
En caso de que portada y título no coincidan, el título será el correcto

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities Softcover reprint of hardcover 1st ed. 2008 edition

Axel Simon

Precio
€ 180,49

Pedido desde almacén remoto

Entrega prevista 24 de dic. - 2 de ene. de 2025
Los regalos de Navidad se podrán canjear hasta el 31 de enero
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 Softcover reprint of hardcover 1st ed. 2008 edition

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 15 de mayo de 2011
ISBN13 9781849967020
Editores Springer London Ltd
Páginas 302
Dimensiones 155 × 235 × 17 mm   ·   453 g
Lengua English  

Mostrar todo

Mas por Axel Simon