Conte aos seus amigos sobre este item:
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
€ 183,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:
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
Axel Simon
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 )