[Soot-list] one question about a mismatch between Jimple- and Java-representation

[Patrick Lam]

On 08/19/11 23:44, jiangfan shi wrote:

> But I am still thinking such translation is not consistent between Java
> and Jimple unless there is a fixed and implicit rule for the translator
> in Soot, which says that the first parameter, @parameter0, in Java will
> be translated to two local variables, r1 and r5, and that r5 exists
> because there is a use of @parameter0 in the body.

I don't see what you're trying to do. Why are you concerned that r1 
doesn't get changed? Please show me a case where this actually matters. 
The Jimple code is not necessarily supposed to resemble the original 
code. It is just supposed to have the same effect as the original code.

pat