MISRA C:2012 community checker reference
These community checkers detect violations of the MISRA C:2012 standard.
Notes
- To view this information organized by rule number, see MISRA C:2012 rules mapped to Klocwork MISRA C:2012 community checkers.
- We provide full help for each MISRA C and MISRA C++ checker. Because this information is licensed, it is available as a part of your Klocwork installation, rather than online.
| Issue code | Description | Rule | Issued | Improved |
|---|---|---|---|---|
|
MISRA.ARRAY.ARG_SIZE | Array argument should be appropriate size | MISRA C 2012 17.5 | 2020.1 | |
|
MISRA.ARRAY.ARG_SIZE.MIGHT | Array argument should be appropriate size | MISRA C 2012 17.5 | 2020.1 | |
|
MISRA.FOR.BODY.LOOP_CTR_MODIFIED | The loop counter should not be modified in the loop body | MISRA C 2012 14.2 | 2020.1 | |
|
MISRA.FOR.BODY.LOOP_CTR_MODIFIED.MIGHT | The loop counter should not be modified in the loop body | MISRA C 2012 14.2 | 2020.1 | |
|
MISRA.FOR.COND.COUNTER_UNUSED | Loop second clause shall use the loop counter | MISRA C 2012 14.2 | 2020.1 | |
|
MISRA.FOR.COND.INVALID_USE | Loop second clause shall not used any object that is modified in the loop body | MISRA C 2012 14.2 | 2020.1 | |
|
MISRA.FOR.COND.INVALID_USE.MIGHT | Loop second clause shall not used any object that is modified in the loop body | MISRA C 2012 14.2 | 2020.1 | |
|
MISRA.FOR.COND.PURE | Loop second clause shall be a single expression with no persistent side effects | MISRA C 2012 14.2 | 2020.1 | |
|
MISRA.FOR.COND.SINGLE_PURE | Loop second clause shall be a single expression with no persistent side effects | MISRA C 2012 14.2 | 2020.1 | |
|
MISRA.FOR.ITER_EXPR.INVALID_USE | Loop third clause shall not used any object that is modified in the loop body | MISRA C 2012 14.2 | 2020.1 | |
|
MISRA.FOR.ITER_EXPR.INVALID_USE.MIGHT | Loop third clause shall not used any object that is modified in the loop body | MISRA C 2012 14.2 | 2020.1 | |
|
MISRA.FOR.ITER_EXPR.MULTI_SIDE_EFFECTS | Loop third clause shall only contain persistent side effect to the loop counter | MISRA C 2012 14.2 | 2020.1 | |
|
MISRA.FOR.ITER_EXPR.ONE_EXPR | Loop third clause shall be a single expression | MISRA C 2012 14.2 | 2020.1 | |
|
MISRA.FOR.MULTI_INIT | Loop first clause shall be empty or assign a value to the loop counter | MISRA C 2012 14.2 | 2020.1 | |
|
MISRA.FOR.UNINIT_COUNTER | Loop first clause shall be empty or assign a value to the loop counter | MISRA C 2012 14.2 | 2020.1 | |
|
MISRA.INIT.SIDE_EFFECT | Initializer list value contains persistent side effects | MISRA C 2012 13.1 | 2020.1 | |
|
MISRA.STDLIB.CTYPE.ARG_VAL | Any value passed to a function in <ctype.h> shall be representable as an unsigned char or be the value of EOF | MISRA C 2012 21.13 | 2020.1 | |
|
MISRA.STDLIB.MEMCMP.PTR_ARG_TYPES | The pointer arguments to the Standard Library function memcmp shall point to either a pointer type, an essentially signed type, an essentially unsigned type, an essentially Boolean type or an essentially enum type | MISRA C 2012 21.16 | 2020.1 | |
|
MISRA.STDLIB.RET.NONCONST_PTR.LOCAL | The pointers returned by the Standard Library functions localeconv, getenv, setlocale or, strerror shall only be used as if they have the pointer to const-qualified type | MISRA C 2012 21.19 | 2020.1 | |
|
MISRA.UNUSED.ENUM_TAG | A project should not contain unused tag declarations | MISRA C 2012 2.4 | 2020.1 | |
|
MISRA.UNUSED.LOCAL_TYPE | A project should not contain unused type declarations | MISRA C 2012 2.3 | 2020.1 |