Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - Boeken - Springer London Ltd - 9781848000162 - 26 juni 2008
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 171,99

Besteld in een afgelegen magazijn

Verwachte levering 12 - 21 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst
of

Ook verkrijgbaar als:

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 26 juni 2008
ISBN13 9781848000162
Uitgevers Springer London Ltd
Pagina's 302
Afmetingen 155 × 235 × 19 mm   ·   630 g
Taal en grammatica Engels  

Meer door Axel Simon

Alles tonen