[发明专利]源代码静态分析方法在审
申请号: | 202010035928.9 | 申请日: | 2020-01-09 |
公开(公告)号: | CN111240982A | 公开(公告)日: | 2020-06-05 |
发明(设计)人: | 黄滟鸿;郭旺;史建琦;蔡方达;郭欣;石奇 | 申请(专利权)人: | 华东师范大学;上海丰蕾信息科技有限公司 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 北京辰权知识产权代理有限公司 11619 | 代理人: | 付婧 |
地址: | 200062 上*** | 国省代码: | 上海;31 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本申请公开了一种源代码静态分析方法,包括:对源代码进行词法分析和语法分析,生成抽象语法树;对所述抽象语法树进行语义分析,得到有向控制流图和数据流图;对所述有向控制流图进行遍历,获取切片数据;根据所述数据流图和所述切片数据,查找并输出所述源代码中可能存在缺陷的变量。本申请提供的源代码静态分析方法,可以完成对源代码的较全面的检查,可以解决星载软件中的编码缺陷问题,不仅提高了检查效率,降低了人力成本,而且能够有效地提高软件源代码的安全性、可靠性,降低了程序错误发生的几率,能够很好地满足实际应用的需要。 | ||
搜索关键词: | 源代码 静态 分析 方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于华东师范大学;上海丰蕾信息科技有限公司,未经华东师范大学;上海丰蕾信息科技有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202010035928.9/,转载请声明来源钻瓜专利网。