[Soot-list] line number support for android

[Tony Yan]

Thanks, Alex!

>> > You can get line numbers with the SourceLineNumberTag

Does this mean that you use "SourceLineNumberTag" instead of
"LineNumberTag" to maintain the line number info?

In addition, do you maintain the "***ContantValueTag" for final fields
(e.g., IntegerConstantValueTag for `final int f = 1')? It doesn't seem
to be available for classes loaded from APK.

Thanks,
Tony

On Fri, Feb 1, 2013 at 1:13 PM, Alexandre Bartel
<alexandre.bartel at uni.lu> wrote:
> Hi Tony,
>
> You can get line numbers with the SourceLineNumberTag:
>
> Unit u = ...;
> SourceLineNumberTag l = (SourceLineNumberTag)
> u.getTag("SourceLineNumberTag");
> l.getLineNumber();
>
> /Alex
>
> On Thu, 2013-01-31 at 22:03 -0500, Tony Yan wrote:
>> Hi,
>>
>> Is line number maintained for Android classes read from dex file? I
>> turned on "-keep-line-number" and used the usual LineNumberTag way to
>> read line number, but it is not available.
>>
>> Thanks,
>> Tony
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>