query: Security Features/CWE-022/TaintedPath.ql
postprocess: TestUtilities/PrettyPrintModels.ql