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

Predicate guardControls_v1

INTERNAL: Use Guards.controls instead.

Holds if guard.controls(controlled, branch), except this only relies on BaseSSA-based reasoning.

Import path

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