Predicate SourceSinkInterpretationInput::interpretOutput
Provides additional sink specification logic required for annotations.
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImplpredicate interpretOutput(string c, InterpretNode mid, InterpretNode node)