Security/CWE/CWE-681/NumericCastTaintedLocal.ql