Java字节码异常处理中信息流的分析 (2007年)

为提高 Java移动代码动态安全验证的准确性和实用性,通过分析 Java字节码中异常处理的方式与流 程,提出了追踪、记录异常处理中信息流的方法。采用字节码改写技术,将异常处理中信息流的相关数据封装在 异常类当中,从而保证了所采取的处理对 Java虚拟机的透明性,并进一步提高了动态验证的精度。