[Soot-list] 'Scene.v().addBasicClass(sun.misc.ClassFileTransformer,HIERARCHY); even when -w option is enabled
Marc-André Laverdière
marc-andre.laverdiere-papineau at polymtl.ca
Sat Mar 1 13:01:47 EST 2014
Hello Wiza,
Adding a class as a basic class affects the soot class loader, not the
call graph construction algorithm. If you want to set the main class,
there is an option for that. If you want custom entry points, check out
this tutorial:
http://www.bodden.de/2012/07/26/soot-custom-entry-points/
Marc-André Laverdière-Papineau
Doctorant - PhD Candidate
On 02/28/2014 03:48 PM, Wiza wrote:
> Hi list :)
>
> I'm trying to create a transformer to call points-to spark analysis.
> I get an error msg for adding
> '*Scene.v().addBasicClass(sun.misc.ClassFileTransformer,HIERARCHY);'
> *or enabling the "-whole-program mode".
> Although I enable the -w option giving it as an argument for soot.Main
> and I even tried enabling it manually from Soot-Eclipse, but I get the
> same result.
> Am I doing something wrong on my code or it is a Soot bug?
>
> My code as well as the command line output follow up.
>
> Thank you very much in advance,
>
> --Wi
>
>
> *_COMMAND LINE OUTPUT:_*
> Starting from project MyColorer:
> Soot started on Fri Feb 28 22:14:48 EET 2014
> resolving [from .class]: java.lang.NoClassDefFoundError
> resolving [from .class]: java.lang.LinkageError
> resolving [from .class]: java.lang.String
> resolving [from .class]: java.lang.Error
> ...
> Warning: java.dyn.InvokeDynamic is a phantom class!
> resolving [from .java]: hello.Foo
> Warning: enabled:true is a phantom class!
> Applying phase cg.spark to the scene.
> No main class given. Inferred 'hello.Foo' as main class.
> [Call Graph] For information on where the call graph may be incomplete,
> use the verbose option to the cg phase.
> [<clinit>] Constructing JimpleBody from coffi...
> Applying phase jb.ls to <java.lang.Object: void <clinit>()>.
> [<clinit>] Splitting locals
> ...
> Applying phase jb.a to <java.lang.Object: void <clinit>()>.
> [<clinit>] Aggregating iteration 1...
> Applying phase jb.ule to <java.lang.Object: void <clinit>()>.
> [<clinit>] Eliminating unused locals...
> Applying phase jb.tr to <java.lang.Object: void <clinit>()>.
> [TypeAssigner] typing system started on Fri Feb 28 22:14:50 EET 2014
> [TypeAssigner] typing system ended. It took 0 mins and 0 secs.
> Applying phase jb.lns to <java.lang.Object: void <clinit>()>.
> Applying phase jb.cp to <java.lang.Object: void <clinit>()>.
> [<clinit>] Propagating copies...
> Applying phase jb.dae to <java.lang.Object: void <clinit>()>.
> [<clinit>] Eliminating dead code...
> ...
>
> [Spark] Pointer Assignment Graph in 0.0 seconds.
> Caused by: java.lang.RuntimeException: This operation requires resolving
> level HIERARCHY but sun.misc.ClassFileTransformer is at resolving level
> DANGLING*
> *If you are extending Soot, try to add the following call before calling
> soot.Main.main(..):*
> **Scene.v().addBasicClass(sun.misc.ClassFileTransformer,HIERARCHY);**
> **Otherwise, try whole-program mode (-w).*
>
>
> _*MY TRANSFORMER:*_
>
> public class MyMain {
>
> /**
> * setup the Soot Scene to load the name class
> * @param name
> * @param main
> * @return
> */
> private static SootClass loadClass(String name, boolean main) {
> SootClass c = Scene.v().loadClassAndSupport(name);
> c.setApplicationClass();
> if (main) Scene.v().setMainClass(c);
> return c;
> }
>
> private static int getLineNumber(Stmt s) {
> Iterator<Tag> ti = s.getTags().iterator();
> while (ti.hasNext()) {
> Object o = ti.next();
> if (o instanceof LineNumberTag)
> return Integer.parseInt(o.toString());
> }
> return -1;
> }
>
>
> public static void main(String[] args) {
>
> LinkedList<String> sootArgs = new
> LinkedList<String>(Arrays.asList(args));
>
> // enable verbose - Provide detailed information about what Soot
> is doing as it runs.
> sootArgs.add("-v");
> sootArgs.add("enabled:true");
>
> // enable whole program mode
> sootArgs.add("-w");
> sootArgs.add("enabled:true");
>
> // enable whole-jimple optimization pack with true opt value
> sootArgs.add("-p");
> sootArgs.add("wjop");
> sootArgs.add("enabled:true");
>
> //enable points-to analysis(cg) with true opt value
> sootArgs.add("-p");
> sootArgs.add("cg");
> sootArgs.add("enabled:true");
>
> //enable Spark points-to analysis with true opt value
> sootArgs.add("-p");
> sootArgs.add("cg.spark");
> sootArgs.add("enabled:true");
>
> //enable no-bodies-for-excluded
> sootArgs.add("-no-bodies-for-excluded");
> sootArgs.add("enabled:true");
>
> //enable allow-phantom-refs
> sootArgs.add("-allow-phantom-refs");
> sootArgs.add("enabled:true");
>
> String[] argsArray = sootArgs.toArray(new String[0]);
>
> // Inject the analysis into Soot
> PackManager.v().getPack("jtp").add(
> new Transform("jtp.myColorer", new SceneTransformer() {
>
> protected void internalTransform(String phase, Map
> options) {
>
> // Load the main Class
> SootClass sc = loadClass("hello.Foo",true);
>
> soot.Scene.v().loadNecessaryClasses();
>
>
> soot.Scene.v().setEntryPoints(EntryPoints.v().all());
>
> // Set SPARK options
> HashMap<String, String> opt = new
> HashMap<String, String>();
> opt.put("enabled","true");
> opt.put("verbose","true");
> opt.put("ignore-types","false");
> opt.put("force-gc","false");
> opt.put("pre-jimplify","false");
> opt.put("propagator","worklist");
> opt.put("simple-edges-bidirectional","false");
> opt.put("on-fly-cg","true");
> opt.put("set-impl","double");
>
> opt.put("vta","false");
> opt.put("rta","false");
> opt.put("field-based","false");
> opt.put("types-for-sites","false");
> opt.put("merge-stringbuffer","true");
> opt.put("string-constants","false");
> opt.put("simulate-natives","true");
> opt.put("simplify-offline","false");
> opt.put("simplify-sccs","false");
> opt.put("ignore-types-for-sccs","false");
> opt.put("double-set-old","hybrid");
> opt.put("double-set-new","hybrid");
> opt.put("dump-html","false");
> opt.put("dump-pag","false");
> opt.put("dump-solution","false");
> opt.put("topo-sort","false");
> opt.put("dump-types","true");
> opt.put("class-method-var","true");
> opt.put("dump-answer","false");
> opt.put("add-tags","false");
> opt.put("set-mass","false");
>
> //
> ---------------------------------------------------------
>
> // Call graph options
> soot.options.Options.v().setPhaseOption("cg",
> "enabled:true");
> soot.options.Options.v().setPhaseOption("cg",
> "implicit-entry:false");
> soot.options.Options.v().setPhaseOption("cg",
> "verbose:true");
>
> soot.options.Options.v().setPhaseOption("cg.cha",
> "enabled:false");
>
> soot.options.Options.v().setPhaseOption("cg.spark", "enabled:true");
>
>
> soot.options.Options.v().setPhaseOption("cg.paddle", "enabled:false");
>
> soot.options.Options.v().setPhaseOption("cg.paddle", "geom-pta:true");
>
> //
> ---------------------------------------------------------
>
> // Run SPARK analysis
> G.v().out.println("[spark] Starting analysis
> ...");
> SparkTransformer.v().transform("",opt);
> G.v().out.println("[spark] Done!");
> }
> }));
>
> soot.Main.main(argsArray);
> }
> }
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
More information about the Soot-list
mailing list