...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| stdlib-use-ato stdlib-use stdlib-use-getenv stdlib-use-system include-time stdlib-use-string-unbounded | Partially checked | ||||||||||
| CodeSonar |
| BADFUNC.MEMCMP BADFUNC.MEMSET | Use of memcmp Use of memset | ||||||||||
| Helix QAC |
| C++5017, C++5038 | |||||||||||
| Klocwork |
| CERT.OOP.CSTD_FUNC_USE | |||||||||||
| LDRA tool suite |
| 44 S | Enhanced Enforcement | ||||||||||
| Parasoft C/C++test |
| CERT_CPP-OOP57-a | Do not initialize objects with a non-trivial class type using C standard library functions | ||||||||||
| Polyspace Bug Finder |
| CERT C++: OOP57-CPP | Checks for bytewise operations on nontrivial class object (rule fully covered) | PRQA QA-C++ | |||||||||
| Include Page | PRQA QA-C++_V | PRQA QA-C++_V | |||||||||||
| 5017, 5038 | PVS-Studio |
| V598, V780 | ||||||||||
| RuleChecker |
| stdlib-use-ato stdlib-use stdlib-use-getenv stdlib-use-system include-time stdlib-use-string-unbounded | Partially checked |
...