Checker | Guideline |
|---|
| ABV.ANY_SIZE_ARRAY | CTR50-CPP. Guarantee that container indices and iterators are within the valid range |
| ABV.GENERAL | CTR50-CPP. Guarantee that container indices and iterators are within the valid range |
| ABV.STACK | CTR50-CPP. Guarantee that container indices and iterators are within the valid range |
| ABV.TAINTED | CTR50-CPP. Guarantee that container indices and iterators are within the valid range |
| CL.FFM.ASSIGN | EXP54-CPP. Do not access an object outside of its lifetime |
| CL.FFM.COPY | EXP54-CPP. Do not access an object outside of its lifetime |
| CL.MLK.VIRTUAL | OOP52-CPP. Do not delete a polymorphic object without a virtual destructor |
| CL.SELF-ASSIGN | OOP54-CPP. Gracefully handle self-copy assignment |
| CWARN.DTOR.NONVIRT.DELETE | OOP52-CPP. Do not delete a polymorphic object without a virtual destructor |
| LOCRET.ARG | EXP54-CPP. Do not access an object outside of its lifetime |
| LOCRET.GLOB | EXP54-CPP. Do not access an object outside of its lifetime |
| LOCRET.RET | EXP54-CPP. Do not access an object outside of its lifetime |
| MISRA.CAST.CONST | EXP55-CPP. Do not access a cv-qualified object through a cv-unqualified type |
| MISRA.CAST.PTR.UNRELATED | EXP56-CPP. Do not call a function with a mismatched language linkage |
| MISRA.CAST.PTR_TO_INT | EXP56-CPP. Do not call a function with a mismatched language linkage |
| MISRA.CATCH.ALL | ERR50-CPP. Do not abruptly terminate the program |
| MISRA.CATCH.NOALL | ERR54-CPP. Catch handlers should order their parameter types from most derived to least derived |
| MISRA.CATCH.WRONGORD | ERR54-CPP. Catch handlers should order their parameter types from most derived to least derived |
| MISRA.CTOR.TRY.NON_STATIC | ERR53-CPP. Do not reference base classes or class data members in a constructor or destructor function-try-block handler |
| MISRA.EXPR.PARENS | EXP50-CPP. Do not depend on the order of evaluation for side effects |
| MISRA.EXPR.PARENS.INSUFFICIENT | EXP50-CPP. Do not depend on the order of evaluation for side effects |
| MISRA.EXPR.PARENS.REDUNDANT | EXP50-CPP. Do not depend on the order of evaluation for side effects |
| MISRA.INCR_DECR.OTHER | EXP50-CPP. Do not depend on the order of evaluation for side effects |
| MISRA.STDLIB.LONGJMP | ERR52-CPP. Do not use setjmp() or longjmp() |
| NNTS.MIGHT | STR50-CPP. Guarantee that storage for strings has sufficient space for character data and the null terminator |
| NNTS.TAINTED | STR50-CPP. Guarantee that storage for strings has sufficient space for character data and the null terminator |
| PORTING.CAST.PTR | EXP56-CPP. Do not call a function with a mismatched language linkage |
| PORTING.CAST.PTR.FLTPNT | EXP56-CPP. Do not call a function with a mismatched language linkage |
| PORTING.CAST.PTR.FLTPNT | EXP56-CPP. Do not call a function with a mismatched language linkage |
| PORTING.CAST.PTR.SIZE | EXP56-CPP. Do not call a function with a mismatched language linkage |
| PORTING.CAST.SIZE | EXP56-CPP. Do not call a function with a mismatched language linkage |
| PORTING.VAR.EFFECTS | EXP50-CPP. Do not depend on the order of evaluation for side effects |
| RH.LEAK | FIO51-CPP. Close files when they are no longer needed |
| SV.TAINTED.ALLOC_SIZE | CTR50-CPP. Guarantee that container indices and iterators are within the valid range |
| SV.TAINTED.CALL.INDEX_ACCESS | CTR50-CPP. Guarantee that container indices and iterators are within the valid range |
| SV.TAINTED.CALL.LOOP_BOUND | CTR50-CPP. Guarantee that container indices and iterators are within the valid range |
| SV.TAINTED.INDEX_ACCESS | CTR50-CPP. Guarantee that container indices and iterators are within the valid range |
| UFM.DEREF.MIGHT | EXP54-CPP. Do not access an object outside of its lifetime |
| UFM.DEREF.MIGHT | MEM50-CPP. Do not access freed memory |
| UFM.DEREF.MUST | EXP54-CPP. Do not access an object outside of its lifetime |
| UFM.DEREF.MUST | MEM50-CPP. Do not access freed memory |
| UFM.FFM.MIGHT | EXP54-CPP. Do not access an object outside of its lifetime |
| UFM.FFM.MUST | EXP54-CPP. Do not access an object outside of its lifetime |
| UFM.PARAMPASS.MIGHT | MEM50-CPP. Do not access freed memory |
| UFM.PARAMPASS.MUST | MEM50-CPP. Do not access freed memory |
| UFM.RETURN.MIGHT | EXP54-CPP. Do not access an object outside of its lifetime |
| UFM.RETURN.MIGHT | MEM50-CPP. Do not access freed memory |
| UFM.RETURN.MUST | EXP54-CPP. Do not access an object outside of its lifetime |
| UFM.RETURN.MUST | MEM50-CPP. Do not access freed memory |
| UFM.USE.MIGHT | EXP54-CPP. Do not access an object outside of its lifetime |
| UFM.USE.MIGHT | MEM50-CPP. Do not access freed memory |
| UFM.USE.MUST | EXP54-CPP. Do not access an object outside of its lifetime |
| UFM.USE.MUST | MEM50-CPP. Do not access freed memory |
| UNINIT.CTOR.MIGHT | EXP53-CPP. Do not read uninitialized memory |
| UNINIT.CTOR.MUST | EXP53-CPP. Do not read uninitialized memory |
| UNINIT.HEAP.MIGHT | EXP53-CPP. Do not read uninitialized memory |
| UNINIT.HEAP.MIGHT | EXP54-CPP. Do not access an object outside of its lifetime |
| UNINIT.HEAP.MUST | EXP53-CPP. Do not read uninitialized memory |
| UNINIT.HEAP.MUST | EXP54-CPP. Do not access an object outside of its lifetime |
| UNINIT.STACK.ARRAY.MIGHT | EXP53-CPP. Do not read uninitialized memory |
| UNINIT.STACK.ARRAY.MIGHT | EXP54-CPP. Do not access an object outside of its lifetime |
| UNINIT.STACK.ARRAY.MUST | EXP53-CPP. Do not read uninitialized memory |
| UNINIT.STACK.ARRAY.MUST | EXP54-CPP. Do not access an object outside of its lifetime |
| UNINIT.STACK.ARRAY.PARTIAL.MUST | EXP53-CPP. Do not read uninitialized memory |
| UNINIT.STACK.ARRAY.PARTIAL.MUST | EXP54-CPP. Do not access an object outside of its lifetime |
| UNINIT.STACK.MIGHT | EXP53-CPP. Do not read uninitialized memory |
| UNINIT.STACK.MIGHT | EXP54-CPP. Do not access an object outside of its lifetime |
| UNINIT.STACK.MUST | EXP53-CPP. Do not read uninitialized memory |
| UNINIT.STACK.MUST | EXP54-CPP. Do not access an object outside of its lifetime |
