Buffer Overrun Analysis (InferBO)
InferBO is a detector for out-of-bounds array accesses.
Activate with --bufferoverrun.
Supported languages:
- C/C++/ObjC: Yes
- Java: Yes
You can read about its origins in this blog post.
List of Issue Types
The following issue types are reported by this checker:
- BUFFER_OVERRUN_L1
- BUFFER_OVERRUN_L2
- BUFFER_OVERRUN_L3
- BUFFER_OVERRUN_L4
- BUFFER_OVERRUN_L5
- BUFFER_OVERRUN_S2
- BUFFER_OVERRUN_U5
- CONDITION_ALWAYS_FALSE
- CONDITION_ALWAYS_TRUE
- INFERBO_ALLOC_IS_BIG
- INFERBO_ALLOC_IS_NEGATIVE
- INFERBO_ALLOC_IS_ZERO
- INFERBO_ALLOC_MAY_BE_BIG
- INFERBO_ALLOC_MAY_BE_NEGATIVE
- INTEGER_OVERFLOW_L1
- INTEGER_OVERFLOW_L2
- INTEGER_OVERFLOW_L5
- INTEGER_OVERFLOW_U5
- UNREACHABLE_CODE