Security/CWE-338/InsecureRandomness.ql