...
C++ checkers | Rule |
---|---|
ABR | ARR30-CPP. Guarantee that array and vector indices are within the valid range |
ABV.TAINTED | ARR30-CPP. Guarantee that array and vector indices are within the valid range |
ASSIGCOND.CALL | EXP19-CPP. Do not perform assignments in conditional expressions |
ASSIGCOND.GEN | EXP19-CPP. Do not perform assignments in conditional expressions |
IF_DEF_IN_HEADER_DECL | DCL36-CPP. Do not declare an identifier with conflicting linkage classifications |
IF_DUPL_HEADER | |
IF_MULTI_DECL | |
IF_MULTI_DECL | DCL36-CPP. Do not declare an identifier with conflicting linkage classifications |
IF_MULTI_DEF | |
IF_MULTI_KIND | |
INC.EXTRA | |
SV.RVT.RETVAL_NOTTESTED | EXP12-CPP. Do not ignore values returned by functions or methods |
SV.TAINTED.INDEX_ACCESS | ARR30-CPP. Guarantee that array and vector indices are within the valid range |