[Soot-list] line number support for android

[Alexandre Bartel]

Hi Tony,

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

I updated the code you can now use either SourceLineNumberTag or
LineNumberTag.

> 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.

Tags are now created for final fields. Just pull the latest version of
Soot's develop branch.

/Alex

> 
> 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
> >
> >