Generated Content
This page is automaticallygenerated 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 |