Java程序安全检查工具前端的设计与实现

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:laiyongxuan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文在分析程序安全检查工具框架的基础上,根据安全检查的特殊需求,给出了一种基于ASM(一种字节码分析工具)构造Java安全检查器前端的方法,并将此方法应用于实际开发过程中。使用此方法构造的前端通过分析Java字节码文件为后端安全检查提供符号表、抽象语法树。文中重点讨论了符号表和抽象语法树的设计与实现。首先,本文针对字节码文件中符号和作用域的特点,设计了适用于Java字节码文件的符号表。其次,针对如何从字节码文件中恢复出表达式和控制流语句结构的问题,设计了模拟字节码指令执行的方法。该方法通过模拟字节码指令的实际执行过程,提取出建立抽象语法树所需的信息,生成抽象语法树。
其他文献
随着智能移动终端迅速普及,网民们的习惯也由PC端向移动端日渐转移。在Android系统蓬勃发展的背后,其安全问题也日益凸显,捆绑安装、窃取数据、恶意吸费等各类恶意软件使用户
Web服务作为构建SOA的一种解决方案,很适合当今的商务应用集成。然而一个单独的Web服务的能力极其有限,故通过组合现有的服务来创造新的服务功能,成为Web服务领域的一个重要
下一代网络(NGN, Next Generation Network)既是一个电信网络又是一个开放系统,对于电信网络来说,可靠性和安全性是至关重要的,而商业模型的变化使得NGN中的安全问题变得更加
随着网络服务日趋多样化和个性化,业务选择网关应运而生。但是在互联网迅猛发展的同时,网络安全问题也日益突出,尤其是拒绝服务攻击已成为互联网内容服务提供商的最大威胁。
随着发布/订阅系统(publish/subscribe system)在移动网络中应用越来越广泛,其关键技术之一的路由技术也得到了更多的关注。在移动网络中,节点的移动是其最大的特征,而在一般
随着Internet越来越迅速的发展,它给我们带来了海量信息,也给用户提供了许多有用的信息,但同时我们要在这么多的信息中查询我们所需要的信息也是十分困难的。搜索引擎成为人
尽管近十余年来鲁棒数字水印取得了长足的进展,但如何以可行的视觉失真和计算时间获得大容量和预设的鲁棒性以及如何有效抵抗几何变换仍然是鲁棒数字水印所需应对的课题。为了
学位
大脑皮层是大脑的表层部分,是我们意识活动的物质基础,研究表明,随着大脑的发育和老化,以及病理改变,皮层厚度在相应区域会呈现出显著的变化,即皮层厚度在一定程度上表征了脑
我们在对如何加强终端安全及如何实现安全应用的发布等问题进行了深入研究后,指出要使一个应用软件运行可信,必须具备以下两个条件:一是应用在运行前是可信的,即未被窜改;二是
数据库技术日趋成熟,已应用于各行各业,但仅限于具有专业知识的人员操作。自然语言作为信息表达的主要方式,与数据库查询技术结合在一起,使得越来越多的非专业用户能够以一种易于