Module NullTermination

Import path

import semmle.code.cpp.commons.NullTermination

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

formatArgumentMustBeNullTerminated	Holds if `arg` is a string format argument to a formatting function call `ffc`.
functionArgumentMustBeNullTerminated	Holds if `f` is a (library) function whose `i`th argument must be null terminated.
mayAddNullTerminator	Holds if the expression `e` may add a null terminator to the string accessed by `va`.
variableMustBeNullTerminated	Holds if `va` is a variable access where the contents must be null terminated.