Re: [abc-users] Determine a basic block

From: Amjad Nusayr <anusayr_at_cs.nmsu.edu>
Date: Thu, 17 Apr 2008 13:05:49 -0600

Hi Eric
I'm trying to generate the .class files as you told me but I'm getting
an error. I dont know if its a class-path error. (Should I set an
environment variable for Soot? if yes, how should it look like?).
anyways here is what I get:

F:\helloworld\p1>java -cp f:\bbs\lib\abc-complete.jar;. soot.Main
Hello.jimple World.jimple
Soot started on Thu Apr 17 12:59:00 MDT 2008
Exception in thread "main" java.lang.RuntimeException: couldn't find
class: Hello.jimple (is your soot-class-path set properly?)
        at soot.SootResolver.bringToHierarchy(SootResolver.java:139)
        at soot.SootResolver.bringToSignatures(SootResolver.java:172)
        at soot.SootResolver.processResolveWorklist(SootResolver.java:104)
        at soot.SootResolver.resolveClass(SootResolver.java:89)
        at soot.Scene.loadClass(Scene.java:335)
        at soot.Scene.loadClassAndSupport(Scene.java:320)
        at soot.Scene.loadNecessaryClass(Scene.java:867)
        at soot.Scene.loadNecessaryClasses(Scene.java:886)
        at soot.Main.run(Main.java:170)
        at soot.Main.main(Main.java:146)

I know that I have Hello.jimple nad World.jimple in my current
directory. and I tried the following command.

java -cp f:\bbs\lib\abc-complete.jar;. soot.Main
f:\helloworld\p1\Hello.jimple F:\helloworld\p1\World.jimple

and I got the same exception!

What did I do wrong this time?

Amjad

Eric Bodden wrote:
> Hi again.
>
> I cannot quite see what's wrong with your Jimple code but I suspect
> that you are weaving into positions for which it is not advisable to
> weave into. (Bytecode has certain constraints on the code layout that
> needs to be adhered to.)
>
> You should be able to debug this easier by playing with the generated
> Jimple code. You can actually feed back the .jimple files to Soot:
>
> java -cp abc-complete.jar soot.Main Hello.jimple World.jimple. This
> generates .class files which you can then try to run. Try to modify
> the two jimple files (e.g. by removing statements) until the code
> verifies. This should give you an idea of what could be the problem.
>
> Hope that helps.
>
> Eric
>
>
Received on Thu Apr 17 2008 - 20:05:53 BST

This archive was generated by hypermail 2.2.0 : Thu Apr 17 2008 - 20:30:11 BST