检索结果-内蒙古大学图书馆

Encoding the java virtual machine's Instruction Set

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2010年第4期264卷 35-50页

作者： Eichberg, Michael Sewe, Andreas Tech Univ Darmstadt Dept Comp Sci Darmstadt Germany

New toolkits that parse, analyze, and transform java Bytecode are frequently developed from scratch to obtain a representation suitable for a particular purpose. But, while the functionality implemented by these toolkits to read in class files and do basic control-and data-flow analyses is comparable, it is implemented over and over again. Differences manifest themselves mainly in minor technical issues. To avoid the repetitive development of similar functionality, we have developed an XML-based language for specifying bytecode- based instruction sets. Using this language, we have encoded the instruction set of the java virtual machine such that it can directly be used, e.g., to generate the skeleton of bytecode- based tools. The XML format hereby specifies both the format of the instructions and their effect on the stack and the local registers upon execution. This enables developers of static analyses to generate generic control-and data-flow analyses, e.g.,an analysis that transforms java Bytecode into static single assignment form. To assess the usefulness of our approach, we have used the encoding of the java virtual machine's instruction set to develop a framework for the analysis and transformation of java class files. The evaluation shows that using the specification significantly reduces the development effort when compared to manual development.

关键词： java Bytecode java virtual machine specification XML

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：