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

Predicate guardDirectlyControlsSsaRead

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

Import path

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