[Soot-list] whole-program-mode is set on, but getPointsToAnalysis is still of DumbPointerAnalysis type

[Marc-Andre Laverdiere-Papineau]

Hello Zell,

I tend to be overkill when I set my options, maybe you can try the same :)

     "cg,enabled:true",
     "cg,implicit-entry:false",
     "cg.cha,enabled:false",
     "cg.spark,enabled:true",
     "cg.spark,field-based:false",
     "cg.spark,vta:false",
     "cg.spark,rta:false",
     "cg.paddle,enabled:false",
     "cg.spark,geom-pta:false",
     "wjtp,enabled:true"

That being said, the usual answer you'd get from the list is 'pass the 
options to soot main' :)

So I suggest you first try the overkill method, and if that doesn't 
work, please change your code to use soot main.
And the next step is to try the 'develop' branch. We are close to a new 
release, so the code should be very good at this point.


Marc-André Laverdière-Papineau
Doctorant - PhD Candidate

On 13-03-18 07:20 AM, Zhoulai wrote:
> Hello,
>
> I don't see why my Scene.v().getPointsToAnalysis always gets the
> DumbPointerAnalysis while I have already set whole-program-mode and the
> phase cg.spark.
> /
>          soot.options.Options.v().set_whole_program(true);
>          soot.options.Options.v().setPhaseOption("cg.spark","enabled:true");
>
>          System.out.printf("whole_program=%s, pta_type=%s \n",
>                  Options.v().whole_program(),
>                  Scene.v().getPointsToAnalysis().getClass()
>                  );/
>
> The output result is
>
> /whole_program=true, pta_type=class
> soot.jimple.toolkits.pointer.DumbPointerAnalysis
> /
> which is unepected for 'pta_type'.
>
>   Any ideas?Thanks.
>
>
> -Zell
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>