query: queries/security/CWE-825/AccessInvalidPointer.ql
postprocess:
 - utils/test/PrettyPrintModels.ql
 - utils/test/InlineExpectationsTestQuery.ql