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

Rohan Padhye rohanpadhye at cse.iitb.ac.in
Mon Mar 18 07:48:57 EDT 2013


Are you sure you set the options before calling soot.Main.main() and are 
retrieving Scene.v().getPointsToAnalysis() only inside a transformer? I 
tried your code and you only get DumbPointerAnalysis before soot is 
actually run. After the cg phase, it should be soot.jimple.spark.pag.PAG.

On 03/18/2013 04:50 PM, 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130318/b0fbb431/attachment.html 


More information about the Soot-list mailing list