Le livre est actuellement en rupture de stock
Paramètres
- 302pages
- 11 heures de lecture
En savoir plus sur le livre
Focusing on buffer overflow vulnerabilities, this book presents a static analysis method designed to ensure the absence of such issues in C programs. It operates conservatively, identifying all potential overflows without requiring user input annotations. The analysis infers symbolic states at various program points to verify that array indices and pointer offsets remain within safe bounds. By mapping program operations to polyhedral operations, it offers a formal approach to analyzing structures and arrays, particularly addressing the complexities of C strings influenced by specific characters.
Achat du livre
Value-Range Analysis of C Programs, Axel Simon
- Langue
- Année de publication
- 2008
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .
- Titre
- Value-Range Analysis of C Programs
- Sous-titre
- Towards Proving the Absence of Buffer Overflow Vulnerabilities
- Langue
- Anglais
- Auteurs
- Axel Simon
- Éditeur
- Springer Nature Singapore
- Publié
- 2008
- Format
- rigide
- Pages
- 302
- ISBN10
- 1848000162
- ISBN13
- 9781848000162
- Séries
- Mots clés
- Informatique & Internet, Mathématiques, Langues, Algorithmes, Sémantique
- Description
- Focusing on buffer overflow vulnerabilities, this book presents a static analysis method designed to ensure the absence of such issues in C programs. It operates conservatively, identifying all potential overflows without requiring user input annotations. The analysis infers symbolic states at various program points to verify that array indices and pointer offsets remain within safe bounds. By mapping program operations to polyhedral operations, it offers a formal approach to analyzing structures and arrays, particularly addressing the complexities of C strings influenced by specific characters.