安全检查工具相关论文
本文在分析程序安全检查工具框架的基础上,根据安全检查的特殊需求,给出了一种基于ASM(一种字节码分析工具)构造Java安全检查器前......
本文针对一个C/C++程序静态安全检查工具,设计与实现了其中的数据流分析器,该数据流分析器为安全检查工具收集安全检查时需要的数......
本文讨论的软件安全检查工具支持C/C++和Java程序的安全漏洞检查。工具由前端和后端两部分组成,采用C/C++和Java独立的前端和共用的......

