query: Security Features/CWE-730/RegexInjection.ql
postprocess: TestUtilities/PrettyPrintModels.ql