Predicate callMayReturnNull
Holds if call may, directly or indirectly, evaluate to a null literal.
Import path
import semmle.code.cpp.controlflow.Nullnesspredicate callMayReturnNull(Call call)Holds if call may, directly or indirectly, evaluate to a null literal.
import semmle.code.cpp.controlflow.Nullnesspredicate callMayReturnNull(Call call)