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

Name: Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities
Price: 152.99 EUR
Availability: OutOfStock
Author: Axel Simon

Cena

€ 152,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 31. jūl. - . gada 10. aug.

Saņemiet paziņojumus par jauniem Axel Simon izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

Hardcover Book

2008 edition

(2008) € 181,49

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

Axel Simon

1st ed. Softcover of orig. 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

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2011. gada 15. maijs
ISBN13	9781849967020
Izdevēji	Springer London Ltd
Lapas	302
Izmēri	155 × 235 × 17 mm · 453 g
Valoda	Angļu