pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Re-enabling noisy inferBO issues to have better QuandaryBO coverage

Browse Source 
Reviewed By: mbouaziz

Differential Revision: D9768996

fbshipit-source-id: 82a4f59f3
master
Julian Sutherland 6 years ago committed by Facebook Github Bot
parent bc737851b1
commit 3afec7f2f9
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File

10
infer/src/base/IssueType.ml
Unescape View File

@ -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"

Write Preview
Loading…
Cancel
Save