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