Security/CWE-834/LoopBoundInjection.ql