CodeQL library for Java
codeql/java-all 0.4.4 (changelog, source)
Search

Member predicate Guard::controls

Holds if this guard evaluating to branch directly or indirectly controls the block controlled. That is, the evaluation of controlled is dominated by this guard evaluating to branch.

predicate controls(BasicBlock controlled, boolean branch)