Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - Livros - Springer London Ltd - 9781848000162 - 26 de junho de 2008
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 2008 edition

Axel Simon

Preço
€ 184,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 23 de dez - 2 de jan de 2025
Presentes de Natal podem ser trocados até 31 de janeiro

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 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, 1, black & white illustrations

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 26 de junho de 2008
ISBN13 9781848000162
Editoras Springer London Ltd
Páginas 302
Dimensões 155 × 235 × 19 mm   ·   630 g
Idioma English  
Mostrar tudo

Mais por Axel Simon

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