Predicate ssaRead
Gets an expression that equals v - delta.
Import path
import semmle.code.csharp.dataflow.internal.rangeanalysis.SsaUtilsExprNode ssaRead(Definition v, int delta)Gets an expression that equals v - delta.
import semmle.code.csharp.dataflow.internal.rangeanalysis.SsaUtilsExprNode ssaRead(Definition v, int delta)