Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - Boeken - Springer London Ltd - 9781849967020 - 15 mei 2011
Indien omslag en titel niet overeenkomen, is de titel correct

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

Axel Simon

Prijs
€ 174,49

Besteld in een afgelegen magazijn

Verwachte levering 25 okt. - 6 nov.
Voeg toe aan uw iMusic-verlanglijst

Ook verkrijgbaar als:

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

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 15 mei 2011
ISBN13 9781849967020
Uitgevers Springer London Ltd
Pagina's 302
Afmetingen 155 × 235 × 17 mm   ·   453 g
Taal en grammatica Engels  

Alles tonen

Meer door Axel Simon