query: experimental/Security Features/CWE-759/HashWithoutSalt.ql
postprocess: utils/test/PrettyPrintModels.ql