CodeQL library for C/C++
Search

Module NullTermination

Import path

import semmle.code.cpp.commons.NullTermination

Imports

cpp

Provides classes and predicates for working with C/C++ code.

Predicates

functionArgumentMustBeNullTerminated

Holds if f is a (library) function whose ith argument must be null terminated.

mayAddNullTerminator

Holds if the expression e may add a null terminator to the string in variable v.

variableMustBeNullTerminated

Holds if va is a variable access where the contents must be null terminated.