Merge pull request #987 from seviezhou/patch-1

Exclude sources in functions that have summary
SVF-tools · Jan 6, 2023 · ee72c50 · ee72c50
2 parents 06201be + 6af3140
commit ee72c50
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/svf/lib/SABER/LeakChecker.cpp b/svf/lib/SABER/LeakChecker.cpp
@@ -86,8 +86,8 @@ void LeakChecker::initSrcs()
                     // otherwise, this is the source we are interested
                     else
                     {
-                        // exclude sources in dead functions
-                        if (cs->getCallSite()->ptrInUncalledFunction() == false)
+                        // exclude sources in dead functions or sources in functions that have summary
+                        if (!cs->getCallSite()->ptrInUncalledFunction() && !isExtCall(cs->getCallSite()->getParent()->getParent()))
                         {
                             addToSources(node);
                             addSrcToCSID(node, cs);