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