[Soot-list] Memory Bound Analysis
kishen.das at gmail.com
Mon Jan 24 13:50:23 EST 2011
Thank you very much.
This would not be sufficient.
Looks like we have to implement our own exact memory analysis on the lines
of Leena's work ( http://www.cs.sunysb.edu/~leena/ ).
On Fri, Jan 21, 2011 at 2:16 AM, Eric Bodden <
bodden at st.informatik.tu-darmstadt.de> wrote:
> > Sure. This should answer most of your questions:
> > http://www.sable.mcgill.ca/soot/tutorial/useannotation/index.html
> Oh, and there's even a paper about the implementation, as it turns out:
> Let us know in case this is insufficient.
> Dr. Eric Bodden, http://bodden.de/
> Principal Investigator in Secure Services at CASED
> Coordinator of the CASED Advisory Board of Study Affairs
> PostDoc at Software Technology Group, Technische Universität Darmstadt
> Tel: +49 6151 16-5478 Fax: +49 6151 16-5410
> Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Soot-list