[Soot-list] Retrieve source annotation using SOOT.

[Eric Bodden]

Hi Zell.

Soot does support annotations, as a Google search will quickly reveal:
http://www.sable.mcgill.ca/pipermail/soot-list/2012-February/004094.html

To the best of my knowledge your approach can't quite work, though,
because in Java you cannot (yet) put annotations on arbitrary
statements.

But for your must-alias problem, why don't you just use a must-alias
analysis? Assuming that a code will contain alias annotations is a
very unrealistic assumption anyway.

Eric

On 14 February 2013 12:50, Zhoulai <zell08v at orange.fr> wrote:
> 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.
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt