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

Predicate 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 semmle.code.java.dataflow.RangeUtils
Guard eqFlowCond(SsaVariable v, Expr e, int delta, boolean isEq, boolean testIsTrue)