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

[Rhodes H. F. Brown]

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.