CodeQL library for Java/Kotlin
codeql/java-all 0.8.12 (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)