Predicate IncorrectPointerScalingCommon::addWithSizeof

Holds if the pointer e is added to the sizeof expression sizeofExpr (which may first be multiplied by another expression), and sizeofParam is sizeofExpr’s type parameter.

For example, if the program contains the expression p - (i * sizeof(T)) then e would be p, sizeofExpr would be sizeof(T), and sizeofParam would be T.

predicate addWithSizeof(Expr e, Expr sizeofExpr, Type sizeofParam)