[Soot-list] Convert Jimple Value to Bytecode reference

Patrick Lam plam at cs.mcgill.ca
Thu Aug 19 12:15:48 EDT 2010


On 19/08/10 12:13 PM, Eric Bodden wrote:
> Ah, now I see what you mean.
>
> The problem with variables is that there are no local variables in
> bytecode. Therefore, there is nothing to match them to. Java bytecode
> implements local variables through stack locations. I am not sure if
> this is of any help to you but this is the way it is...

We do some hacks with preserving some local variable names (-p jb 
use-original-names), and you can take a look at the code there to see if 
it'll help you.

pat



More information about the Soot-list mailing list