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

Predicate ssaUpdateStep

Holds if v is an SsaExplicitUpdate that equals e + delta.

Import path

import semmle.code.java.dataflow.RangeUtils
predicate ssaUpdateStep ( SsaExplicitUpdate v , Expr e , int delta )