[Soot-list] Retrieve source annotation using SOOT.

Phil Pratt-Szeliga pcpratts at trifort.org
Thu Feb 14 09:36:28 EST 2013


Hello,

Jave 8 is going to allow annotations on any type [1]

Phil Pratt-Szeliga
Syracuse University
http://trifort.org/

[1] http://jcp.org/en/jsr/detail?id=308

On Thu, Feb 14, 2013 at 9:02 AM, 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


More information about the Soot-list mailing list