论文部分内容阅读
本文在分析C/C++程序安全检查工具框架的基础上,根据安全检查工具的特殊需求,给出了一种基于分析器自动生成工具ANTLR构造C/C++安全检查工具预处理器的方法,并将此方法应用于实际开发过程中。使用此方法构造的预处理器通过分析C/C++源代码为后端安全检查提供完成预处理后的中间文件及安全检查所需的特殊信息,并且完成预处理阶段的安全漏洞检查。本文使用ANTLR生成词法分析器、语法分析器框架,重点讨论了C/C++预处理标准及其安全、预处理器的设计与实现以及预处理安全检查模块的设计与实现。实践表明,该预处理器能够满足安全检查工具的需要。