[Soot-list] Problems with interprocedural analysis and the PackManager

[Eric Bodden]

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

On 23 November 2011 14:14, Tillmann <tirunkel at informatik.uni-bremen.de> wrote:
> Hello,
>
> i try to use the soot's built-in Nullpointer-Analysis in an
> interprocedural way. As i assumed from the Phase-Figures in the Soot's
> Survivor's Guide the "jap"-Phase, where the Nullpointer-Analysis is
> invoked, should be also invoked in whole-program-mode. But the
> Package-Chain is not working due to an empty Chain at
> "reachableClasses()" in
>
>      public void runBodyPacks() {
>         runBodyPacks( reachableClasses() );
>     }
>
> wehen i'm running PackManager.v().runPacks().
>
> my configuration is:
>
> Options.v().set_whole_program(true);
> Options.v().set_output_format(Options.output_format_jimple);// jimple
> Options.v().setPhaseOption("jap.npcolorer", "enabled:true");
> Options.v().setPhaseOption("jap", "enabled:true");
> Options.v().setPhaseOption("jap.npc", "enabled:true");
> Options.v().set_src_prec(Options.src_prec_class);// classes
> Options.v().set_output_dir(...);
> Options.v().setPhaseOption("cg", "verbose:true");
> Options.v().set_soot_classpath(...);
>
> Am i missing some options or is it not possible to use the built-in
> analysis in interprocedural way?
>
> Thanks.
>
> Tillmann
>
>
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Eric Bodden, Ph.D., http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Principal Investigator in Secure Services at CASED
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 32, 64293 Darmstadt