[Soot-list] Memory Bound Analysis

[Kishen Das]

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/ ).

Kishen

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:
>
> http://www.springerlink.com/content/5ywvhgq6g4qum3em/
>
> Let us know in case this is insufficient.
>
> Eric
>
>
> --
> 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...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20110124/c7465476/attachment.html