Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - Bøger - Springer London Ltd - 9781849967020 - 15. maj 2011
Ved uoverensstemmelse mellem cover og titel gælder titel

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities Softcover reprint of hardcover 1st ed. 2008 edition

Axel Simon

Pris
Íkr 24.486,25

Bestilles fra fjernlager

Forventes klar til forsendelse 28. jul. - 1. aug.
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities Softcover reprint of hardcover 1st ed. 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, black & white illustrations

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 15. maj 2011
ISBN13 9781849967020
Forlag Springer London Ltd
Antal sider 302
Mål 155 × 235 × 17 mm   ·   453 g
Sprog Engelsk  

Vis alle

Mere med Axel Simon