[Soot-list] Create CFG problem
Marc-André Laverdière
marc-andre.laverdiere-papineau at polymtl.ca
Wed Aug 28 14:40:00 EDT 2013
Hello,
Note that FLowDroid has some code for generating simple entry points. If
you were planning to do information flow analyses later down the road,
then it would be a good idea to merge that early in ;)
On 08/27/2013 06:05 PM, Gias Uddin wrote:
> Hi Bernhard,
>
> Thanks, I have been looking into the blogs of Eric the whole day.
> However, as it turned out, my requirements were a little bit
> different: get call graph for a given method of an API which may not
> have a "main method" - i.e., we need custom entry point. At the end,
> this another email in the archive helped me:
> http://www.sable.mcgill.ca/pipermail/soot-list/2012-July/004502.html
>
> Thanks again,
> - Gias
>
> On Tue, Aug 27, 2013 at 6:23 AM, Bernhard Berger <berber at tzi.de> wrote:
>> Hi Gias,
>>
>> why don't you use soot.Main? You try to run Soot manually and that's not easy. Try to follow the Blog entry written by Eric ( http://www.bodden.de/2008/11/26/soot-packs/ ). By the way, building a call graph starting at a non-static method is not a good idea. ;-)
>>
>> Regards,
>> Bernhard
>>
>> Am 27.08.2013 um 07:09 schrieb Gias Uddin <gias98 at gmail.com>:
>>
>>> That did not solve my problem, though :-(
>>>
>>> [Call Graph] For information on where the call graph may be
>>> incomplete, use the verbose option to the cg phase.
>>> Exception in thread "main" java.lang.RuntimeException: This operation
>>> requires resolving level BODIES but java.lang.Object is at resolving
>>> level SIGNATURES
>>> If you are extending Soot, try to add the following call before
>>> calling soot.Main.main(..):
>>> Scene.v().addBasicClass(java.lang.Object,BODIES);
>>> Otherwise, try whole-program mode (-w).
>>> at soot.SootClass.checkLevel(SootClass.java:125)
>>> at soot.SootMethod.retrieveActiveBody(SootMethod.java:314)
>>> at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processNewMethod(OnFlyCallGraphBuilder.java:532)
>>> at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processReachables(OnFlyCallGraphBuilder.java:427)
>>> at soot.jimple.spark.solver.OnFlyCallGraph.build(OnFlyCallGraph.java:55)
>>> at soot.jimple.spark.builder.ContextInsensitiveBuilder.build(ContextInsensitiveBuilder.java:77)
>>> at soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer.java:84)
>>> at soot.SceneTransformer.transform(SceneTransformer.java:39)
>>> at ca.mcgill.cs.swevo.recfeat.jars.MethodCallGraph.createCallGraph(MethodCallGraph.java:79)
>>> at ca.mcgill.cs.swevo.recfeat.jars.MethodCallGraph.main(MethodCallGraph.java:162)
>>>
>>> Once again: here is my code - if somebody can help me.
>>> ==========================================================
>>> public void createCallGraph(String className, String methodName)
>>> {
>>> Scene scene = Scene.v();
>>> String classPaths = "/usr/lib/jvm/java-7-oracle/jre/lib/rt.jar:"
>>> +"/usr/lib/jvm/java-7-oracle/jre/lib/jce.jar:"
>>> + "/usr/lib/jvm/java-7-oracle/jre/lib/jsse.jar:"
>>> + "/temp/jars/joda-time-2.3.jar";
>>> scene.setSootClassPath(classPaths);
>>> SootClass sootClass = scene.loadClass(className,
>>> SootClass.BODIES);//.loadClassAndSupport(className);
>>> sootClass.setLibraryClass();
>>> scene.loadBasicClasses();
>>> scene.loadNecessaryClasses();
>>> soot.options.Options.v().set_whole_program(true);
>>>
>>> // SootResolver.v().resolveClass("org.joda.time.field.FieldUtils",
>>> SootClass.SIGNATURES);
>>> // SootResolver.v().resolveClass("java.lang.Object", SootClass.BODIES);
>>> // SootResolver.v().resolveClass("org.joda.time.chrono.BasicChronology",
>>> SootClass.BODIES);
>>>
>>>
>>> Scene.v().setEntryPoints(sootClass.getMethods());
>>> HashMap<String,String> sparkOptions = new HashMap<String,String>();
>>> sparkOptions.put("enabled", "true");
>>> sparkOptions.put("on-fly-cg", "true");
>>> sparkOptions.put("set-impl", "hybrid");
>>> sparkOptions.put("propagator", "worklist");
>>> sparkOptions.put("verbose", "true");
>>> SparkTransformer.v().transform("cg", sparkOptions);
>>>
>>> SootMethod sMethod = sootClass.getMethod(methodName);
>>> CallGraph callGraph = scene.getCallGraph();
>>> Iterator iter = callGraph.edgesOutOf((MethodOrMethodContext)sMethod);
>>>
>>> while (iter.hasNext()) {
>>> System.out.println(iter.next());
>>> }
>>> }
>>>
>>> public static void main(String[] args)
>>> {
>>>
>>> String className = "org.joda.time.chrono.CopticChronology";
>>> String methodName = "public int getMinimumDaysInFirstWeek()";
>>> MethodCallGraph methodCallGraph = new MethodCallGraph();
>>> methodCallGraph.createCallGraph(className, methodName);
>>> }
>>>
>>> On Tue, Aug 27, 2013 at 1:02 AM, Christoph Dörr <Chris.Doerr at gmx.de> wrote:
>>>> Oh, sorry, my fault. Indeed, I did not use the github version, but
>>>> downloaded the latest nightly build from:
>>>> http://vandyk.st.informatik.tu-darmstadt.de/abc/
>>>>
>>>>
>>>> Am 27.08.2013 06:25, schrieb Gias Uddin:
>>>>
>>>>> I managed to have a successful build of the recent develop version of
>>>>> soot using the following command: ant -lib libs/
>>>>> where
>>>>> ~/dev/soot/soot$ ls libs
>>>>> AXMLPrinter2.jar baksmali-1.3.2.jar baksmali-2.0b5.jar
>>>>> dexlib2-2.0b5-dev.jar heros-trunk.jar jasminclasses-2.5.0.jar
>>>>> junit.jar polyglot.jar
>>>>>
>>>>> However, this build did not produce any soot-trunk.jar file as it was
>>>>> expected to produce.
>>>>> One more thing, I don't see any soot-2.5.2 tag in github repo.
>>>>>
>>>>> - Gias
>>>>>
>>>>>
>>>>> On Mon, Aug 26, 2013 at 11:15 PM, Gias Uddin <gias98 at gmail.com> wrote:
>>>>>>
>>>>>> Christoph, thanks for the reply.
>>>>>> I tried to build the developer version of soot from git using the
>>>>>> instructions in this link: https://github.com/Sable/soot/issues/71
>>>>>> It failed:
>>>>>>
>>>>>> ....
>>>>>> [javac] E extends Object declared in class ArrayList
>>>>>> [javac]
>>>>>> /home/gias/dev/soot/soot/src/soot/util/JasminOutputStream.java:35:
>>>>>> error: package jasmin does not exist
>>>>>> [javac] jasmin.Main.assemble(bais, out, false);
>>>>>> [javac] ^
>>>>>> [javac] Note: Some input files additionally use or override a
>>>>>> deprecated API.
>>>>>> [javac] Note: Some input files use unchecked or unsafe operations.
>>>>>> [javac] Note: Recompile with -Xlint:unchecked for details.
>>>>>> [javac] 2 errors
>>>>>> [javac] 100 warnings
>>>>>>
>>>>>> BUILD FAILED
>>>>>> /home/gias/dev/soot/soot/build.xml:24: Compile failed; see the
>>>>>> compiler error output for details.
>>>>>>
>>>>>> Total time: 22 seconds
>>>>>>
>>>>>> Any idea?
>>>>>>
>>>>>> Thanks again,
>>>>>> - Gias
>>>>>>
>>>>>> On Mon, Aug 26, 2013 at 7:29 PM, Christoph Dörr <Chris.Doerr at gmx.de>
>>>>>> wrote:
>>>>>>>
>>>>>>> To have a guess:
>>>>>>>
>>>>>>> I got (not the same but) similar error shortly and was able to fix it
>>>>>>> with
>>>>>>> updating from Soot 2.5.0 to 2.5.2 (from github).
>>>>>>>
>>>>>>> Am 27.08.2013 00:09, schrieb Gias Uddin:
>>>>>>>>
>>>>>>>> I am trying to create Call Graph of a given method (code below).
>>>>>>>>
>>>>>>>> I get error:
>>>>>>>> -------------------------
>>>>>>>> [Call Graph] For information on where the call graph may be
>>>>>>>> incomplete, use the verbose option to the cg phase.
>>>>>>>> Exception in thread "main" java.lang.RuntimeException: This operation
>>>>>>>> requires resolving level BODIES but java.lang.Object is at resolving
>>>>>>>> level SIGNATURES
>>>>>>>> If you are extending Soot, try to add the following call before
>>>>>>>> calling soot.Main.main(..):
>>>>>>>> Scene.v().addBasicClass(java.lang.Object,BODIES);
>>>>>>>> Otherwise, try whole-program mode (-w).
>>>>>>>> ...
>>>>>>>>
>>>>>>>> My code:
>>>>>>>> ---------------------------
>>>>>>>> public void createCallGraph(String className, String methodName)
>>>>>>>> {
>>>>>>>> Scene scene = Scene.v();
>>>>>>>> String classPaths = "/usr/lib/jvm/java-7-oracle/jre/lib/rt.jar:"
>>>>>>>> +"/usr/lib/jvm/java-7-oracle/jre/lib/jce.jar:"
>>>>>>>> + "/usr/lib/jvm/java-7-oracle/jre/lib/jsse.jar:"
>>>>>>>> + "/temp/jars/joda-time-2.3.jar";
>>>>>>>> scene.setSootClassPath(classPaths);
>>>>>>>> SootClass sootClass = scene.loadClassAndSupport(className);
>>>>>>>> //sootClass.setLibraryClass();
>>>>>>>> scene.loadBasicClasses();
>>>>>>>> scene.loadNecessaryClasses();
>>>>>>>> soot.options.Options.v().set_whole_program(true);
>>>>>>>>
>>>>>>>> Scene.v().setEntryPoints(sootClass.getMethods());
>>>>>>>> HashMap<String,String> sparkOptions = new HashMap<String,String>();
>>>>>>>> sparkOptions.put("enabled", "true");
>>>>>>>> sparkOptions.put("on-fly-cg", "true");
>>>>>>>> sparkOptions.put("set-impl", "hybrid");
>>>>>>>> sparkOptions.put("propagator", "worklist");
>>>>>>>> sparkOptions.put("verbose", "true");
>>>>>>>> SparkTransformer.v().transform("cg", sparkOptions);
>>>>>>>>
>>>>>>>> SootMethod sMethod = sootClass.getMethod(methodName);
>>>>>>>> CallGraph callGraph = scene.getCallGraph();
>>>>>>>> Iterator iter = callGraph.edgesOutOf((MethodOrMethodContext)sMethod);
>>>>>>>>
>>>>>>>> while (iter.hasNext()) {
>>>>>>>> System.out.println(iter.next());
>>>>>>>> }
>>>>>>>> }
>>>>>>>>
>>>>>>>> public static void main(String[] args)
>>>>>>>> {
>>>>>>>> String className = "org.joda.time.chrono.CopticChronology";
>>>>>>>> String methodName = "public int getMinimumDaysInFirstWeek()";
>>>>>>>> MethodCallGraph methodCallGraph = new MethodCallGraph();
>>>>>>>> methodCallGraph.createCallGraph(className, methodName);
>>>>>>>> }
>>>>>>>>
>>>>>>>> Am I doing anything wrong?
>>>>>>>>
>>>>>>>> -Gias
>>>>>>>> _______________________________________________
>>>>>>>> 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
>>>
>>>
>>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
--
Marc-André Laverdière-Papineau
Doctorant - PhD Candidate
More information about the Soot-list
mailing list