query: Security Features/CWE-134/UncontrolledFormatString.ql
postprocess: TestUtilities/PrettyPrintModels.ql