Does svf implement type matching？

[zz-fz-john]

I want to know whether svf has implemented type matching, which means that the return type and parameter type of the call site and the target function must be consistent.

[yuleisui]

Which analysis you are referring to?

[zz-fz-john]

Which analysis you are referring to?

AndersenWaveDiff

[yuleisui]

For indirect call solving, yes.

SVF/svf/lib/MemoryModel/PointerAnalysis.cpp

Lines 386 to 408 in 7592349

	assert(pag->isIndirectCallSites(cs) && "not an indirect callsite?");
	/// discover indirect pointer target
	for (PointsTo::iterator ii = target.begin(), ie = target.end();
	ii != ie; ii++)
	{
	if(getNumOfResolvedIndCallEdge() >= Options::IndirectCallLimit())
	{
	wrnMsg("Resolved Indirect Call Edges are Out-Of-Budget, please increase the limit");
	return;
	}
	if(ObjVar* objPN = SVFUtil::dyn_cast<ObjVar>(pag->getGNode(*ii)))
	{
	const MemObj* obj = pag->getObject(objPN);
	if(obj->isFunction())
	{
	const SVFFunction* calleefun = SVFUtil::cast<SVFFunction>(obj->getValue());
	const SVFFunction* callee = calleefun->getDefFunForMultipleModule();
	if(SVFUtil::matchArgs(cs->getCallSite(), callee) == false)
	continue;