experimental/Security/CWE/CWE-759/HashWithoutSalt.ql