Predicate ModulusAnalysis::exprModulus
Holds if e is equal to b + val modulo mod.
There are two cases for the modulus:
mod = 0: The equalitye = b + valis an ordinary equality.mod > 1:vallies within the range[0 .. mod-1].
Import path
import codeql.rangeanalysis.ModulusAnalysispredicate exprModulus(Expr e, SemBound b, int val, int mod)