From 6af314091cdb8acc555cb0d6474d3b8be68f2899 Mon Sep 17 00:00:00 2001 From: azhou Date: Fri, 6 Jan 2023 09:52:01 +0800 Subject: [PATCH] Exclude sources in functions that have summary Refer to issue #986 --- svf/lib/SABER/LeakChecker.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/svf/lib/SABER/LeakChecker.cpp b/svf/lib/SABER/LeakChecker.cpp index 7e349ef8c..b045e583b 100644 --- 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);