摘要
本文基于数据流框架理论,提出了如何将数据流分析方法应用于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.
出处
《微计算机信息》
2009年第12期231-232,270,共3页
Control & Automation
基金
国家中小企业创新基金(06C26225101730)
