[Soot-list] spark points to analysis

[salim bansal]

I am using spark points to analysis and have following options along with
whole program mode and spark enabled

        opt.put("propagator","worklist");
        opt.put("set-impl","double");
        opt.put("double-set-old","hybrid");
        opt.put("double-set-new","hybrid");
        opt.put("cs-demand","true");
        opt.put("on-fly-cg","true");
        opt.put("ignore-types","false");
        opt.put("passes","100");
But for following source code :
          SuperClass a = new SubClass();

...
...
...

a.method1();

method1() is overriden in SubClass. And 'a' can be either method local
variable or class variable.
But when I do

Scene.v().getPointsToAnalysis().reachingObjects(<local pointing to
a>).possibleTypes()

It is either empty or has just one value SuperClass instead of SubClass.
Is there something wrong the way I am using spark points to analysis?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130225/acc9f6c2/attachment.html