query: Security/CWE-327/InsecureTLS.ql
postprocess: utils/test/PrettyPrintModels.ql