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

Axel Simon
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 2008 edition

Precio
€ 163,99

Pedido desde almacén remoto

Entrega prevista 12 - 21 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

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 Inglés  

Mas por Axel Simon

Mostrar todo

Ver todo de Axel Simon ( Ej. Paperback Book , Hardcover Book y Book )