...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Clang |
| cert-msc50-cpp | Checked by clang-tidy | ||||||||||
| CodeSonar |
| BADFUNC.RANDOM.RAND | Use of rand | ||||||||||
| Compass/ROSE |
|
|
| ||||||||||
| CC2.MSC30 | Fully implemented | Fortify SCA | ||||||||||
| Include Page | |||||||||||||
| Fortify_V | Fortify_V |
|
| LDRA tool suite |
| 44 S | Enhanced Enforcement | ||||||
| Parasoft C/C++test | 9.5 | SECURITY-02 | |||||||||||
| PRQA QA-C++ |
| Warncall -wc rand | Fully implemented |
...