[Soot-list] Problems with interprocedural analysis and the PackManager
Tillmann
tirunkel at informatik.uni-bremen.de
Wed Nov 23 13:09:04 EST 2011
Hi Eric,
thanks for your help. I've found out that i have to specify the
process-dir (we've discussed that in an earlier that this option only
have an influence on the non-w-mode) then the other packs are invoked as
i assumed.
Does any buil-in interprocedural analyses exists in soot? The build-in
analysis i've found only deals with intraprocedural analyses.
Regards,
Tillmann
> Hi Tillmann.
>
> I think the jap pack should run also when -w is enabled. However, note
> that it will run *after* all whole-program packs. Also, the
> NullPointer analysis will not automatically become interprocedural
> just because you enable the whole-program pack. It will still be an
> intra-procedural analysis. See here (around page 100) for an overview
> of the packs:
> http://www.sable.mcgill.ca/soot/tutorial/pldi03/tutorial.pdf
>
> Eric
>
More information about the Soot-list
mailing list