Jasmin-Java汇编语言

Jasmin-Java汇编语言
（http://blog.csdn.net/kingspider/）
（http://blog.sina.com.cn/u/1163490885）

Jasmin是Java汇编语言，以文本方式来描述JVM的指令集以及Java Class的结构，Jasmin编译器可以把汇编语言转换成二进制的字节码，使JVM可以调入执行。

Jasmin最初是由Jon Meyer和Troy Downing编纂《Java Virtual Machine》时设计的范例，虽然该书不再出版，但是Jasmin成为了事实上的Java汇编语言标准，并作为开源项目得到发展：http://jasmin.sourceforge.net/。

Jasmin在Java class方面的处理非常灵活，可以不受Java语法的一些限定，变量名、方法名等可以是Java源码中的非法单词，例如在Jasmin中可以定义变量名为if，但是在Java源码中是不行的。真是鉴于这样一个特点，Jasmin对于某些混淆处理过的Java代码仍然可以进行修改，可以对Java软件的License控制造成了一定程度的威胁，这也是Jasmin曾经受到抵制的原因。

我本人对Jasmin比较感兴趣，曾经根据Jasmin的语法，自己用JavaCC编写了一个功能更加强大的编译器，主要是对Jon Meyer提供的语法进行了一点扩展。

下面是用JavaCC导出的Jasmin BNF范式：

BNF for JasminParser.jj

NON-TERMINALS

jas_file	::=	source_spec class_spec super_spec implements_list fields methods
source_spec	::=	( <DSOURCE> <Word> <SEP> )?
class_spec	::=	<DCLASS> access classname <SEP>
	|	<DINTERFACE> access classname <SEP>
classname	::=	<Word>
access	::=	access_list
access_list	::=	( access_item )*
access_item	::=	<PUBLIC>
	|	<PRIVATE>
	|	<PROTECTED>
	|	<STATIC>
	|	<FINAL>
	|	<SYNCHRONIZED>
	|	<VOLATILE>
	|	<TRANSIENT>
	|	<NATIVE>
	|	<INTERFACE>
	|	<ABSTRACT>
super_spec	::=	<DSUPER> classname <SEP>
implements_list	::=	( implements_spec | <SEP> )*
implements_spec	::=	<DIMPLEMENTS> classname <SEP>
fields	::=	( field_spec )*
field_spec	::=	<DFIELD> access <Word> <Word> optional_default <SEP>
optional_default	::=	( <EQ> item )?
item	::=	<Int>
	|	<Num>
	|	<Str>
methods	::=	( method_spec )*
method_spec	::=	defmethod statements endmethod
defmethod	::=	<DMETHOD> access <Word> <SEP>
endmethod	::=	<DEND> <METHOD> <SEP>
statements	::=	( statement )*
statement	::=	stmnt <SEP>
stmnt	::=	( label | directive | instruction )?
label	::=	<Word> <COLON>
directive	::=	<DVAR> var_expr
	|	<DLIMIT> limit_expr
	|	<DLINE> line_expr
	|	<DTHROWS> throws_expr
	|	<DCATCH> catch_expr
	|	<DSET> set_expr
var_expr	::=	<Int> <IS> <Word> <Word> ( <FROM> <Word> <TO> <Word> )?
limit_expr	::=	<Word> <Int>
line_expr	::=	<Int>
throws_expr	::=	classname
catch_expr	::=	classname <FROM> <Word> <TO> <Word> <USING> <Word>
set_expr	::=	<Word> <Int>
	|	<Word> <Word>
	|	<Word> <Num>
	|	<Word> <Str>
instruction	::=	simple_instruction
	|	complex_instruction
simple_instruction	::=	<Word> <Int> <Int>
	|	<Word> <Word> <Int>
	|	<Word> <Word> <Word>
	|	<Word> <Int>
	|	<Word> <Num>
	|	<Word> <Word>
	|	<Word> <Str>
	|	<Word>
complex_instruction	::=	<LOOKUPSWITCH> lookup
	|	<TABLESWITCH> table
lookup	::=	lookup_args lookup_list lookup_default
lookup_args	::=	<SEP>
lookup_list	::=	( lookup_entry )+
lookup_entry	::=	<Int> <COLON> <Word> <SEP>
lookup_default	::=	<DEFAULT_BRANCH> <COLON> <Word>
table	::=	table_args table_list table_default
table_args	::=	<Int> <SEP>
	|	<Int> <Int> <SEP>
table_list	::=	( table_entry )+
table_entry	::=	<Word> <SEP>
table_default	::=	<DEFAULT_BRANCH> <COLON> <Word>