Security Features/CWE-119/LocalUnvalidatedArithmetic.ql