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

Predicate MakeUtils::eqFlowCond

Gets a condition that tests whether v equals e + delta.

If the condition evaluates to testIsTrue:

  • isEq = true : v == e + delta
  • isEq = false : v != e + delta

Import path

import codeql.rangeanalysis.internal.RangeUtils
Guard eqFlowCond(SsaVariable v, Expr e, Delta delta, boolean isEq, boolean testIsTrue)