Naming of Jimple Locals

[Amit Manjhi <manjhi@cs.cmu.edu>]

Hi,

I am trying to understand the naming of Jimple Locals, and am not
clear about whether the name of a Local should begin with a $ (stack
variable) or not. What are the differences? Moreover, if I need to
introduce a new local, how should I name it?

thanks,
-amit