Security/CWE/CWE-190/ArithmeticTaintedLocal.ql