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

Name: Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities
Price: 159.49 USD
Availability: OutOfStock
Author: Axel Simon

Precio

$ 159,49

sin IVA

Pedido desde almacén remoto

Entrega prevista 18 de jun. - 1 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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:

Hardcover Book

2008 edition

(2008) $ 184,99

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities

Axel Simon

1st ed. Softcover of orig. 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	Inglés