Knihu momentálně nemáme skladem

Value-Range Analysis of C Programs

Towards Proving the Absence of Buffer Overflow Vulnerabilities

Autoři

Axel Simon

Hodnocení knihy

2,0(1)Ohodnotit

Parametry

324 stránek
12 hodin čtení

Matematika
Počítače, IT, programování

Více o knize

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.