静态安全检查论文

论文摘要本文针对一个C/C++程序静态安全检查工具,设计与实现了其中的数据流分析器,该数据流分析器为安全检查工具收集安全检查时需要的数据流信息。本文首先阐述了数据流分析的基础理...