[Soot-list] Context-Sensitive Spark with Static Method Binder

[Eric Bodden]

Hello.

Normally this should just work. There may be two reasons for what you
are seeing. Firstly it could be that the demand0driven analysis is not
at all invoked. That would be a bug. Does your analysis run longer
with "cs-demand:true" than with "cs-demand:false" ? Normally it
should.

The second reason may be that the quote is insufficient. If the
demand-driven analysis does not finish within its quota then it just
returns Spark's points-to set. To increase the quote see the
"traversal" and "passes" phase options.

Eric

2008/7/8 Rhodes H. F. Brown <rhodesb at cs.uvic.ca>:
> Hi all,
>
> I've been using soot to devirtualize the DaCapo & SPECjvm98 benchmarks
> (using the StaticMethodBinder) for comparison against another technique that
> I'm working on. In an effort to get results at several levels of precision,
> I've used the simple CHA call graph and the Spark default. I also tried
> enabling the new context-sensitive refinement, but was surprised to find
> that it seemed to be producing the same results as the Spark default
> (insensitive) analysis. I'm invoking soot using:
>
> soot -W -app -p cg jdkver:5 -p cg.spark on,cs-demand:true -p wjop.smb on -p
> wjop.si off <classes>
>
> Am I missing something? Do I need to do something more to have the refined
> call graph results used by the static method binder? The PLDI paper on the
> context-sensitive analysis focuses on cast elimination, but it seems that it
> ought to do at least a little better than the insensitive analysis on
> devirtualization too. Does anyone have any experience or insight that could
> be of assistance?
>
> Thanks,
>
> Rhodes Brown
> PhD Candidate in Computer Science
> University of Victoria
>
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



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