[Soot-list] How do we track Jimple's 'lengthof' ?

[Eric Bodden]

Hi.

> I don't see how to parse  array's length in Jimple.  For example, how can we
> parse   the right-hand side of "$i7 = lengthof r1". (x=y.length) ?

This should be a LengthExpr.

Eric