Merge pull request #1031 from timmyyuan/ting/connect-variadic-callee

Connect variadic callees in the call graph

svf/lib/MemoryModel/PointerAnalysis.cpp

@@ -409,7 +409,7 @@ void PointerAnalysis::resolveIndCalls(const CallICFGNode* cs, const PointsTo& ta
                 const SVFFunction* callee = calleefun->getDefFunForMultipleModule();
 
                 /// if the arg size does not match then we do not need to connect this parameter
-                /// even if the callee is a variadic function (the first parameter of variadic function is its paramter number)
+                /// unless the callee is a variadic function (the first parameter of variadic function is its paramter number)
                 if(matchArgs(cs, callee) == false)
                     continue;
 
@@ -434,7 +434,7 @@ void PointerAnalysis::resolveIndCalls(const CallICFGNode* cs, const PointsTo& ta
  */
 bool PointerAnalysis::matchArgs(const CallICFGNode* cs, const SVFFunction* callee)
 {
-    if(ThreadAPI::getThreadAPI()->isTDFork(cs->getCallSite()))
+    if(callee->isVarArg() || ThreadAPI::getThreadAPI()->isTDFork(cs->getCallSite()))
         return true;
     else
         return SVFUtil::getSVFCallSite(cs->getCallSite()).arg_size() == callee->arg_size();