Member predicate ArrayFunction::hasArrayWithVariableSize
Holds if parameter bufParam should always point to a buffer with the
number of elements indicated by countParam.
predicate hasArrayWithVariableSize(int bufParam, int countParam)Holds if parameter bufParam should always point to a buffer with the
number of elements indicated by countParam.
predicate hasArrayWithVariableSize(int bufParam, int countParam)