Value-Range Analysis of C Programs

Name: Value-Range Analysis of C Programs
Brand: Springer London Ltd
SKU: 9781848000162
Price: 62070 HUF
Availability: InStock

Towards Proving the Absence of Buffer Overflow Vulnerabilities

Szerző: Axel Simon

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer London Ltd

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 13-18 napon belül

62 070 Ft

Value-Range Analysis of C Programs describes a static analysis for detecting buffer overflows. A buf...

Információk a könyvről

Szerző

Axel Simon

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2008

oldal

302

EAN

9781848000162

ISBN

1848000162

Enbook ID

01433811

Kiadó

Springer London Ltd

Súly

1390

Méretek

155 x 235 x 24

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Value-Range Analysis of C Programs

Towards Proving the Absence of Buffer Overflow Vulnerabilities

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták