cloud9_root/src/cloud9/lib/Module/ProgramDependenceGraph.cpp
// Create a rule:
// call(callSite, callee)
// This means that the callSite calls the passed pointer to a callee
Create a rule:
call(callSite, callee)
This means that the callSite calls the passed pointer to a callee
Create a rule : call ( callSite callee ) This means that the callSite calls the passed pointer to a callee
std::string PDG::createCall(Value *callSite, Value *callee) {
	assert(callSite && "NULL passed");
	assert(callee && "NULL passed");
	std::string csStr = IDMap.saveAndGetID(callSite);
	std::string calleeStr = IDMap.saveAndGetID(callee);
	return createCall(csStr, calleeStr);
}
std :: string PDG :: createCall ( Value * callSite , Value * callee ) { assert ( callSite && " " ) ; assert ( callee && " " ) ; std :: string csStr = IDMap . saveAndGetID ( callSite ) ; std :: string calleeStr = IDMap . saveAndGetID ( callee ) ; return createCall ( csStr , calleeStr ) ; }
Create a rule:
call(callSite, callee)
This means that the callSite calls the passed pointer to a callee
Create a rule : call ( callSite callee ) This means that the callSite calls the passed pointer to a callee
// Attempt to convert to and from to values which are handled