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

Predicate guardControlsSsaRead

Holds if guard controls the position controlled with the value testIsTrue.

Import path

import semmle.code.java.dataflow.RangeUtils
predicate guardControlsSsaRead(Guard guard, SsaReadPosition controlled, boolean testIsTrue)