[Soot-list] Correct type of locals, and correct line numbers

[Eric Bodden]

Hi.

> The solution for (1) is to analyze
> the program's source code. But then the line numbers are not correct.
> The line numbers are correct if i analyze byte code.

What do you mean by "the line numbers are incorrect"? Please be more
specific. Soot has certainly produced (mostly) correct line numbers
from source code in the past.

Eric