一种基于混合分析的除零错误检测方法
公开
摘要

本发明提供了一种基于混合分析的除零错误检测方法,注册自定义静态分析除零错误检测器,对目标程序进行静态分析检测;使用管道通信,将静态分析模块产生的检测报告传递至动态分析插桩模块;选择除零错误的监测点,设计转换规则;根据静态分析检测报告和转换规则,选择性地插桩监测点,获得混合分析后的报告;生成除零检测接口文件和插桩后的代码文件。本发明依赖Clang编译器提供的静态分析引擎和AST接口完成对静态分析模块和动态分析插桩模块的实现,两模块通过管道进行通信;经过对目标程序混合分析后产生的混合分析报告,具有高可用性和低膨胀率的特点;实现了对C程序中所有除零错误有效的检测,从而提高软件的可靠性和安全性。

基本信息
专利标题 :
一种基于混合分析的除零错误检测方法
专利标题(英):
暂无
公开(公告)号 :
CN114579431A
申请号 :
CN202210100181.X
公开(公告)日 :
2022-06-03
申请日 :
2022-01-27
授权号 :
暂无
授权日 :
暂无
发明人 :
仵俊张琦
申请人 :
南京航空航天大学
申请人地址 :
江苏省南京市秦淮区御道街29号
代理机构 :
南京苏高专利商标事务所(普通合伙)
代理人 :
柏尚春
优先权 :
CN202210100181.X
主分类号 :
G06F11/36
IPC分类号 :
G06F11/36  
IPC结构图谱
G
G部——物理
G06
计算;推算或计数
G06F
电数字数据处理
G06F11/00
错误检测;错误校正;监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-06-03 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
  • 联系电话
    电话:023-6033-8768
    QQ:1493236332
  • 联系 Q Q
    电话:023-6033-8768
    QQ:1493236332
  • 关注微信
    电话:023-6033-8768
    QQ:1493236332
  • 收藏
    电话:023-6033-8768
    QQ:1493236332