Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - Böcker - Springer London Ltd - 9781848000162 - 26 juni 2008
Om omslag och titel inte matchar är det titeln som gäller

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

Axel Simon

Pris
SEK 2.079

Beställningsvara

Förväntad leverans 23 jul - 2 aug

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista

Finns även som:

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

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 26 juni 2008
ISBN13 9781848000162
Utgivare Springer London Ltd
Antal sidor 302
Mått 155 × 235 × 19 mm   ·   630 g
Språk Engelska  
Visa alla

Fler produkter med Axel Simon

Se alt med Axel Simon ( t.ex. Inbunden Bok och Pocketbok )