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

[Z]

Sorry I just found Paddle should be installed apart. It is not
installed by default.

On Fri, Feb 10, 2012 at 4:13 PM, Z <zell08v at orange.fr> wrote:
> 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
>>
>>