[Soot-list] Convert Jimple Value to Bytecode reference

[Goichon Francois]

Hi Eric,

Thanks for the quick reply. When I find a special Value (a Local for  
example) while analyzing Jimple code, I would like to have any pointer  
to that variable in the original Bytecode. For example, the line at  
which its initial load instruction is.

It is just a matter of matching a variable used in a Jimple statement  
to a concrete Bytecode variable. I can find a unit's original line  
number with the associated LineNumberTag and would just like to know  
if there is a comparable mechanism to find a variable's definition.

Thanks,


François

> Hi Francois.
>
> What exactly do you mean by a bytecode reference?
>
> The way things normally work in Soot is as follows. Jimple code is
> converted to a format calles Jasmin, which is a textual format, a
> bytecode assembler. (you can inspect this by using "-f jasmin") Then
> this textual format is converted to bytecode using the Jasmin
> assembler. As far as I know there is no way to convert a single
> expression or statement to bytecode. IMHO that would also not make
> much sense.
>
> 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 19 August 2010 16:01, Goichon Francois  
> <francois.goichon at insa-lyon.fr> wrote:
>> Hi all,
>>
>> I am processing some Bytecode classes with Soot. I convert those
>> classes to Jimple to retrieve special variables. I then have Soot
>> Values that I need to convert back to their Bytecode reference, and I
>> can't find a way to do so. Is there a Tag or any wrapper capable to do
>> so ? Even for $ variables introduced by Jimple ?
>> Regards,
>>
>> François

--
François Goichon
INRIA/Amazones, CITI, INSA Lyon
FZI Forschungszentrum Informatik, Karlsruhe
francois.goichon at insa-lyon.fr / goichon at fzi.de