| Info | ||
|---|---|---|
| ||
This page is automatically generated from the "Automated Detection" sections in the individual guidelines. Do not modify this page directly. |
Version number:
v5.0
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 |
IF_MULTI_DECL | |
IF_MULTI_DEF | |
IF_MULTI_KIND | |
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 |