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

[Eric Bodden]

Hmm, I don't see why this does not work for you. Judging from the
output, the analysis is definitely instantiated. Maybe you should try
it on a simple test case, e.g. a single class where context matters.
bloat is notoriously hard to handle and we never got really precise
points-to sets for it.

Eric

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