Predicate linearAccess

Holds if expr is equivalent to p*v + q, where p is a non-zero number. This takes into account the associativity, commutativity and distributivity of arithmetic operations.

Import path

import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils

predicate linearAccess(Expr expr, VariableAccess v, float p, float q)