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

[Steven Arzt]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150105/4de69c0f/attachment.html