From 496e5e8c0a7a991059f9cbf281facf528bde5f1d Mon Sep 17 00:00:00 2001
From: Daiva Naudziuniene <daivan@fb.com>
Date: Wed, 25 Apr 2018 04:06:19 -0700
Subject: [PATCH] [use after free] Report only high confidence level
 use_after_free

Reviewed By: jvillard

Differential Revision: D7744099

fbshipit-source-id: 8f528c6
---
 infer/src/backend/InferPrint.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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