Design and implementation of the static detection system of C/C++ source codes
Siwei Peng · Electronic Design Engineering · 2011
A static detection system is designed in order to detect C/C++ source codes that probably have several runtime errors.This system will change the source code into an AST through lexical analysis,syntax analysis and semantic analysis,and then the system will check every node of the AST and judge whether there are errors in the nodes.The innovation points are the design of AST date structure and checking program.With checking program's analysis to the values of nodes,it could find out some runtime errors such as array out of bound,storage overflow,memory leak and function errors.