CodeQL library for Java
codeql/java-all 0.7.5 ( 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 )