Re: [abc-users] Determine a basic block

Hi.

You should just state "Hello" on the command line, not "Hello.jimple".

Eric

On 17/04/2008, Amjad Nusayr <anusayr_at_cs.nmsu.edu> wrote:
> 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
> >
> >
> >
>
>
>

-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada