源代码静态分析装置

作者:黄滟鸿; 郭旺; 史建琦; 蔡方达; 郭欣; 石奇
来源:2020-01-09, 中国, CN202010022602.2.

摘要

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