CodeQL library for C/C++
Search

Member predicate ArrayFunction::hasArrayWithFixedSize

Holds if parameter bufParam should always point to a buffer with exactly elemCount elements.

predicate hasArrayWithFixedSize(int bufParam, int elemCount)