diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt
index d1f56b1cd..828221642 100644
--- a/infer/man/man1/infer-full.txt
+++ b/infer/man/man1/infer-full.txt
@@ -288,7 +288,8 @@ OPTIONS
            CONDITION_ALWAYS_TRUE, DANGLING_POINTER_DEREFERENCE,
            DIVIDE_BY_ZERO, EXPENSIVE_EXECUTION_TIME_CALL,
            GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL,
-           INFINITE_EXECUTION_TIME_CALL, NULL_TEST_AFTER_DEREFERENCE,
+           INFINITE_EXECUTION_TIME_CALL, INTEGER_OVERFLOW_L5,
+           INTEGER_OVERFLOW_U5, NULL_TEST_AFTER_DEREFERENCE,
            RETURN_VALUE_IGNORED, STACK_VARIABLE_ADDRESS_ESCAPE,
            UNARY_MINUS_APPLIED_TO_UNSIGNED_EXPRESSION,
            UNTRUSTED_BUFFER_ACCESS, UNTRUSTED_HEAP_ALLOCATION,
@@ -296,7 +297,7 @@ OPTIONS
            
             See also --report-issue-type.
            (default:
-           ANALYSIS_STOPS,ARRAY_OUT_OF_BOUNDS_L1,ARRAY_OUT_OF_BOUNDS_L2,ARRAY_OUT_OF_BOUNDS_L3,BUFFER_OVERRUN_L4,BUFFER_OVERRUN_L5,BUFFER_OVERRUN_U5,CLASS_CAST_EXCEPTION,CONDITION_ALWAYS_FALSE,CONDITION_ALWAYS_TRUE,DANGLING_POINTER_DEREFERENCE,DIVIDE_BY_ZERO,EXPENSIVE_EXECUTION_TIME_CALL,GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL,INFINITE_EXECUTION_TIME_CALL,NULL_TEST_AFTER_DEREFERENCE,RETURN_VALUE_IGNORED,STACK_VARIABLE_ADDRESS_ESCAPE,UNARY_MINUS_APPLIED_TO_UNSIGNED_EXPRESSION,UNTRUSTED_BUFFER_ACCESS,UNTRUSTED_HEAP_ALLOCATION,ZERO_EXECUTION_TIME_CALL)
+           ANALYSIS_STOPS,ARRAY_OUT_OF_BOUNDS_L1,ARRAY_OUT_OF_BOUNDS_L2,ARRAY_OUT_OF_BOUNDS_L3,BUFFER_OVERRUN_L4,BUFFER_OVERRUN_L5,BUFFER_OVERRUN_U5,CLASS_CAST_EXCEPTION,CONDITION_ALWAYS_FALSE,CONDITION_ALWAYS_TRUE,DANGLING_POINTER_DEREFERENCE,DIVIDE_BY_ZERO,EXPENSIVE_EXECUTION_TIME_CALL,GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL,INFINITE_EXECUTION_TIME_CALL,INTEGER_OVERFLOW_L5,INTEGER_OVERFLOW_U5,NULL_TEST_AFTER_DEREFERENCE,RETURN_VALUE_IGNORED,STACK_VARIABLE_ADDRESS_ESCAPE,UNARY_MINUS_APPLIED_TO_UNSIGNED_EXPRESSION,UNTRUSTED_BUFFER_ACCESS,UNTRUSTED_HEAP_ALLOCATION,ZERO_EXECUTION_TIME_CALL)
            See also infer-report(1).
 
        --dump-duplicate-symbols
diff --git a/infer/man/man1/infer-report.txt b/infer/man/man1/infer-report.txt
index efd8c72a9..69c8f7d1b 100644
--- a/infer/man/man1/infer-report.txt
+++ b/infer/man/man1/infer-report.txt
@@ -58,7 +58,8 @@ OPTIONS
            CONDITION_ALWAYS_TRUE, DANGLING_POINTER_DEREFERENCE,
            DIVIDE_BY_ZERO, EXPENSIVE_EXECUTION_TIME_CALL,
            GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL,
-           INFINITE_EXECUTION_TIME_CALL, NULL_TEST_AFTER_DEREFERENCE,
+           INFINITE_EXECUTION_TIME_CALL, INTEGER_OVERFLOW_L5,
+           INTEGER_OVERFLOW_U5, NULL_TEST_AFTER_DEREFERENCE,
            RETURN_VALUE_IGNORED, STACK_VARIABLE_ADDRESS_ESCAPE,
            UNARY_MINUS_APPLIED_TO_UNSIGNED_EXPRESSION,
            UNTRUSTED_BUFFER_ACCESS, UNTRUSTED_HEAP_ALLOCATION,
@@ -66,7 +67,7 @@ OPTIONS
            
             See also --report-issue-type.
            (default:
-           ANALYSIS_STOPS,ARRAY_OUT_OF_BOUNDS_L1,ARRAY_OUT_OF_BOUNDS_L2,ARRAY_OUT_OF_BOUNDS_L3,BUFFER_OVERRUN_L4,BUFFER_OVERRUN_L5,BUFFER_OVERRUN_U5,CLASS_CAST_EXCEPTION,CONDITION_ALWAYS_FALSE,CONDITION_ALWAYS_TRUE,DANGLING_POINTER_DEREFERENCE,DIVIDE_BY_ZERO,EXPENSIVE_EXECUTION_TIME_CALL,GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL,INFINITE_EXECUTION_TIME_CALL,NULL_TEST_AFTER_DEREFERENCE,RETURN_VALUE_IGNORED,STACK_VARIABLE_ADDRESS_ESCAPE,UNARY_MINUS_APPLIED_TO_UNSIGNED_EXPRESSION,UNTRUSTED_BUFFER_ACCESS,UNTRUSTED_HEAP_ALLOCATION,ZERO_EXECUTION_TIME_CALL)
+           ANALYSIS_STOPS,ARRAY_OUT_OF_BOUNDS_L1,ARRAY_OUT_OF_BOUNDS_L2,ARRAY_OUT_OF_BOUNDS_L3,BUFFER_OVERRUN_L4,BUFFER_OVERRUN_L5,BUFFER_OVERRUN_U5,CLASS_CAST_EXCEPTION,CONDITION_ALWAYS_FALSE,CONDITION_ALWAYS_TRUE,DANGLING_POINTER_DEREFERENCE,DIVIDE_BY_ZERO,EXPENSIVE_EXECUTION_TIME_CALL,GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL,INFINITE_EXECUTION_TIME_CALL,INTEGER_OVERFLOW_L5,INTEGER_OVERFLOW_U5,NULL_TEST_AFTER_DEREFERENCE,RETURN_VALUE_IGNORED,STACK_VARIABLE_ADDRESS_ESCAPE,UNARY_MINUS_APPLIED_TO_UNSIGNED_EXPRESSION,UNTRUSTED_BUFFER_ACCESS,UNTRUSTED_HEAP_ALLOCATION,ZERO_EXECUTION_TIME_CALL)
 
        --enable-issue-type +issue_type
            Show reports coming from this type of issue. By default, all issue
diff --git a/infer/man/man1/infer.txt b/infer/man/man1/infer.txt
index fa98c4f03..19235a0ce 100644
--- a/infer/man/man1/infer.txt
+++ b/infer/man/man1/infer.txt
@@ -288,7 +288,8 @@ OPTIONS
            CONDITION_ALWAYS_TRUE, DANGLING_POINTER_DEREFERENCE,
            DIVIDE_BY_ZERO, EXPENSIVE_EXECUTION_TIME_CALL,
            GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL,
-           INFINITE_EXECUTION_TIME_CALL, NULL_TEST_AFTER_DEREFERENCE,
+           INFINITE_EXECUTION_TIME_CALL, INTEGER_OVERFLOW_L5,
+           INTEGER_OVERFLOW_U5, NULL_TEST_AFTER_DEREFERENCE,
            RETURN_VALUE_IGNORED, STACK_VARIABLE_ADDRESS_ESCAPE,
            UNARY_MINUS_APPLIED_TO_UNSIGNED_EXPRESSION,
            UNTRUSTED_BUFFER_ACCESS, UNTRUSTED_HEAP_ALLOCATION,
@@ -296,7 +297,7 @@ OPTIONS
            
             See also --report-issue-type.
            (default:
-           ANALYSIS_STOPS,ARRAY_OUT_OF_BOUNDS_L1,ARRAY_OUT_OF_BOUNDS_L2,ARRAY_OUT_OF_BOUNDS_L3,BUFFER_OVERRUN_L4,BUFFER_OVERRUN_L5,BUFFER_OVERRUN_U5,CLASS_CAST_EXCEPTION,CONDITION_ALWAYS_FALSE,CONDITION_ALWAYS_TRUE,DANGLING_POINTER_DEREFERENCE,DIVIDE_BY_ZERO,EXPENSIVE_EXECUTION_TIME_CALL,GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL,INFINITE_EXECUTION_TIME_CALL,NULL_TEST_AFTER_DEREFERENCE,RETURN_VALUE_IGNORED,STACK_VARIABLE_ADDRESS_ESCAPE,UNARY_MINUS_APPLIED_TO_UNSIGNED_EXPRESSION,UNTRUSTED_BUFFER_ACCESS,UNTRUSTED_HEAP_ALLOCATION,ZERO_EXECUTION_TIME_CALL)
+           ANALYSIS_STOPS,ARRAY_OUT_OF_BOUNDS_L1,ARRAY_OUT_OF_BOUNDS_L2,ARRAY_OUT_OF_BOUNDS_L3,BUFFER_OVERRUN_L4,BUFFER_OVERRUN_L5,BUFFER_OVERRUN_U5,CLASS_CAST_EXCEPTION,CONDITION_ALWAYS_FALSE,CONDITION_ALWAYS_TRUE,DANGLING_POINTER_DEREFERENCE,DIVIDE_BY_ZERO,EXPENSIVE_EXECUTION_TIME_CALL,GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL,INFINITE_EXECUTION_TIME_CALL,INTEGER_OVERFLOW_L5,INTEGER_OVERFLOW_U5,NULL_TEST_AFTER_DEREFERENCE,RETURN_VALUE_IGNORED,STACK_VARIABLE_ADDRESS_ESCAPE,UNARY_MINUS_APPLIED_TO_UNSIGNED_EXPRESSION,UNTRUSTED_BUFFER_ACCESS,UNTRUSTED_HEAP_ALLOCATION,ZERO_EXECUTION_TIME_CALL)
            See also infer-report(1).
 
        --dump-duplicate-symbols
diff --git a/infer/src/base/IssueType.ml b/infer/src/base/IssueType.ml
index 995a58da7..28e5ecd43 100644
--- a/infer/src/base/IssueType.ml
+++ b/infer/src/base/IssueType.ml
@@ -283,9 +283,9 @@ let integer_overflow_l1 = from_string "INTEGER_OVERFLOW_L1"
 
 let integer_overflow_l2 = from_string "INTEGER_OVERFLOW_L2"
 
-let integer_overflow_l5 = from_string "INTEGER_OVERFLOW_L5"
+let integer_overflow_l5 = from_string ~enabled:false "INTEGER_OVERFLOW_L5"
 
-let integer_overflow_u5 = from_string "INTEGER_OVERFLOW_U5"
+let integer_overflow_u5 = from_string ~enabled:false "INTEGER_OVERFLOW_U5"
 
 let interface_not_thread_safe = from_string "INTERFACE_NOT_THREAD_SAFE"
 
diff --git a/infer/tests/build_systems/differential_of_costs_report/introduced.exp b/infer/tests/build_systems/differential_of_costs_report/introduced.exp
index 10185c24f..ee65a9ec8 100644
--- a/infer/tests/build_systems/differential_of_costs_report/introduced.exp
+++ b/infer/tests/build_systems/differential_of_costs_report/introduced.exp
@@ -1,3 +1,2 @@
-INTEGER_OVERFLOW_L5, no_bucket, src/DiffExample.java, DiffExample.f1(int):void, 3
 PERFORMANCE_VARIATION, no_bucket, src/DiffExample.java, int DiffExample.f4(int), 39
 INFINITE_EXECUTION_TIME_CALL, no_bucket, src/DiffExample.java, void DiffExample.f1(int), 19