摘要
为提高Java移动代码动态安全验证的准确性和实用性,通过分析Java字节码中异常处理的方式与流程,提出了追踪、记录异常处理中信息流的方法.采用字节码改写技术,将异常处理中信息流的相关数据封装在异常类当中,从而保证了所采取的处理对Java虚拟机的透明性,并进一步提高了动态验证的精度.
In order to improve the precision and practicability of dynamic verification for Java mobile code, the exception handling procedure is analyzed and an approach is presented to trace and record the information flow caused by the exception handling in Java bytecode. Furthermore by using the bytecode modification technique, the data of information flow is encapsulated into the Java exception class. By this way the treatment we have done to the exception handling is made transparent to the Java Virtual Machine and the precision of our dynamic verification is improved.
出处
《应用科技》
CAS
2007年第2期28-31,共4页
Applied Science and Technology
关键词
信息流
异常处理
JAVA字节码
information flow
exception handling
Java bytecode
