[Soot-list] Point-to-set Analysis

[Steven Arzt]

Hi Marjan,

 

If the values are not Locals, what else are they? You should step through the code with a debugger to see where you don’t find any values, i.e., whether the type is actually not a Local, but something else, or whether your loops are not executed in the first place.

 

Best regards,

  Steven

 

Von: soot-list-bounces at CS.McGill.CA [mailto:soot-list-bounces at CS.McGill.CA] Im Auftrag von Marjan Radi
Gesendet: Montag, 6. Juli 2015 03:16
An: Soot List
Betreff: [Soot-list] Point-to-set Analysis

 

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/b000210c/attachment-0001.html