[Soot-list] Simple Interprocedural Analysis

Tue Jul 17 20:15:20 EDT 2007

Eric,

So now I get a similar runtime error except earlier.  Perhaps I am 
loading the classes at the wrong place.  Here is how I changed my code.  
I also changed the code to set the classpath instead of having to do it 
at the command line:

public class MyTransformer extends SceneTransformer {
  public static void main(String[] args) {
    if(args.length == 0) System.exit(-1);

Scene.v().setSootClassPath(".:/usr/lib/jvm/java-6-sun-1.6.0.00/jre/lib/rt.jar:" 
+

"/usr/lib/jvm/java-6-sun-1.6.0.00/jre/lib/jce.jar:" +

"/usr/lib/jvm/java-6-sun-1.6.0.00/jre/lib/jsse.jar");
    PackManager.v().getPack("wjtp").
      add(new Transform("wjtp.mytransform", MyTransformer.v()));
    Scene.v().loadBasicClasses();
    soot.Main.main(args);
  }

Now I get the following runtime error:

anavabi at ubuntu:~/soot/trunk$ java analysis.getcallgraph.MyTransformer 
--app -p cg.spark on-fly-cg:true -w analysis.examples.Foo
Soot started on Tue Jul 17 20:11:58 EDT 2007
Exception in thread "main" java.lang.RuntimeException: This operation 
requires resolving level SIGNATURES but java.lang.ref.Finalizer is at 
resolving level HIERARCHY
        at soot.SootClass.checkLevel(SootClass.java:126)

Thanks for the help,
Armand

Eric Bodden wrote:
> http://www.sable.mcgill.ca/pipermail/soot-list/2007-February/001041.html
>
> On 17/07/07, Armand Navabi <anavabi at purdue.edu> wrote:
>> Thanks Chris,
>>
>> I'll take a look at that.  In the meantime, here is where I'm at.  I
>> found "An Example to Get a Call Graph" slide here:
>> http://www.cs.rutgers.edu/~ryder/515/f05/lectures/Sootlecture-Weilei.pdf
>>
>> I implemented the example, so my code looks like this:
>>
>> public class MyTransformer extends SceneTransformer {
>>
>>   public static void main(String[] args) {
>>     if(args.length == 0) System.exit(-1);
>>     PackManager.v().getPack("wjtp").
>>       add(new Transform("wjtp.mytransform", MyTransformer.v()));
>>     soot.Main.main(args);
>>   }
>>
>>   private static MyTransformer instance = null;
>>   public static MyTransformer v() {
>>     if(instance == null)
>>       return (instance = new MyTransformer());
>>     return instance;
>>   }
>>
>>   protected void internalTransform (String phaseName, Map options) {
>>     CallGraph cg = Scene.v().getCallGraph();
>>     System.out.println("call graph: " + cg);
>>   }
>> }
>>
>> So I try to run it as the next slide says: java YourMain --app -p
>> cg.spark on-fly-cg:true -w TargetJavaApplication
>>
>> And at first I get: Exception in thread "main"
>> java.lang.RuntimeException: couldn't find class: javax.crypto.Cipher (is
>> your soot-class-path set properly?)
>>
>> My soot-class-path is apparently not set properly.  So then I run it
>> setting the soot-classpath to include rt.jar, jce.jar and jsse.jar.  So
>> I run it again like this:
>>
>>  java analysis.getcallgraph.MyTransformer -soot-classpath
>> ".:/usr/lib/jvm/java-6-sun-1.6.0.00/jre/lib/rt.jar:/usr/lib/jvm/java-6-sun-1.6.0.00/jre/lib/jce.jar:/usr/lib/jvm/java-6-sun-1.6.0.00/jre/lib/jsse.jar" 
>>
>> --app -p cg.spark on-fly-cg:true -w analysis.examples.Foo
>>
>> Now this gets me further, but I still have the following error:
>>
>> Soot started on Tue Jul 17 19:57:12 EDT 2007
>> [Call Graph] For information on where the call graph may be incomplete,
>> use the verbose option to the cg phase.
>> [Spark] Pointer Assignment Graph in 6.3 seconds.
>> [Spark] Type masks in 1.0 seconds.
>> [Spark] Pointer Graph simplified in 0.0 seconds.
>> Exception in thread "main" java.lang.RuntimeException: This operation
>> requires resolving level HIERARCHY but java/lang/Object; is at resolving
>> level DANGLING
>>
>> Not sure what resolving level hierarchy means and how exactly I fix
>> this.  Any ideas?
>>
>> Thanks,
>> Armand
>>
>>
>> Chris Pickett wrote:
>> > And by the way, I think you may as well update to the SVN trunk... no
>> > promises though :)
>> >
>> > Chris Pickett wrote:
>> >> Hi Armand,
>> >>
>> >> I would try searching the Soot source code for SceneTransformer.
>> >>
>> >> Chris
>> >>
>> >> Armand Navabi wrote:
>> >>> Anyone know of a complete example that demonstrates interprocedural
>> >>> analysis in Soot?  I have been able to find many intraprocedural
>> >>> data flow analyses, but the survivor's guide (and any other tutorial
>> >>> I have found) only contain bits and pieces of code for
>> >>> interprocedural analysis.  Another problem is that I am using soot
>> >>> 2.2.2 and it seems that everything I find is for older versions of
>> >>> soot.
>> >>>
>> >>> While I have been able to implement any intraprocedural analysis I
>> >>> want, I have played around a lot with it and have been unable to get
>> >>> anything interprocedural working.  Any small example online or in a
>> >>> tutorial?  Even something as simple as getting the call graph and
>> >>> then printing all the methods that could potentially be called at a
>> >>> call site.
>> >>>
>> >>> Thanks,
>> >>> Armand
>> >>>
>> >>>
>> >>> _______________________________________________
>> >>> 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
>>
>
>