[Soot-list] Soot-list Digest, Vol 53, Issue 10
dragonwang
dragonwanghuai at gmail.com
Tue Sep 8 23:53:42 EDT 2009
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. Cannot get self-defined Tags D (dragonwang)
> 2. Re: Cannot get self-defined Tags D (Eric Bodden)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Tue, 08 Sep 2009 17:20:54 +0800
> From: dragonwang <dragonwanghuai at gmail.com>
> Subject: [Soot-list] Cannot get self-defined Tags D
> To: soot-list at sable.mcgill.ca
> Message-ID: <4AA621F6.6030709 at gmail.com>
> Content-Type: text/plain; charset="iso-8859-1"
>
> 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-0001.obj
>
> ------------------------------
>
> Message: 2
> Date: Tue, 8 Sep 2009 13:29:58 +0200
> From: Eric Bodden <bodden at st.informatik.tu-darmstadt.de>
> Subject: Re: [Soot-list] Cannot get self-defined Tags D
> To: dragonwang <dragonwanghuai at gmail.com>
> Cc: soot-list at sable.mcgill.ca
> Message-ID:
> <804e3c660909080429u56103aa4pf560d443e8e3239c at mail.gmail.com>
> Content-Type: text/plain; charset=ISO-8859-1
>
> Hi Martin.
>
> Unfortunately I cannot test-run the code because it references some
> pathfinder library that I don't have. But I had a look at Soot because
> I remember having problems with this myself. I think the problem is
> that your Tag has to extend soot.tagkit.JasminAttribute because only
> such tags are actually written out into Jasmin (which is the
> representation that then gets converted into bytecode).
>
> Also, the subclass soot.tagkit.CodeAttribute could be helpful.
>
> I have never tried writing out custom attributes with Soot but I am
> sure others have, so maybe someone else can be of more help when it
> comes to using these classes.
>
> Eric
>
> P.S. I saw that you invoke soot.Main.main(...) on every class
> separately. You can instead just pass all classes to Soot at once -
> that is more efficient.
>
>
>
> 2009/9/8 dragonwang <dragonwanghuai at gmail.com>:
>
>> 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
>>
>>
>> /
>> /
>>
>>
>>
>>
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>
>>
>>
>
>
>
>
Hi, Eric:
---"I think the problem is
that your Tag has to extend soot.tagkit.JasminAttribute because only
such tags are actually written out into Jasmin (which is the
representation that then gets converted into bytecode).
Also, the subclass soot.tagkit.CodeAttribute could be helpful."
I have tried to extend MyTag from soot.tagkit.JasminAttribute and
soot.tagkit.CodeAttribute respectively. Unfortunately, none works
in sense that no self-defined tags are kept in the final instrumented
class files.
--"You can instead just pass all classes to Soot at once -
that is more efficient."
Do we have any way to change the output directories of several
instrumented class files with one
statement please?
Regards
Martin
More information about the Soot-list
mailing list