[Soot-list] Problem with SOOT: no defs for value
Eric Bodden
bodden at st.informatik.tu-darmstadt.de
Mon May 31 06:39:19 EDT 2010
Hi Matteo.
I also cannot find anything wrong with the generated code, but I am
sure that we are overlooking something. In my experience, Soot is
always right when it comes to such things. It may help to use a
debugger to determine what exactly causes Soot to generate this error
message. The appropriate code should be in soot.Body.validateUses(). I
recommend just setting a breakpoint there and looking at the context.
Eric
--
Dr. Eric Bodden
Software Technology Group, Technische Universität Darmstadt, Germany
Tel: +49 6151 16-5478 Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt
On 31 May 2010 11:14, Matteo Miraz <matteo.miraz at gmail.com> wrote:
> Dear all,
>
> I’m using SOOT to modify some classes and insert some instrumentation
> (for now, to track the basic block coverage). However, I have an error
> when I try to instrument the following method:
>
> package dummy;
> public class Instrumenter1 {
>
> public int emptyCatch(Object o) {
> try {
> return o.hashCode();
> } catch (Exception e) {
> return -1;
> }
> }
>
> }
>
> The jimple of such method is:
> Method: <dummy.Instrumenter1: emptyCatch(Ljava/lang/Object;)I>
> --- locals ---
> r0 : dummy.Instrumenter1
> r1 : java.lang.Object
> r2 : java.lang.Exception
> $i0 : int
> $r3 : java.lang.Exception
> --- units ---
> 0 r0 := @this: dummy.Instrumenter1
> 1 r1 := @parameter0: java.lang.Object
> 2 $i0 = virtualinvoke r1.hashCode()
> 3 return $i0
> 4 $r3 := @caughtexception
> 5 r2 = $r3
> 6 return -1
> --- traps ---
> 2-3 -> (java.lang.Exception) -> 4
>
> The instrumented version becomes:
> --- locals ---
> r0 : dummy.Instrumenter1
> r1 : java.lang.Object
> r2 : java.lang.Exception
> $i0 : int
> $r3 : java.lang.Exception
> __throwable_exc__ : java.lang.Throwable
> __testful__white_tracker__ : testful.coverage.whiteBox.TrackerWhiteBox
> __testful_white_condition_target__ : int
> __testful_white_tmp_double_1__ : double
> __testful_white_tmp_double_2__ : double
> --- units ---
> 0 r0 := @this: dummy.Instrumenter1
> 1 r1 := @parameter0: java.lang.Object
> 2 __testful__white_tracker__ = staticinvoke
> testful.coverage.whiteBox.TrackerWhiteBox.getTracker()
> 3 __testful_white_condition_target__ = virtualinvoke
> __testful__white_tracker__.getConditionTargetId()
> 4 virtualinvoke __testful__white_tracker__.trackBasicBlock(8)
> 5 $i0 = virtualinvoke r1.hashCode()
> 6 goto 9
> 7 __throwable_exc__ := @caughtexception
> 8 throw __throwable_exc__
> 9 virtualinvoke __testful__white_tracker__.trackBasicBlock(9)
> 10 return $i0
> 11 virtualinvoke __testful__white_tracker__.trackBasicBlock(10)
> 12 $r3 := @caughtexception
> 13 r2 = $r3
> 14 return -1
> 15 __throwable_exc__ := @caughtexception
> 16 throw __throwable_exc__
> --- traps ---
> 5-7 -> (java.lang.Throwable) -> 7
> 4-15 -> (java.lang.Throwable) -> 15
> 4-11 -> (java.lang.Exception) -> 11
>
> To track basick blocks, I use an instance of
> testful.coverage.whiteBox.TrackerWhiteBox, which provides method
> trackBasicBlock(int) to track them. Unit 2 retrieves an instance of
> such class, which is stored in the local __testful__white_tracker__.
> It is at the beginning of the method, hence it should reach all the
> subsequent uses.
> However, SOOT fails to create the bytecode, and it outputs the following error:
> no defs for value: __testful__white_tracker__! in
> <dummy.Instrumenter1: int emptyCatch(java.lang.Object)>
>
> Can anybody help me?
> Matteo
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
More information about the Soot-list
mailing list