[Soot-list] 'Scene.v().addBasicClass(sun.misc.ClassFileTransformer,HIERARCHY); even when -w option is enabled (Wii re)
Wiza
w1zagr33n at gmail.com
Tue Mar 4 12:59:30 EST 2014
Hi,
I still get the same error.
As 'class path' you mean: soot.Scene.v().setSootClassPath(mypath); ,right?
*mypath* should point to the same path? It's not so clear to me.
_The error I get:_
[Spark] Pointer Assignment Graph in 0.2 seconds.
java.lang.reflect.InvocationTargetException
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at ca.mcgill.sable.soot.launching.SootThread.run(SootThread.java:138)
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).
at soot.SootClass.checkLevel(SootClass.java:125)
at soot.FastHierarchy.canStoreClass(FastHierarchy.java:280)
at soot.FastHierarchy.canStoreType(FastHierarchy.java:215)
at soot.FastHierarchy.canStoreType(FastHierarchy.java:261)
at
soot.jimple.spark.internal.TypeManager.castNeverFails(TypeManager.java:113)
at
soot.jimple.spark.internal.TypeManager.makeTypeMask(TypeManager.java:92)
at
soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer.java:91)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.Transform.apply(Transform.java:89)
at soot.RadioScenePack.internalApply(RadioScenePack.java:57)
at
soot.jimple.toolkits.callgraph.CallGraphPack.internalApply(CallGraphPack.java:49)
at soot.Pack.apply(Pack.java:114)
at soot.PackManager.runWholeProgramPacks(PackManager.java:417)
at soot.PackManager.runPacks(PackManager.java:336)
at soot.Main.run(Main.java:198)
at soot.Main.main(Main.java:141)
at MyMain.main(MyMain.java:328)
Thank you very much :)
On 04/03/2014 19:00, soot-list-request at sable.mcgill.ca wrote:
> ------------------------------ Message: 2 Date: Tue, 04 Mar 2014
> 11:53:15 -0500 From: Marc-Andr? Laverdi?re
> <marc-andre.laverdiere-papineau at polymtl.ca> Subject: Re: [Soot-list] ,
> 'Scene.v().addBasicClass(sun.misc.ClassFileTransformer,HIERARCHY);
> even when -w option is enabled (Wii re) To: soot-list at sable.mcgill.ca
> Message-ID: <531604FB.9030709 at polymtl.ca> Content-Type: text/plain;
> charset=ISO-8859-1
>
> Hello,
> Your error report was not clear. I'm going to guess what is happening,
> and it is likely that your soot class path doesn't include your JDK.
> You can use the prepend classpath option or set the class path yourself.
> If you still have a problem, please include all the details.
>
> Regards,
>
> Marc-Andr? Laverdi?re-Papineau Doctorant - PhD Candidate
>
> On 03/04/2014 11:35 AM, Wiza wrote:
>> Thanks Marc-Andr for your response.
>>
>> Could you be more specific,please? I'm afraid I don't get your answer.
>> I don't try to add any basic class, this is the error msg that I get.
>> The strange thing is that it asks for enabling the program mode even if
>> I give it as an argument option and from soot-eclipse's gui.
>>
>> Thanks again in advance.
>>
>> On 01/03/2014 21:10, soot-list-request at sable.mcgill.ca wrote:
>>> ----------------------------------------------------------------------
>>>
>>> Message: 1
>>> Date: Sat, 01 Mar 2014 13:01:47 -0500
>>> From: Marc-Andr? Laverdi?re
>>> <marc-andre.laverdiere-papineau at polymtl.ca>
>>> Subject: Re: [Soot-list]
>>> 'Scene.v().addBasicClass(sun.misc.ClassFileTransformer,HIERARCHY);
>>> even when -w option is enabled
>>> To: soot-list at sable.mcgill.ca
>>> Message-ID: <5312208B.9000202 at polymtl.ca>
>>> Content-Type: text/plain; charset=ISO-8859-1
>>>
>>> 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
>>>>
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>
>>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20140304/23d6c06b/attachment-0001.html
More information about the Soot-list
mailing list