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

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

Pris
DKK 1.474

Bestilles fra fjernlager

Forventes klar til forsendelse 12. - 19. jan. 2026
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Findes også som:

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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 26. juni 2008
ISBN13 9781848000162
Forlag Springer London Ltd
Antal sider 302
Mål 155 × 235 × 19 mm   ·   630 g
Sprog Engelsk  

Mere med Axel Simon

Vis alle

Se alt med Axel Simon ( f.eks. Paperback Bog , Hardcover bog og Bog )