Value-Range Analysis of C Programs： Towards Proving the Absence of Buffer Overflow Vulnerabilities（Axel Simon (eds.)）（Springer-Verlag London 2008）epub,mobi,azw3,pdf格式kindle电子书下载，作者：

反馈

书名
Value-Range Analysis of C Programs： Towards Proving the Absence of Buffer Overflow Vulnerabilities（Axel Simon (eds.)）（Springer-Verlag London 2008）

内容简介

书名：Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities
出版社：Springer-Verlag London
作者：Axel Simon (eds.)
出版年份：2008
电子书格式： pdf
简介：This book explores the critical issue of buffer overflow vulnerabilities in C programs. It delves into value-range analysis techniques, offering a practical approach to proving the absence of these vulnerabilities. Discover how to improve C program security through detailed analysis of potential buffer overflows. Ideal for software developers, security researchers, and students studying computer security. Learn about techniques for static analysis and vulnerability detection.
ISBN：9781848000179, 18480