Soot的Java程序控制流分析及图形化输出①

Soot是一个Java编译优化框架,可以利用它实现Java字节码程序的数据流分析和控制流分析。在深入分析Soot控制流生成机制的基础上,详细叙述了利用Soot分析Java类的控制流并生成其控制流图的方法和过程,同时提出了将Soot生成的抽象的控制流图进行图形化输出的方法。     

一种基于逻辑的Java模块依赖图构建工具

目前Java模块依赖图MDG(Module Dependency Graph)的构建工具还比较稀缺,从一定程度上限制了基于MDG图的软件模块聚类算法的应用。针对这一问题,提出一种基于逻辑的Java模块依赖图构建工具TL4JMDG(the tool logic-based for Java MDG)。在开源框架JTransformer和tu Prolog的支持下,TL4JMDG工具以逻辑方式实现了Java模块关系的抽取和MDG图的生成。阐述TL4JMDG工具的设计与实现,并给出TL4JMDG工具和基于Chava工具构建MDG的耗时比较。TL4JMDG工具具有较好的可配置性、可扩展性和性能,使得目前已有的基于MDG图的聚类算法能更好地应用于Java软件模块聚类。     

JVM的类装载机制

本文通过对一个类装载实例的分析,阐明了Java虚拟机的类装载的代理机制和由此定义的命名空间,指出了类装载机制在容器／组件／抽象框架结构中的作用。     

使用Java反射机制逆向分析类方法之间的关系

为得到Java文件中类方法之间的关系,需对Java源程序或者编译后生成的.class文件进行逆向解析。使用Java反射机制可对Java类文件或者源程序进行逆向解析,导入样例程序,自动寻找类方法,并分析类方法之间的关系,将类方法的信息存储到特定格式的数组中。利用这个数组就能创建类方法的关系图,并可以扩展成为软件故障传递图,为操作员或者系统分析员分析软件故障提供一个直观的依据。     

一个测试工具的图形显示包的设计

一个集成的对C 和Java语言的进行白盒测试工具需要对程序的源代码进行逆向分析,并且需要将分析的结果以类图、对象图等形式表现出来。对图形系统的要求是能够对类、对象之间的关系以合适的布局进行绘制,并且能够由用户选择不同的布局方式。针对该项目所提出的需求,并通过分析该测试工具上一个版本的缺陷,采用面向对象的思想,对布局、图元的显示进行抽象和封装,设计了一个较为完整的、有更高的灵活性和可扩展性的图形包的框架。     

基于程序设计类图保护的代码迷惑算法

通过反向工程可以较容易获得Java程序代码的设计类图,从而给保护软件知识产权带来困难。为此,采用Java接口融合的代码迷惑方法,提出一种保护Java程序设计类图的代码迷惑算法,并根据该算法构造一种Java接口融合迷惑器。实验结果表明,该算法具有较好的迷惑效果,有效地隐藏程序的设计类图,并且没有额外时间消耗和大量冗余代码。     

针对Java语言中间形式的谓词抽象算法

谓词抽象是解决软件模型检查中状态空间爆炸的最有效方法之一,针对Java语言面向对象的特性,描述了一种对Java程序语言中间形式的谓词抽象算法,该算法将Java程序抽象成为布尔程序,抽象过程中处理的Java数据结构包括:赋值语句、条件语句、类对象引用、成员方法和方法调用等.用一个Java程序实例说明了该算法的抽象过程和结果.     

Java类加载器机制与模型

主要讨论Java类加载器,类加载器是Java运行环境的一部分,它可以动态地把类加载到Java虚拟机中,而在通常情况下,类仅在被需要的时候加载。正是有了类加载器机制,Java虚拟机无需了解类文件的结构和类文件系统。在类加载器的选择中,Java使用了双亲委派模型来处理由谁来加载类。     

Java动态类加载机制分析及其应用

Java 虚拟机(JVM)中的类加载机制可以在 Java 应用程序运行期间动态加载类文件, 而不影响其它功能模块的正常运行. 通过对 Java 类加载器的层次体系结构, 动态类加载机制原理、实现过程进行分析, 将Java动态类加载机制应用到高校网站管理平台的文件发布模块中, 使得设计好的静态网页和后台管理系统相关联, 通过自定义加载器来加载加密过的Java类文件. 这样以可插拔的方式快速的部署二级网站, 增强了网站管理平台的灵活性和可扩展性.     

Java动态类加载机制研究及应用

为了在Java应用程序运行期间动态加载类文件,而不影响其它功能模块的正常运行,在Java虚拟机(JVM)机制上给出了Java动态类加载的实现方法。通过对Java类加载器的体系结构,动态类加载机制原理、实现过程和实现方法的分析,在网络教学环境下实现了一个基于C/S结构模式的动态的从数据库中获取Java源代码并编译运行的学生实验教学系统,并结合反射机制为Java作为动态语言提出一种应用的途径,充分展现了Java语言的灵活性、安全性,使它在代码安全保护和网络环境下有广阔应用前景。