Member predicate StrlcatFunction::hasArrayInput
Holds if parameter bufParam
is used as an input buffer.
Note that this is not mutually exclusive with isOutBuffer.
predicate hasArrayInput(int param)
Holds if parameter bufParam
is used as an input buffer.
Note that this is not mutually exclusive with isOutBuffer.
predicate hasArrayInput(int param)