Predicate Make::Logic::Cached::nullGuard

Holds if guard evaluating to v implies that e is guaranteed to be null if isNull is true, and non-null if isNull is false.

Import path

import codeql.controlflow.Guards

predicate nullGuard(Guard guard, GuardValue v, Expr e, boolean isNull)