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

Predicate MakeUtils::guardDirectlyControlsSsaRead

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

Import path

import codeql.rangeanalysis.internal.RangeUtils
predicate guardDirectlyControlsSsaRead(Guard guard, SsaReadPosition controlled, boolean testIsTrue)