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

Predicate guardControls_v2

INTERNAL: Use Guards.controls instead.

Holds if guard.controls(controlled, branch), except this doesn’t rely on RangeAnalysis.

Import path

import semmle.code.java.controlflow.Guards
predicate guardControls_v2 ( Guard guard , BasicBlock controlled , boolean branch )