[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