[Soot-list] Cannot get self-defined Tags D

[dragonwang]

soot-list-request at sable.mcgill.ca wrote:
> Send Soot-list mailing list submissions to
> 	soot-list at sable.mcgill.ca
>
> To subscribe or unsubscribe via the World Wide Web, visit
> 	http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> or, via email, send a message with subject or body 'help' to
> 	soot-list-request at sable.mcgill.ca
>
> You can reach the person managing the list at
> 	soot-list-owner at sable.mcgill.ca
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Soot-list digest..."
>
>
> Today's Topics:
>
>    1. Can not get LineNumberTag for some of the JVM98	benchmarks
>       (Kelvin Tian)
>    2. Re: Can not get LineNumberTag for some of the JVM98
>       benchmarks (Eric Bodden)
>    3. Re: Can not get LineNumberTag for some of the JVM98
>       benchmarks (Kelvin Tian)
>    4. Re: Can not get LineNumberTag for some of the JVM98
>       benchmarks (Eric Bodden)
>    5. Bug in soot.util.ArraySet (Khilan Gudka)
>    6. Re: Bug in soot.util.ArraySet (Eric Bodden)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Mon, 31 Aug 2009 15:12:31 -0400
> From: Kelvin Tian <kevinn.tian at gmail.com>
> Subject: [Soot-list] Can not get LineNumberTag for some of the JVM98
> 	benchmarks
> To: soot-list at sable.mcgill.ca
> Message-ID:
> 	<9846fcd40908311212q5ac40bb1w7082b4c8bcd84fc7 at mail.gmail.com>
> Content-Type: text/plain; charset="iso-8859-1"
>
> Hi,
>
>      I'm trying to instrument jvm98 benchmarks, and I need to get some
> information using LineNumberTag.  My program works well for most of the
> benchmarks, but for some benchmarks, such as Db, Mtrt, etc, LineNumberTag is
> null for some programs in these benchmarks. I'm confused why the
> LineNumberTag is empty only for some programs.  Are there any suggestions?
> Thanks a lot!
>
>
> --
> Best regards,
> Kelvin
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090831/355cdc57/attachment-0001.html 
>
> ------------------------------
>
> Message: 2
> Date: Mon, 31 Aug 2009 22:03:05 +0200
> From: Eric Bodden <bodden at st.informatik.tu-darmstadt.de>
> Subject: Re: [Soot-list] Can not get LineNumberTag for some of the
> 	JVM98	benchmarks
> To: Kelvin Tian <kevinn.tian at gmail.com>
> Cc: soot-list at sable.mcgill.ca
> Message-ID:
> 	<804e3c660908311303k6414d00dlaf9629f82f47efa0 at mail.gmail.com>
> Content-Type: text/plain; charset=ISO-8859-1
>
> Hi Kelvin.
>
> Please search the archives. The problem is likely that the class files
> were compiled with debug symbols disabled.
>
> Eric
>
> 2009/8/31 Kelvin Tian <kevinn.tian at gmail.com>:
>   
>> Hi,
>>
>> ???? I'm trying to instrument jvm98 benchmarks, and I need to get some
>> information using LineNumberTag.? My program works well for most of the
>> benchmarks, but for some benchmarks, such as Db, Mtrt, etc, LineNumberTag is
>> null for some programs in these benchmarks. I'm confused why the
>> LineNumberTag is empty only for some programs.? Are there any suggestions?
>> Thanks a lot!
>>
>>
>> --
>> Best regards,
>> Kelvin
>>
>>
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>
>>
>>     
>
>
>
>   
Dear Eric:

I try to instrument a class file by adding some probes into the .class 
file, and these probes are labeled
by a customized tag "MyTag". Additionally, I also write a 
"MyTagAggregator" to attach the probes with my tags.
Before I invoke soot.main.Main(), I have set the options like 
"-keep-line-numbers" and "print-tags". However, these
tags still missed in the final instrumented class files. Do you have any 
suggestions on this problem please?

I run my program on Eclipse 3.3.1.1 and JDK 1.5, the soot is downloaded 
from:

/ http://plg.uwaterloo.ca/~olhotak/build/sootclasses.jar<http://plg.uwaterloo.ca/%7Eolhotak/build/sootclasses.jar <http://plg.uwaterloo.ca/%7Eolhotak/build/sootclasses.jar%3Chttp://plg.uwaterloo.ca/%7Eolhotak/build/sootclasses.jar>>
/
And I also attach my source code files to illustrate my situations:

InstrumentMain: the entry point to instrument a class(for example: java InstrumentMain TestClass)
TestClass: class under test
MyTag & MyTagAggregator: self-defined tags and its aggregator
Instrument_block: the BodyTransformer to implement my own instrumentation, which adds probes into each block
Probe_block: self-defines probes to collect block/statement coverage information

Many Thanks  in advance!

Regards
Martin


/
/



-------------- next part --------------
A non-text attachment was scrubbed...
Name: MyInstrumenter.rar
Type: application/octet-stream
Size: 6819 bytes
Desc: not available
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20090908/48731583/attachment.obj