一种软件代码自动检测方法
授权
摘要

本发明公开了一种软件代码自动检测方法,包括如下步骤:S1)设置缺陷模式数据库,输入待测程序源代码文件;S2)先采用语法抽象树对待测源代码进行初步分析;S3)接着再对初步分析后的源代码进行:程序变量的值范围分析、跨函数分析、不可达路径分析以及别名分析;S4)为待测程序产生不同的缺陷模式状态机实例并进行缺陷模式匹配,按照状态转换条件计算各个状态机实例的状态变迁,并在检查点报表中记录缺陷IP;S5)对检查点报表中记录的缺陷IP进行确认,剔除误报的缺陷IP。本发明提供的软件代码自动检测方法,能够实现代码规则自动化检查,大大提高效率,并降低误报的几率。

基本信息
专利标题 :
一种软件代码自动检测方法
专利标题(英):
暂无
公开(公告)号 :
CN108804326A
申请号 :
CN201810597703.5
公开(公告)日 :
2018-11-13
申请日 :
2018-06-12
授权号 :
CN108804326B
授权日 :
2022-05-27
发明人 :
程永新孙玉颖李郑
申请人 :
上海新炬网络技术有限公司
申请人地址 :
上海市青浦区外青松公路7548弄588号1幢1层Y区141室
代理机构 :
上海科律专利代理事务所(特殊普通合伙)
代理人 :
袁亚军
优先权 :
CN201810597703.5
主分类号 :
G06F11/36
IPC分类号 :
G06F11/36  
IPC结构图谱
G
G部——物理
G06
计算;推算或计数
G06F
电数字数据处理
G06F11/00
错误检测;错误校正;监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-05-27 :
授权
2018-12-07 :
实质审查的生效
IPC(主分类) : G06F 11/36
申请日 : 20180612
2018-11-13 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
  • 联系电话
    电话:023-6033-8768
    QQ:1493236332
  • 联系 Q Q
    电话:023-6033-8768
    QQ:1493236332
  • 关注微信
    电话:023-6033-8768
    QQ:1493236332
  • 收藏
    电话:023-6033-8768
    QQ:1493236332