[Soot-list] Any language specification for Jimple?

[Sai Zhang]

Hi all:

I am wondering is there any language specification for Jimple (as well
as the translation mechanism from class to jimple)?

 I am interested in knowing how does soot translate class
to jimple file?  A simplest example is that: at the beginning of each Jimple
method.
there are always the assignment of @this and @parameter

r0 := @this: VectorUtils;
r1 := @parameter0: java.util.Vector;
r2 := @parameter1: java.util.Vector;

for instance, I want to make sure whether the nams of the JimpleLocals
are always following the convention of "r0, r1, r2, ..."?

Also, sometimes, I find the naming of JimpleLocals inside the method
is a bit messy, seems to be no rules. Particularly when involving with
exception handling..


thanks

-Sai
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100412/a11162a1/attachment.html