[Soot-list] Position Tagger

[Tristan RATCHFORD]

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