[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