Module Make::Logic::Cached

Import path

import codeql.controlflow.Guards

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.

Calculates the transitive closure of all the guard implication steps starting from a given set of base cases.