diff --git a/infer/src/IR/Exceptions.ml b/infer/src/IR/Exceptions.ml index 1935c4e22..ce60b4620 100644 --- a/infer/src/IR/Exceptions.ml +++ b/infer/src/IR/Exceptions.ml @@ -186,7 +186,7 @@ let recognize_exception exn = { name= IssueType.array_out_of_bounds_l1 ; description= desc ; ml_loc= Some ml_loc - ; visibility= Exn_user + ; visibility= Exn_developer ; severity= High ; kind= Some Kerror ; category= Checker } @@ -194,7 +194,7 @@ let recognize_exception exn = { name= IssueType.array_out_of_bounds_l2 ; description= desc ; ml_loc= Some ml_loc - ; visibility= Exn_user + ; visibility= Exn_developer ; severity= Medium ; kind= None ; category= Nocat } @@ -235,7 +235,7 @@ let recognize_exception exn = { name= IssueType.class_cast_exception ; description= desc ; ml_loc= Some ml_loc - ; visibility= Exn_user + ; visibility= Exn_developer ; severity= High ; kind= None ; category= Prover }