Member predicate StrcpyFunction::hasArrayWithNullTerminator

Holds if parameter bufParam is a null-terminated buffer and the null-terminator will not be written past.