[Soot-list] Getting the java source line number in FlowDroid

[Ashish Mishra]

Hi Steven,

AFAIK ASM is the default java front end for soot. I am not sure how i can
test with COFFI in FlowDroid. As said i am adding the keep_line_number
option before the dummyMain is generated and if I am not wrong line numbers
should be available.

I have a doubt about the "tag" pack , Do i need to apply this pack to get
the line (I think NO) number and why i get an exception "Wrong pack" when
doing that.

regards




On Mon, Jan 5, 2015 at 9:51 PM, Steven Arzt <Steven.Arzt at cased.de> wrote:

> Hi Ashish,
>
>
>
> The source line numbers should be available with both the COFFI and the
> ASM frontend. You may want to try the –coffi command-line option to
> double-check, though. I am however not aware of any issues in that
> direction in the ASM frontend.
>
>
>
> Best regards,
>
>   Steven
>
>
>
> *Von:* soot-list-bounces at CS.McGill.CA [mailto:
> soot-list-bounces at CS.McGill.CA] *Im Auftrag von *Ashish Mishra
> *Gesendet:* Montag, 5. Januar 2015 11:50
> *An:* Bodden, Eric
> *Cc:* Soot list
> *Betreff:* Re: [Soot-list] Getting the java source line number in
> FlowDroid
>
>
>
> Hi Eric,
>
> Sorry for the late response,
>
>
>
> I "think" the class files are compiled with debug symbols as i can print
> the Local variable and line number table using *javap.*
>
>
>
> *Thanks *
>
>
>
>
>
>
>
> On Fri, Jan 2, 2015 at 9:00 PM, Bodden, Eric <
> eric.bodden at sit.fraunhofer.de> wrote:
>
> Hi Ashish.
>
> Hmm, ok then it seems that line numbers are really missing. Was the
> bytecode you are analyzing compiled with debug symbols?
>
> Cheers,
> Eric
>
>
> > On 01.01.2015, at 18:20, Ashish Mishra <ashish123.mishragkp at gmail.com>
> wrote:
> >
> > Hi Eric,
> > Using unit.getJavaSourceStartLineNumber() returns -1 , I looked that
> tagging occurs in a separate phase "tag" and tried explicit
> >
> > packManager.v().getPack("tag").apply()
> >
> > But "tag" phase is not recognized in the options.
> >
> > On Thu, Jan 1, 2015 at 6:30 PM, Bodden, Eric <
> eric.bodden at sit.fraunhofer.de> wrote:
> > Hi Ashish.
> >
> > I think you might be using the wrong tag. Please just try calling
> unit.getJavaSourceStartLineNumber()
> >
> > Cheers,
> > Eric
> >
> >
> > > On 01.01.2015, at 06:42, Ashish Mishra <ashish123.mishragkp at gmail.com>
> wrote:
> > >
> > > Hi List,
> > >
> > > I am trying to get the line number tag in flowFroid by setting
> Options.v().set_keep_line_number(true), in the InfoFlow.java in the
> soot.jimple.infoflow package  but the tag list associated with the Units is
> empty.
> > >
> > >
> > > I am trying to access the tag as follows
> > >
> > > LineNumberTag tag = (LineNumberTag)unit.getTag("LineNumberTag");
> > >
> > > but the tag is null as i mentioned
> > >
> > > Where am i mistaken? How can i get the line number in FlowDroid.. i
> can get it easily when creating my own Transformer in Soot and calling
> soot.Main by setting proper option.
> > >
> > > Please help!
> > >
> > > Thanks
> > >
> > > --
> > > Regards,
> > > Ashish Mishra
> > > Graduate Student,
> > > Computer Science and Automation Department,IISc
> > > Cell : +91-9611194714
> > > Mailto : ashishmishra at csa.iisc.ernet.in
> > >
> > > _______________________________________________
> > > Soot-list mailing list
> > > Soot-list at CS.McGill.CA
> > > https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
> >
> >
> >
> >
> > --
> > Regards,
> > Ashish Mishra
> > Graduate Student,
> > Computer Science and Automation Department,IISc
> > Cell : +91-9611194714
> > Mailto : ashishmishra at csa.iisc.ernet.in
>
>
>
>
>
> --
>
> Regards,
> Ashish Mishra
> Graduate Student,
> Computer Science and Automation Department,IISc
> Cell : +91-9611194714
> Mailto : ashishmishra at csa.iisc.ernet.in
>



-- 
Regards,
Ashish Mishra
Graduate Student,
Computer Science and Automation Department,IISc
Cell : +91-9611194714
Mailto : ashishmishra at csa.iisc.ernet.in
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150106/bb885a9e/attachment.html