Predicate TaintTracking::TaintFlowImplementation::tainted_parameter_def

predicate tainted_parameter_def(ParameterDefinition def, CallContext context, TaintedNode fromnode)