源代码静态分析装置

发明专利有效专利

申请号：
CN202010022602.2
IPC分类号：G06F8/41
申请日期：
2020-01-09
申请人：
华东师范大学;上海丰蕾信息科技有限公司

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	源代码静态分析装置
申请号	CN202010022602.2	申请日期	2020-01-09
法律状态	暂无	申报国家	中国
公开/公告日	2020-06-05	公开/公告号	CN111240687A
优先权	暂无	优先权号	暂无
主分类号	G06F8/41 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F8/00 软件工程设计（测试或调试入G06F 11/36；软件项目管理、规划或组织入G06Q 10/06）〔2018.01〕 G06F8/40 程序代码转换〔2018.01〕 G06F8/41 编译〔2018.01〕	IPC分类号	G;0;6;F;8;/;4;1查看分类表>
申请人	华东师范大学;上海丰蕾信息科技有限公司	申请人地址	上海市普陀区云岭西路600弄6号801室变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	上海丰蕾信息科技有限公司	当前权利人	上海丰蕾信息科技有限公司
发明人	黄滟鸿;郭旺;史建琦;蔡方达;郭欣;石奇
代理机构	北京辰权知识产权代理有限公司	代理人	付婧

摘要

本申请公开了一种源代码静态分析装置，包括：第一分析模块，用于对源代码进行词法分析和语法分析，生成抽象语法树；第二分析模块，用于对所述抽象语法树进行语义分析，得到有向控制流图和数据流图；遍历模块，用于对所述有向控制流图进行遍历，获取切片数据；查找模块，用于根据所述数据流图和所述切片数据，查找并输出所述源代码中可能存在缺陷的变量。本申请提供的源代码静态分析装置，可以完成对源代码的较全面的检查，可以解决星载软件中的编码缺陷问题，不仅提高了检查效率，降低了人力成本，而且能够有效地提高软件源代码的安全性、可靠性，降低了程序错误发生的几率，能够很好地满足实际应用的需要。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供