基于规约导向的错误处理缺陷的检测方法及系统
授权
摘要

本发明提供一种基于规约导向的错误处理缺陷的检测方法及系统,属于计算机程序漏洞检测技术领域,通过获取待测的源代码文件以及规约文件;源代码文件以及规约文件进行预处理获得CFA图结构和规约实例;将规约实例中各个目标接口的调用者对应的CFA图结构分别作为待分析入口,通过符号执行技术获得两个以上的覆盖上下文信息的符号路径信息;对每个符号路径信息根据规约实例的目标接口进行路径提取,获得路径集合;利用符号路径以及规约实例,进行规约导向的错误处理缺陷检测,为多种类别的错误处理缺陷检测提供了可行的解决方法。本发明达到了提升错误处理缺陷的检测精度和效率的技术效果。

基本信息
专利标题 :
基于规约导向的错误处理缺陷的检测方法及系统
专利标题(英):
暂无
公开(公告)号 :
CN113961475A
申请号 :
CN202111575302.8
公开(公告)日 :
2022-01-21
申请日 :
2021-12-22
授权号 :
CN113961475B
授权日 :
2022-04-15
发明人 :
李池周旻顾明
申请人 :
清华大学
申请人地址 :
北京市海淀区清华园
代理机构 :
北京鸿元知识产权代理有限公司
代理人 :
王守梅
优先权 :
CN202111575302.8
主分类号 :
G06F11/36
IPC分类号 :
G06F11/36  G06F21/57  
IPC结构图谱
G
G部——物理
G06
计算;推算或计数
G06F
电数字数据处理
G06F11/00
错误检测;错误校正;监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-04-15 :
授权
2022-02-15 :
实质审查的生效
IPC(主分类) : G06F 11/36
申请日 : 20211222
2022-01-21 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
  • 联系电话
    电话:023-6033-8768
    QQ:1493236332
  • 联系 Q Q
    电话:023-6033-8768
    QQ:1493236332
  • 关注微信
    电话:023-6033-8768
    QQ:1493236332
  • 收藏
    电话:023-6033-8768
    QQ:1493236332