Security/CWE/CWE-835/InfiniteLoop.ql