Security/CWE-730/ServerCrash.ql