Kniha momentálne nie je na sklade
Value-Range Analysis of C Programs
Towards Proving the Absence of Buffer Overflow Vulnerabilities
Autori
Viac o knihe
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.
Nákup knihy
Value-Range Analysis of C Programs, Axel Simon
- Jazyk
- Rok vydania
- 2011
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Value-Range Analysis of C Programs
- Podtitul
- Towards Proving the Absence of Buffer Overflow Vulnerabilities
- Jazyk
- anglicky
- Autori
- Axel Simon
- Vydavateľ
- Springer London
- Rok vydania
- 2011
- Väzba
- mäkká
- Počet strán
- 324
- ISBN13
- 9781849967020
- Kategórie
- Matematika, Počítače, IT, programovanie
- Anotácia
- 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.