[Soot-list] SourceLnPosTag bug?

[Eric Bodden]

Hi Jochen.

This looks like a bug to me. Source positions are often kind of
approximate but the precision could surely be much improved in this
case. If you raise a bug in Bugzilla then we may be able to fix this
before the next release.

Eric

On 3 March 2011 11:55, Jochen Huck <jochen.huck at student.kit.edu> wrote:
> Hi,
> I'm running soot with -src-prec java. This is a minimal example (I'm
> using the soot 2.4 release but the result is the same using the nightly
> build) :
>
> Source:
> 1 public class LineNumberTest {
> 2    public static void main(String[] args) {
> 3        foo();
> 4    }
> 5    public static int foo() {
> 6        return 42;
> 7    }
> 8 }
>
> Jimple:
> public class LineNumberTest extends java.lang.Object {
> //...
>     public static int foo() {
>         int temp$0;
>         temp$0 = 42;
>         return temp$0;
>     }
> //...
> }
>
> SourceLnPosTag says: line number 5 for unit tmp$0 = 42. I would expect
> it to be 6.
>
> Jochen
>
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Dr. Eric Bodden, http://bodden.de/
Principal Investigator in Secure Services at CASED
Coordinator of the CASED Advisory Board of Study Affairs
PostDoc at Software Technology Group, Technische Universität Darmstadt
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt