[Soot-list] Fwd: VerifyError while instrumenting with Chain.insertBefore() method.

[Neetha Maria Sebastian]

Here are some jimple files created by my program :

TestInstrumenting.jimp is from the file :

public class TestInstrumenting {

public static int c;
public static void methodA() {
 int a = 2, c = 100;
}
 public static void main(String args[]) {

int a = 10;
 boolean b = false;
if(b) {
System.out.println("inside If condition");
 } else if( a < 5 ){
System.out.println("inside else condition");
 }
if (c < 0) {
System.out.println("inside the c if");
 } else {
System.out.println("inside the c else");
}

}
}

The others are jimp files generated for some java libraries.

Thanks!
Neetha

On Tue, Jun 15, 2010 at 4:49 PM, Patrick Lam <plam at cs.mcgill.ca> wrote:

> On 06/15/10 16:32, Neetha Maria Sebastian wrote:
>
>> I have not had success passing these options to soot. I tried to include
>> it in the call to soot.Main.main() but it said they were not valid args.
>>
>> The class file gets called from an ant file like this :
>>
>> <java
>> classname="javato.activetesting.instrumentor.InstrumentorForActiveTesting"
>>               fork="true" dir="${javato.work.dir}" maxmemory="1024m">
>> <arg value="-keep-line-number"/>
>> <arg line="${javato_instops}"/>
>> <arg value="-no-output-inner-classes-attribute"/>
>> <arg value="-d"/>
>> <arg file="${javato.work.dir}/tmpclasses"/>
>> <arg value="-x"/>
>> <arg value="javato"/>
>> <arg value="--app"/>
>> <arg value="${javato.app.main.class}"/>
>>
>
> <arg value="-f"/>
> <arg value="j"/>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100615/b5c435e1/attachment-0001.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: benchmarks.testcases.TestInstrumenting.jimp
Type: application/octet-stream
Size: 3575 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100615/b5c435e1/attachment-0003.obj 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: benchmarks.dstest.MTTreeSetTest.jimp
Type: application/octet-stream
Size: 8851 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100615/b5c435e1/attachment-0004.obj 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: benchmarks.dstest.MTSetTest.jimp
Type: application/octet-stream
Size: 18657 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100615/b5c435e1/attachment-0005.obj