Predicate mayReturnNull
Holds if f may, directly or indirectly, return a null literal.
Import path
import semmle.code.cpp.controlflow.Nullnesspredicate mayReturnNull(Function f)Holds if f may, directly or indirectly, return a null literal.
import semmle.code.cpp.controlflow.Nullnesspredicate mayReturnNull(Function f)