Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - Livros - Springer London Ltd - 9781849967020 - 15 de maio de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Axel Simon

Preço
€ 180,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 29 de jul - 8 de ago

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível 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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 15 de maio de 2011
ISBN13 9781849967020
Editoras Springer London Ltd
Páginas 302
Dimensões 155 × 235 × 17 mm   ·   453 g
Idioma English  
Mostrar tudo

Mais por Axel Simon

Ver tudo de Axel Simon ( por exemplo Hardcover Book e Paperback Book )