下载面向C程序缺陷检测的靶向式并行符号执行方法的技术资料

文档序号:22075488

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。

本发明涉及一种面向C程序缺陷检测的靶向式并行符号执行方法,其包括分布式计算系统,所述分布式计算系统包括一个主控节点和多个计算节点,所述主控节点任务预处理和任务分派包括以下步骤:步骤S1、源代码编译到中间代码;步骤S2、静态分析出疑似漏洞点;...
该专利属于湖南泛联新安信息科技有限公司所有,仅供学习研究参考,未经过湖南泛联新安信息科技有限公司授权不得商用。

详细技术文档下载地址

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。