[Soot-list] PaddleTransformer.class not found in soot-2.5.0?

[Z]

Thank you for your replies.

I may be wrong, but I find PaddleTransformer.class is no more present
in soot-2.5.0's release.
My program from survivor's guide does not work, the compiler complains
it does not find that class.  Do I make something wrong here? The
following is the error mesage.

Would you help? Thanks in advance.
Zell.


bash-3.2$ javac -cp soot-2.5.0.jar
./pointsto/src/dk/brics/paddle/PointsToAnalysis.java
./pointsto/src/dk/brics/paddle/PointsToAnalysis.java:19: cannot find symbol
symbol  : class PaddleTransformer
location: package soot.jimple.paddle
import soot.jimple.paddle.PaddleTransformer;
                         ^
./Pointsto/src/dk/brics/paddle/PointsToAnalysis.java:123: cannot find symbol
symbol  : class PaddleTransformer
location: class dk.brics.paddle.PointsToAnalysis
		PaddleTransformer pt = new PaddleTransformer();
		^


On Fri, Feb 10, 2012 at 11:29 AM, Lei Shang <shang1982 at gmail.com> wrote:
> I think in default Spark doesn't produce output just as Eric said. But if
> you really want to dump the results, you
> need to turn on some dump options provided by Spark, like
>
>     java soot.Main -w -app cg.spark enabled:true,dump-solution:true ...
>
> Other useful dump options include: dump-answer, dump-pag and dump-html. To
> see the list of available options in Spark, you should get them by command
> "java soot.Main -ph cg.spark".
>
> However, just as Eric said, points-to analysis in most of the cases is
> rather a stand-alone task, but serve to provide points-to or alias
> information for many other analysis, like lockAllocator, mhp, escape
> analysis.
>
> Lei
>
>
> 2012/2/10 Eric Bodden <eric.bodden at ec-spride.de>
>>
>> > However, now mine works but it outputs no result at console in my
>> > Eclipse. I also observed that sootOutput directory is empty! So, where
>> > is the result finally? Sorry for such a question...
>>
>> The result it's not printed, it's being made available to you in the
>> form of two objects that you can access from a SceneTransformer using
>> Scene.v().getPointsToAnalysis() and Scene.v().getCallGraph(). Note
>> that Spark is not very useful on its own. Usually you want to
>> build other analyses that *use* Spark.
>>
>> Eric
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>