Value-Range Analysis of C Programs

Towards Proving the Absence of Buffer Overflow Vulnerabilities

Autori

• Axel Simon

Parametri

• 324 pagine
• 12 ore di lettura

• Computer, IT, programmazione
• Matematica

Maggiori informazioni sul libro

Focusing on static analysis, this book presents a method for detecting buffer overflows in C programs. It emphasizes a sound analytical approach, making it a valuable resource for researchers and students exploring static analysis in practical programming languages.

Lingua: Inglese

Pubblicato: 2011

(In brossura)