Security/CWE-327/BadRandomness.ql