[Soot-list] Retrieve source annotation using SOOT.

Zhoulai zell08v at orange.fr
Thu Feb 14 06:50:53 EST 2013


Hello,

I would like to know whether there exists ways to read  annotations of
source program Java?

The background is as follows: I am testing a toy must-alias analysis. For a
small program like

{... x  = y; y = z; ...}  I would like to see whether this toy must-alias
analysis is able to find out " x = y " before the 2nd statement. For this
purpose, I write annotations before statements in order to verify them.

{... x = y;
   @x=y,
   y = z
}

I would like to know how to make SOOT retrieve this annotation @x=y.

Any ideas?

Many thanks.

Zell.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130214/e62a4bbf/attachment.html 


More information about the Soot-list mailing list