The Design And Implementation Of Front End Of Java Program Safety Checking Tool

According to the specific requirements for the safety check, a method based on a Java bytecode file analyzer ASM, for constructing the front-end of a Java program safety checker is proposed and implemented in this thesis. The front-end provides symbol table and abstract syntax tree for the back-end of the safety checker by analyzing Java bytecode files of the project.The design and implementation of the symbol table and abstract syntax tree are detailedly discussed in the thesis. Firstly, according to the feature of the symbol name and scope in Java bytecode file, an adaptive, extensible symbol table is presented in this thesis. Secondly, a method which gains the abstract syntax tree from Java bytecode files is proposed in this thesis. This method simulates the Java bytecode execution to get the information which is used to build the abstract syntax tree.