From 3afec7f2f9dee48d01f79fece94e00f21127e90e Mon Sep 17 00:00:00 2001 From: Julian Sutherland Date: Tue, 11 Sep 2018 08:12:59 -0700 Subject: [PATCH] Re-enabling noisy inferBO issues to have better QuandaryBO coverage Reviewed By: mbouaziz Differential Revision: D9768996 fbshipit-source-id: 82a4f59f3 --- infer/src/base/IssueType.ml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/infer/src/base/IssueType.ml b/infer/src/base/IssueType.ml index 705f33b0a..3fddfb9a4 100644 --- a/infer/src/base/IssueType.ml +++ b/infer/src/base/IssueType.ml @@ -108,13 +108,13 @@ let buffer_overrun_l2 = from_string "BUFFER_OVERRUN_L2" let buffer_overrun_l3 = from_string "BUFFER_OVERRUN_L3" -let buffer_overrun_l4 = from_string ~enabled:false "BUFFER_OVERRUN_L4" +let buffer_overrun_l4 = from_string "BUFFER_OVERRUN_L4" -let buffer_overrun_l5 = from_string ~enabled:false "BUFFER_OVERRUN_L5" +let buffer_overrun_l5 = from_string "BUFFER_OVERRUN_L5" let buffer_overrun_s2 = from_string "BUFFER_OVERRUN_S2" -let buffer_overrun_u5 = from_string ~enabled:false "BUFFER_OVERRUN_U5" +let buffer_overrun_u5 = from_string "BUFFER_OVERRUN_U5" let cannot_star = from_string "Cannot_star" @@ -269,9 +269,9 @@ let inferbo_alloc_is_negative = from_string "INFERBO_ALLOC_IS_NEGATIVE" let inferbo_alloc_is_zero = from_string "INFERBO_ALLOC_IS_ZERO" -let inferbo_alloc_may_be_big = from_string ~enabled:false "INFERBO_ALLOC_MAY_BE_BIG" +let inferbo_alloc_may_be_big = from_string "INFERBO_ALLOC_MAY_BE_BIG" -let inferbo_alloc_may_be_negative = from_string ~enabled:false "INFERBO_ALLOC_MAY_BE_NEGATIVE" +let inferbo_alloc_may_be_negative = from_string "INFERBO_ALLOC_MAY_BE_NEGATIVE" let infinite_execution_time_call = from_string ~enabled:false "INFINITE_EXECUTION_TIME_CALL"