Fix a bug in wrapper detection

seviezhou · web-flow · commit 756cfd3d9556 · 2022-12-30T10:21:07.000+08:00
More details please see issue #980
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);
                     }

Original file line number	Diff line number	Diff line change
`@@ -169,7 +169,7 @@ bool SrcSnkDDA::isInAWrapper(const SVFGNode* src, CallSiteSet& csIdSet)`
`169`	`169`	`}`
`170`	`170`	`else if(SVFUtil::isa<IntraIndSVFGEdge>(edge))`
`171`	`171`	`{`
`172`		`- if(SVFUtil::isa<LoadSVFGNode>(succ))`
	`172`	`+ if(SVFUtil::isa<LoadSVFGNode, IntraMSSAPHISVFGNode>(succ))`
`173`	`173`	`{`
`174`	`174`	`worklist.push(succ);`
`175`	`175`	`}`