refine field-sensitive and array-insensitive pta

Fraunhofer-AISEC · Jul 20, 2022 · 6f42ece · 6f42ece
1 parent ab06807
commit 6f42ece
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lib/WPA/Andersen.cpp b/lib/WPA/Andersen.cpp
@@ -425,7 +425,7 @@ bool Andersen::processGepPts(const PointsTo& pts, const GepCGEdge* edge)
         // base object is always returned.
         for (NodeID o : pts)
         {
-            if (consCG->isBlkObjOrConstantObj(o))
+            if (consCG->isBlkObjOrConstantObj(o) || isFieldInsensitive(o))
             {
                 tmpDstPts.set(o);
                 continue;

diff --git a/lib/WPA/FlowSensitive.cpp b/lib/WPA/FlowSensitive.cpp
@@ -480,7 +480,7 @@ bool FlowSensitive::processGep(const GepSVFGNode* edge)
     {
         for (NodeID o : srcPts)
         {
-            if (isBlkObjOrConstantObj(o))
+            if (isBlkObjOrConstantObj(o) || isFieldInsensitive(o))
             {
                 tmpDstPts.set(o);
                 continue;