Predicate TaintTracking::TaintFlowImplementation::tainted_scope_entry

predicate tainted_scope_entry(ScopeEntryDefinition def, CallContext context, TaintedNode origin)