CodeQL library for C/C++
codeql/cpp-all 0.12.5 (changelog, source)
Search

Member predicate FormattingFunction::hasArrayWithNullTerminator

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

predicate hasArrayWithNullTerminator(int bufParam)