基于数据流的Java字节码分析  

Analysis on Java bytecode based on Data Flow

作　　者：倪程[1] 李志蜀[1] 

机构地区：[1]四川大学计算机学院,610064

出　　处：《微计算机信息》2009年第12期231-232,270,共3页Control & Automation

基　　金：国家中小企业创新基金(06C26225101730)

摘　　要：本文基于数据流框架理论,提出了如何将数据流分析方法应用于JAVA字节码中,通过建立数据流与半格、数据流和函数调用图的关系,从而对类型信息进行分析。实验表明该数据流分析方法能够对文件中的类型信息进行较精确的分析。Based on the theoretical framework of data flow analysis, this paper shows how data flow analysis can be used to infer type information related to Java byte code by establishing the relationship between data flow and semi-lattice as well as the function call graph. Experimental results show it can improve the accuracy.

关 键 词：数据流分析 半格 JAVA字节码 控制流图 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]