CodeQL library for C/C++
Search

Member predicate ArrayFunction::hasArrayWithNullTerminator

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

predicate hasArrayWithNullTerminator(int bufParam)