[Soot-list] Right way to recognize a temporary JimpleLocal (like $r1) ?

[Z]

Hello,

I am prototyping a toy points-to analysis. Temporary local reference
variables starting with dollar '$' are used as points-to targets. It is
thus necessary for me to be able to distinguish a temporary variable like
'$r1' with ordinary ones without the starting dollar, like r2.

What is the right way to recognize a JimpleLocal starting with dollar signs?

The naive hack fails: the toString or getName method of a temporary local
returns the variable name after removing  dollar sign beforehand, so  it is
not possible to recognize them through their toString or getName methods.

Thanks for your ideas.

Zell.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120719/7ebb33f3/attachment.html