Member predicate StrcpyFunction::hasDataFlow
Holds if data can be copied from the argument, qualifier, or buffer
represented by input
to the return value or buffer represented by
output
predicate hasDataFlow(FunctionInput input, FunctionOutput output)