Meine Filiale

Value-Range Analysis of C Programs

Towards Proving the Absence of Buffer Overflow Vulnerabilities

Axel Simon

eBook
eBook
Fr. 144.90
Fr. 144.90
inkl. gesetzl. MwSt.
inkl. gesetzl. MwSt.
Sofort per Download lieferbar
Sofort per Download lieferbar
Sie können dieses eBook verschenken  i

Weitere Formate

gebundene Ausgabe

Fr. 359.00

Accordion öffnen
  • Value-Range Analysis of C Programs

    Springer London

    wird besorgt, Lieferzeit unbekannt

    Fr. 359.00

    Springer London

eBook (PDF)

Fr. 144.90

Accordion öffnen
  • Value-Range Analysis of C Programs

    PDF (Springer)

    Sofort per Download lieferbar

    Fr. 144.90

    PDF (Springer)

Beschreibung

Value-Range Analysis of C Programs describes a static analysis for detecting buffer overflows. A buffer overflow in a C program occurs when input is read into a memory buffer whose length exceeds that of the buffer. Overflows usually lead to crashes and may even enable a malicious person to gain control over a computer system. They are recognised as one of the most widespread forms of computer vulnerability.

Based on the analysis of a standard mail-forwarding program, necessary refinements of the basic analysis are examined, thereby paving the way for an analysis that is precise enough to prove the absence of buffer overflows in legacy C code.

From the reviews:

"This book describes a static analysis that aims to prove the absence of buffer overflows in C programs. … The book formally describes how program operations are mapped to operations on polyhedra. … Many concepts presented here carry over to other languages such as Java or assembler. So it will be useful to any researcher and student with an interest in static analysis of real-world programming languages." (Stefan Meyer, Zentralblatt MATH, Vol. 1155, 2009)

Produktdetails

Format PDF i
Kopierschutz Ja i
Family Sharing Nein i
Text-to-Speech Ja i
Erscheinungsdatum 10.03.2010
Sprache Englisch
EAN 9781848000179
Verlag Springer
Dateigröße 2325 KB

Kundenbewertungen

Es wurden noch keine Bewertungen geschrieben.

  • Artikelbild-0