Predicate TaintTracking::TaintFlowImplementation::copyCall

predicate copyCall(ControlFlowNode fromnode, CallNode tonode)