本发明提供一种让代码分析工具获取被检测软件包编译过程的方法，包括下列操作步骤：（１）实现执行可执行程序的函数，即编写用来替换系统执行可执行程序的函数；（２）设置环境变量；（３）编译程序找到环境变量指定的库文件；（４）编译程序将编译命令和...

本发明提供一种高可扩展性和可维护性的源代码缺陷检测方法及装置，包括下列步骤：（１）将用户配置好的需要进行检测的源代码转化成抽象语法树以及控制流图，送入分析引擎；（２）根据抽象语法树以及控制流图，对源代码进行流不敏感的分析，把分析结果提交...

本发明公开了一种数据安全摆渡方法和系统，所述方法包括如下步骤：从移动存储介质中读取需要摆渡的数据文件；调用多杀毒引擎对所述数据文件进行病毒、木马的查杀；对经过清洗的所述数据文件进行文件类型过滤；对经过文件类型过滤的所述数据文件依据预先输...

本发明涉及一种在软件源代码中检测缺陷的技术，具体是基于数据流分析的完整执行状态建模方法，属于计算机信息安全技术领域。一种完整的程序执行状态建模方法，其特殊之处在于：包括下列操作步骤：（１）设置程序的初始状态；（２）程序沿着路径执行；（３...