Value-Range Analysis of C Programs

Towards Proving the Absence of Buffer Overflow Vulnerabilities

Autor*innen

• Axel Simon

Parameter

• 324 Seiten
• 12 Lesestunden

• Informatik & Programmierung
• Mathematik

Mehr zum Buch

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.

• Sprache: Englisch
• Erscheinungsdatum: 2011
• Einband: Paperback