Predicate TaintTracking::TaintFlowImplementation::self_init_end_transfer

predicate self_init_end_transfer(EssaVariable self, CallContext callee, CallNode call, CallContext caller)