C/C++ abstract syntax in static test

With standard compiler offered by GNU,a C/C++ abstract syntax tree is produced.We make the software static test based on system failure model,and describe the method in detail for the parsing and semantic analysis of the C/C++ abstract syntax tree.