源代码静态分析装置

摘要

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