[Soot-list] Position Tagger

[Eric Bodden]

I am not sure why this isn't working for you but for me it works. Are
you maybe using an outdated version of Soot?

I just tried this with the SVN trunk:

java soot.Main -f J -keep-line-number -print-tags -src-prec java Main

This results in a file Main.jimple looking like this:

public class Main extends java.lang.Object
{
/*Main.java*/

/*[args]*/
    public static void main(java.lang.String[])
    {
        java.lang.String[] args;
        int x, i, temp$0, temp$1, temp$2, temp$3;

        args := @parameter0: java.lang.String[];
/*Source Line Pos Tag: sline: 7 eline: 7 spos: 26 epos: 38 file: Main.java*/
        i = 0;
/*Source Line Pos Tag: sline: 9 eline: 9 spos: 7 epos: 13 file: Main.java*/

...

So clearly the tags are present.

Eric

--
Dr. Eric Bodden
Software Technology Group, Technische Universität Darmstadt, Germany
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt



On 13 March 2010 04:41, Humberto sousa pacheco <humbertocin at gmail.com> wrote:
> I have the same problem, only see the LineNumberTag. I would see the column
> number too.
>
>
> On Fri, Mar 12, 2010 at 6:08 PM, Tristan RATCHFORD <tratch at cs.mcgill.ca>
> wrote:
>>
>> Hi Eric,
>>
>> You were indeed right that I was processing the bytecode files rather
>> than the Java source files, but even after i corrected this I still only
>> see the LineNumberTag. I set the soot options as follows:
>>
>>         opt.set_src_prec(Options.src_prec_java);
>>
>> opt.set_process_dir(Util.getProjectSourcePathList(aProject));    //gets
>> the src root dirs
>>         String lJarPath = Util.getJarPath(aProject);
>>         String lSrcPath = Util.getProjectSourcePath(aProject);
>>         opt.set_soot_classpath(lJarPath+lSrcPath);
>>         opt.set_keep_line_number(true);
>>
>> Thanks again,
>>
>> Tristan
>>
>> On 12/03/10 02:51 AM, Eric Bodden wrote:
>> > Could it be that you are creating Jimple from bytecode instead of
>> > source code (maybe by accident)? LineNumberTags normally model line
>> > numbers in bytecode if I remember correctly.
>> >
>> > Eric
>> >
>> > --
>> > Dr. Eric Bodden
>> > Software Technology Group, Technische Universität Darmstadt, Germany
>> > Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
>> > Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt
>> >
>> >
>> >
>> > On 12 March 2010 01:30, Tristan RATCHFORD<tratch at cs.mcgill.ca>  wrote:
>> >
>> >> Hi Eric,
>> >>
>> >> I run through each Jimple Unit that is visited in my analysis with the
>> >> Eclipse debugger and the only tags present are the LineNumberTags.
>> >>
>> >> Tristan
>> >>
>> >> On 11/03/10 04:54 PM, Eric Bodden wrote:
>> >>
>> >>>> This information should be sufficient to accomplish what I am trying
>> >>>> to
>> >>>> do,
>> >>>> but I still can't seem to get the SourceLnPosTag in the TagList of a
>> >>>> Unit.
>> >>>> When I set the option, set_keep_line_number(true), all I get is a Tag
>> >>>> of
>> >>>> type LineNumberTag. Can you tell me which option includes the
>> >>>> SourceLnPosTag?
>> >>>>
>> >>>>
>> >>> Actually this should just work.  But it may be the case that not all
>> >>> units have line numbers, due to several transformations that Soot
>> >>> makes. Has none of your units line numbers or are just some missing
>> >>> this info?
>> >>>
>> >>> Eric
>> >>>
>> >>>
>> >>
>> >>
>>
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>
> thanks
> --
> Humberto S. Pachêco - hsp
>