Member predicate LocalFlowSourceFunction::hasLocalFlowSource
Holds if data described by description
flows from output
of a call to this function.
predicate hasLocalFlowSource(FunctionOutput output, string description)
Holds if data described by description
flows from output
of a call to this function.
predicate hasLocalFlowSource(FunctionOutput output, string description)