增量代码的静态检测方法及检测系统
实质审查的生效
摘要

本发明涉及计算机科学技术领域,尤其涉及一种增量代码的静态检测方法及检测系统。静态检测方法具体包含以下步骤:识别所述待测代码的增量部分,构建抽象语法树,合成待测代码的函数调用图,构建增量部分的值依赖图和待测代码的值依赖图,对待测代码值依赖图进行漏洞检测得增量代码的静态检测结果;还包含步骤:将原代码进行静态分析和将原代码和增量代码的静态检测结果结合得到待测代码的静态检测结果。本发明解决了现有技术中静态检测方法精度差容易漏报或误报及代码更新后全检测周期长、资源消耗大、经济性差的问题,具有以下优点:大幅减少分析时间和内存,效率高,成本低和精度高的特点。

基本信息
专利标题 :
增量代码的静态检测方法及检测系统
专利标题(英):
暂无
公开(公告)号 :
CN114510722A
申请号 :
CN202210147761.4
公开(公告)日 :
2022-05-17
申请日 :
2022-02-17
授权号 :
暂无
授权日 :
暂无
发明人 :
张世琨高庆王文祥孙基男
申请人 :
北京大学
申请人地址 :
北京市海淀区颐和园路5号
代理机构 :
北京华创智道知识产权代理事务所(普通合伙)
代理人 :
彭随丽
优先权 :
CN202210147761.4
主分类号 :
G06F21/57
IPC分类号 :
G06F21/57  G06F21/56  
IPC结构图谱
G
G部——物理
G06
计算;推算或计数
G06F
电数字数据处理
G06F21/00
防止未授权行为的保护计算机、其部件、程序或数据的安全装置
G06F21/50
监控用户、程序或设备,以维护平台完整。例如:处理器、固件或操作系统
G06F21/57
确保或维持可信任的计算机平台,例如安全引导或断电、版本控制、系统软件检查、安全更新或评估漏洞
法律状态
2022-06-03 :
实质审查的生效
IPC(主分类) : G06F 21/57
申请日 : 20220217
2022-05-17 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
  • 联系电话
    电话:023-6033-8768
    QQ:1493236332
  • 联系 Q Q
    电话:023-6033-8768
    QQ:1493236332
  • 关注微信
    电话:023-6033-8768
    QQ:1493236332
  • 收藏
    电话:023-6033-8768
    QQ:1493236332