[Soot-list] "grammar" for generated Jimple?

[Ondrej Lhotak]

The design and implementation of Soot was the topic of Raja
Vallée-Rai's master's. Thus, AFAIK, the most detailed description 
of the Jimple grammar and the design of Soot in general is his thesis:
http://www.sable.mcgill.ca/publications/thesis/#korMastersThesis

Ondrej

On Sun, Jun 18, 2006 at 11:49:25PM -0400, David Glasser wrote:
> Is there any sort of "grammar" for Jimple (or Shimple) that is
> generated by Soot? I don't mean for parsing files; I merely mean what
> sorts of Stmts and Exprs it will make. I am working on an analysis
> tool that operates on Shimple, and it would be nice to know what sorts
> of special cases I need to deal with. For example, I've never seen it
> generate
> 
>  a.b = c.d
> 
> but only
> 
>  x = c.d
>  a.b = x
> 
> Is there anywhere I can look that will let me conclude with confidence
> that my analysis won't need to deal with the former sort of Stmt?
> 
> --dave
> 
> -- 
> David Glasser | glasser at mit.edu | http://www.davidglasser.net/
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>