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

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

Preço
€ 166,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 15 - 26 de jan de 2026
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:

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

Mais por Axel Simon

Mostrar tudo

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