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