[Soot-list] Retrieve source annotation using SOOT.

[Zhoulai]

Indeed, the bothering part is how hard it is to write unit test for any
flow-sensitive analysis!

On Thu, Feb 14, 2013 at 3:02 PM, Quentin Sabah <quentin.sabah at inria.fr>wrote:

> Hi Zell, Eric,
>
> > 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.
>
> It would be an elegant way of writing unit tests for various analyses.
> Unfortunately, to my knowledge, Java does not support statement
> annotations. Does it?
>
> Regards.
>
> --
> Quentin Sabah, CIFRE Ph.D. student
> Grenoble University
> INRIA-SARDES                   | STMicroelectronics/AST
> Montbonnot, France             | Grenoble, France
> mailto:quentin.sabah at inria.fr  | mailto:quentin.sabah at st.com
> phone: +33 476 61 54 57        | phone: +33 476 58 44 14
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130214/135add90/attachment.html