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