Member predicate StrlcatFunction::hasArrayWithNullTerminator
Holds if parameter bufParam
is a null-terminated buffer and the
null-terminator will not be written past.
predicate hasArrayWithNullTerminator(int param)
Holds if parameter bufParam
is a null-terminated buffer and the
null-terminator will not be written past.
predicate hasArrayWithNullTerminator(int param)