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
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。