文档介绍：西安电子科技大学
硕士学位论文
Java程序安全检查工具前端的设计与实现
姓名:王坤
申请学位级别:硕士
专业:计算机软件与理论
指导教师:刘坚
20100101
摘要
本文在分析程序安全检查工具框架的基础上,根据安全检查的特殊需求,给
出了一种基于 ASM(一种字节码分析工具)构造 Java 安全检查器前端的方法,并
将此方法应用于实际开发过程中。使用此方法构造的前端通过分析 Java 字节码文
件为后端安全检查提供符号表、抽象语法树。
文中重点讨论了符号表和抽象语法树的设计与实现。首先,本文针对字节码
文件中符号和作用域的特点,设计了适用于 Java 字节码文件的符号表。其次,针
对如何从字节码文件中恢复出表达式和控制流语句结构的问题,设计了模拟字节
码指令执行的方法。该方法通过模拟字节码指令的实际执行过程,提取出建立抽
象语法树所需的信息,生成抽象语法树。
关键词:安全检查符号表抽象语法树 Java字节码字节码分析工具
ABSTRACT
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.
Keyword: Safety check Symbol Table Abstract Syntax Tree
Java Bytecode Bytecode file analyzer
创新性声明
本人声明所呈交的论文是我个人在导师的指导下进行的研究工作及取得的研
究成果。尽我所知,除了文中特别加以标注和致谢中所罗列的内容以外,论文中
不包含其它人已经发表或撰写过的研究成果,也不包含为获得西安电子科技大学
或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究工
作所做的任何贡献均已在论文中作了明确的说明并表示了谢意。
申请学位论文若有不实之处,本人承担一切相关责任。
本人签名: 日期:
关于论文使用授权的说明
本人完全了解西安电子科技大学有关保留和使用学位论文的规定,即:研究
生在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。本人保证毕
业离校后,发表论文或使用论文工作成果时署名单位仍然为西安电子科技大学。
学校有权保留送交论文的复印件,允许查阅和借阅论文;学校可以公布论文的全
部或部分内容,可以允许采用影印、缩印或其它复制手段保存论文。(保密的论文
在解密后遵守此规定)
本学位论文属于保密在____年解密后适用本授权书。
本人签名: 日期:
导师签名: 日期:
第一章绪论 1
第一章绪论
研究背景