Merge pull request #981 from seviezhou/patch-2

Fix a bug in wrapper detection
SVF-tools · Dec 30, 2022 · a60d125 · a60d125
2 parents 6abb39b + 756cfd3
commit a60d125
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/svf/lib/SABER/SrcSnkDDA.cpp b/svf/lib/SABER/SrcSnkDDA.cpp
@@ -169,7 +169,7 @@ bool SrcSnkDDA::isInAWrapper(const SVFGNode* src, CallSiteSet& csIdSet)
                 }
                 else if(SVFUtil::isa<IntraIndSVFGEdge>(edge))
                 {
-                    if(SVFUtil::isa<LoadSVFGNode>(succ))
+                    if(SVFUtil::isa<LoadSVFGNode, IntraMSSAPHISVFGNode>(succ))
                     {
                         worklist.push(succ);
                     }