Security/CWE/CWE-190/ArithmeticWithExtremeValues.ql