Predicate functionArgumentMustBeNullTerminated
Holds if f is a (library) function whose ith argument must be null
terminated.
Import path
import semmle.code.cpp.commons.NullTerminationpredicate functionArgumentMustBeNullTerminated(Function f, int i)