diff --git a/infer/src/backend/InferPrint.ml b/infer/src/backend/InferPrint.ml index a031f1ad7..95af241cd 100644 --- a/infer/src/backend/InferPrint.ml +++ b/infer/src/backend/InferPrint.ml @@ -177,7 +177,8 @@ let should_report (issue_kind: Exceptions.err_kind) issue_type error_desc eclass ; null_dereference ; parameter_not_null_checked ; premature_nil_termination - ; empty_vector_access ] + ; empty_vector_access + ; use_after_free ] in List.mem ~equal:IssueType.equal null_deref_issue_types issue_type in