Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - Livres - Springer London Ltd - 9781848000162 - 26 juin 2008
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Axel Simon

Prix
€ 185,99

Commandé depuis un entrepôt distant

Livraison prévue 19 déc. - 2 janv. 2025
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

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édias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 26 juin 2008
ISBN13 9781848000162
Éditeurs Springer London Ltd
Pages 302
Dimensions 155 × 235 × 19 mm   ·   630 g
Langue et grammaire English  
Afficher tout

Plus par Axel Simon

Voir tous les Axel Simon ( par ex. Hardcover Book et Paperback Book )