[Soot-list] Point-to-set Analysis

[Marjan Radi]

Hi,
I am using soot to perform pont-to-set analysis by following code: for (MethodAnalysis methodAnalysis : allAnalysis.values()) {            SootMethod method = methodAnalysis.getMethod();            ExceptionalUnitGraph graph = methodAnalysis.getGraph();
            Iterator<Unit> iter = graph.iterator();            while (iter.hasNext()) {                Unit unit = iter.next();                List<ValueBox> valueBoxes = unit.getUseAndDefBoxes();                for (ValueBox valueBox : valueBoxes) {                     Value value = valueBox.getValue();                       if (value instanceof Local) {                            Local local = (Local) value;                            PointsToSet localPTSet = pta.reachingObjects(local);                            PointsToSet deadlinePTSet = pointsToSetMap.get(loc);                            if(localPTSet.hasNonEmptyIntersection(deadlinePTSet)) {}                                                  }                    }
                }            }
The problem is that "if (value instanceof Local){} " statement is never executed. Is there any way to solve this issue? Can you give me a sample code on point-to-set analysis?
Regards,Marjan        
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150706/3a1c7429/attachment.html