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

[Eric Bodden]

> - My memory is a bit fuzzy.  Does setting cs-demand:true just call the
> refinement-based analysis on all variables?  If so, then this should work,
> but you may want to consider querying only the variables you care about.  If
> you don't care about performance though, your settings are fine (except for
> the possible quota issue that Eric mentions).

cs-demand:true does basically the following:

Scene.v().setPointsToAnalysis(new
DemandCSPointsTo(Scene.v().setPointsToAnalysis()));

So as long as you access the points-to analysis via...

a = Scene.v().setPointsToAnalysis();
a.reachingObject(l);

... you should be fine.

Eric

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