[Soot-list] Multiple runs of Soot

[Eric Bodden]

Hi Campbell.

I don't know what, but you must be doing something wrong.

For me, Soot produces from this class...


public class Foo {
	
	public static void main(String[] args) {
		System.err.println("soso");
	}

}


... this file...

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

/*[args]*/
    public static void main(java.lang.String[])
    {
        java.lang.String[] args;
        java.io.PrintStream temp$0;

        args := @parameter0: java.lang.String[];
/*Source Line Pos Tag: sline: 4 eline: 4 spos: 26 epos: 38 file: Foo.java*/
        temp$0 = <java.lang.System: java.io.PrintStream err>;
/*Source Line Pos Tag: sline: 5 eline: 5 spos: 3 epos: 29 file: Foo.java*/
        virtualinvoke temp$0.<java.io.PrintStream: void
println(java.lang.String)>("soso");
/*Source Line Pos Tag: sline: 5 eline: 5 spos: 3 epos: 29 file: Foo.java*/
        return;
/*Source Line Pos Tag: sline: 5 eline: 5 spos: 3 epos: 29 file: Foo.java*/
    }

/*[]*/
    public void <init>()
    {
        Foo this;

        this := @this: Foo;
/*2*/
        specialinvoke this.<java.lang.Object: void <init>()>();
/*2*/
        return;
/*2*/
    }
}


.... using this command line:

-f J -cp .:/System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Classes/classes.jar
-keep-line-number -print-tags -src-prec java Foo

I guess something must be wrong with your soot-class-path or
something. Note that Soot must be able to find your *source* files on
the soot-class-path.

Eric

2009/7/21 Campbell Morrison <cammorr at gmail.com>:
> I'm currently bypassing my program and running Soot as a standalone
> program.  I run Soot with the command:
> java soot.Main -f J -d /foo/bar --soot-classpath /class/path
> -keep-line-number -print-tags -src-prec java testClass and then look in the
> output file testClass.jimple.  From what I see it's still just
> LineNumberTag, and not SourceLnPosTag.
>
> On Mon, Jul 20, 2009 at 6:37 PM, Eric Bodden <eric.bodden at mail.mcgill.ca>
> wrote:
>>
>> I think a LineNumberTag in cases where a class is loaded from
>> bytecode. In that case, there is no column information available, and
>> hence Soot uses another Tag. Are you sure that Soot loads classes from
>> source code in your case?
>>
>> This may help:
>> http://www.sable.mcgill.ca/pipermail/soot-list/2005-July/000313.html
>>
>> Eric
>>
>> 2009/7/20 Campbell Morrison <cammorr at gmail.com>:
>> > I already have -keep-line-number and -keep-offset as arguments to
>> > soot.Main.main(..) for some of the operations I do, but SourceLnPosTag
>> > is
>> > never added to the Jimple units.  The only tags added are
>> > http://www.sable.mcgill.ca/soot/doc/soot/tagkit/LineNumberTag.html and
>> > http://www.sable.mcgill.ca/soot/doc/soot/tagkit/BytecodeOffsetTag.html
>> >
>> > I followed Soot's code around a bit and found that in
>> > http://www.sable.mcgill.ca/soot/doc/soot/PackManager.html a
>> >
>> > http://www.sable.mcgill.ca/soot/doc/soot/jimple/toolkits/annotation/LineNumberAdder.html
>> > is instantiated and run.  This adder only adds the LineNumberTag to
>> > units.
>> > I can't find where or how
>> > http://www.sable.mcgill.ca/soot/doc/soot/tagkit/SourceLnPosTag.html is
>> > added
>> > to Jimple units.
>> >
>> > Perhaps it has to do with where my transformer is added?  Before running
>> > Soot, I add my own transformer with this line:
>> > PackManager.v().getPack( "jtp" ).add( new Transform( "jtp.trueexec",
>> > SymbolicTransformer.v()));
>> >
>> >
>> > On Mon, Jul 20, 2009 at 2:15 PM, Eric Bodden
>> > <eric.bodden at mail.mcgill.ca>
>> > wrote:
>> >>
>> >> Hi again.
>> >>
>> >> > I use Soot to read in the Java class files and generate Jimple, so I
>> >> > never
>> >> > directly look at the Java source code or the AST.  I only work with
>> >> > the
>> >> > resulting Jimple code.  Can I add the SourceLnPosTag to the Jimple
>> >> > statements without creating another transformer?  (For example using
>> >> > -keep-line-number input command for line number tag)
>> >>
>> >> Yes, simply pass -keep-line-number as an argument to
>> >> soot.Main.main(..) when you call it.
>> >>
>> >> Eric
>> >> --
>> >> Eric Bodden
>> >> Sable Research Group, McGill University
>> >> Montréal, Québec, Canada
>> >
>> >
>>
>>
>>
>> --
>> Eric Bodden
>> Sable Research Group, McGill University
>> Montréal, Québec, Canada
>
>



-- 
Eric Bodden
Sable Research Group, McGill University
Montréal, Québec, Canada