The Design And Implementation Of The Abstract Synatax Tree In Safety Verifying Tool

People are paying more and more attention to the security of the software system whichare applied to the areas of aviation, banks, hospitals and other occasions where there must bea higher level of security, when the security problem in the software applications are breakingout. Therefore, the safety analysis of the software has attracted extensive attention from thesecurity fields of the computer science. At the same time, the static analysis technology hasattracted extensive attention, because that it could make the application guaranteed qualitywithout running the application. An efficient, accurate and automated static analysis plays amore important role in the guaranteed quality of the applications.As an important part of the project “Safety Verifying Tool”, the paper completed thedesign and implementation of the abstract syntax tree in the base processing module, the maincontents are as follows:(1)Making an in-depth analysis and discussion on the the syntax structure and grammarconstitute of C/C++languages, which provided by ANTLR, and according to the structure ofabstract syntax tree, making an optimization to the grammar production of C/C++languages.(2)With the target to carry out the safety analysis, the paper has designed andimplemented the structure of the abstract syntax tree under the standard of C/C++languageswhich based on the ANTLR’s automatic constructor function of lexical and grammar analyzerand the automatic generation mechanism of the abstract syntax tree.(3)According to the structure of the different types of abstract syntax tree, the paper hasdesigned and implemented various node classes to meet the different needs.(4)According to the usage of memory in the process to construct the abstract syntax tree,this paper has designed and implemented an new method to manage the memory.Based on the ANTLR’s automatic generation mechanism, the paper implements theabstract syntax tree module of the Safety Verifying Tool. From the last validation part, we canknow that the abstract syntax tree implemented by the support of lexical and syntax analyzer module meets the design requirements of the safety verifying tool. The abstract syntax treeabtained by this method contains the necessary information which would be used to conductthe safety analysis, providing an intermediate representation with sufficient information to thesafety verifying tool.