[Soot-list] Retrieve source annotation using SOOT.

[Quentin Sabah]

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