Security/CWE/CWE-190/ArithmeticTainted.ql