| Java字节码异常处理中信息流的分析 |
| |
| 引用本文： | 卢丹,小林良岳,中山健,前川守. Java字节码异常处理中信息流的分析[J]. 应用科技, 2007, 34(2): 28-31 |
| |
| 作者姓名： | 卢丹 小林良岳 中山健 前川守 |
| |
| 作者单位： | 电气通信大学,情报系统学研究科,日本,东京,182-8585 |
| |
| 摘 要： | 为提高Java移动代码动态安全验证的准确性和实用性,通过分析Java字节码中异常处理的方式与流程,提出了追踪、记录异常处理中信息流的方法.采用字节码改写技术,将异常处理中信息流的相关数据封装在异常类当中,从而保证了所采取的处理对Java虚拟机的透明性,并进一步提高了动态验证的精度.
|
| 关 键 词： | 信息流 异常处理 Java字节码 |
| 文章编号： | 1009-671X（2007）02-0028-04 |
| 收稿时间： | 2006-10-20 |
| 修稿时间： | 2006-10-20 |
Analysis of information flow in exception handling of Java bytecode |
| |
| LU Dan,KOBAYASHI Yoshitake,NAKAYAMA Ken,MAEKAWA Mamoru. Analysis of information flow in exception handling of Java bytecode[J]. Applied Science and Technology, 2007, 34(2): 28-31 |
| |
| Authors: | LU Dan KOBAYASHI Yoshitake NAKAYAMA Ken MAEKAWA Mamoru |
| |
| Affiliation: | Graduate School of Information Systems of University of Electro-Communications, Tokyo 182 -8585, Japan |
| |
| Abstract: | 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. |
| |
| Keywords: | information flow exception handling Java bytecode |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
