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

[Eric Bodden]

To rule out the first case:

If you enable Soot's timers on the command line then you should see a
line that says "Initialized on-demand refinement-based
context-sensitive analysis" being printed out.

Eric

2008/7/8 Eric Bodden <eric.bodden at mail.mcgill.ca>:
> 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
>



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