Member predicate StrcatFunction::hasArrayWithNullTerminator
Holds if parameter bufParam
is a null-terminated buffer and the
null-terminator will not be written past.
Holds if parameter bufParam
is a null-terminated buffer and the
null-terminator will not be written past.