Value-Range Analysis of C Programs

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

Towards Proving the Absence of Buffer Overflow Vulnerabilities

Autor: Axel Simon

Limbă:

Legare: Copertă tare

Editura: Springer London Ltd

Disponibilitate: În depozitul extern în cantități mici

Expediem în 13-18 zile

896.44 lei

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

Informații despre carte

Autor

Axel Simon

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2008

Pagini

302

EAN

9781848000162

ISBN

1848000162

Enbook ID

01433811

Editura

Springer London Ltd

Greutate

1390

Dimensiuni

155 x 235 x 24

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Value-Range Analysis of C Programs

Towards Proving the Absence of Buffer Overflow Vulnerabilities

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și