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

Tillmann tirunkel at informatik.uni-bremen.de
Wed Nov 23 08:14:18 EST 2011


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






More information about the Soot-list mailing list