数组越界论文

Java数组越界检测系统的设计与实现
论文摘要时至今日,软件的安全漏洞已经成为黑客进行攻击的重要途径。任何在软件设计或实现中所带来的安全漏洞,都有可能成为以后安全事件的隐患,给社会带来巨大的损失。数组越界是缓冲区溢...
C/C++程序安全检查工具中数据流分析器的设计与实现
论文摘要本文针对一个C/C++程序静态安全检查工具,设计与实现了其中的数据流分析器,该数据流分析器为安全检查工具收集安全检查时需要的数据流信息。本文首先阐述了数据流分析的基础理...