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

本发明提供一种基于类型区域模型的内存缺陷静态检测方法，首先通过前端处理获得待检测程序的函数调用图和控制流程图；然后基于函数调用图和控制流程图构建类型区域模型、进行静态分析，并在分析后对模型和程序状态进行更新；再根据当前程序点可能发生的缺陷行...
该专利属于安徽大学所有，仅供学习研究参考，未经过安徽大学授权不得商用。

详细技术文档下载地址

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