...
Tool | Version | Checker | Description | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| CERT.DCL.36 | Partially checked | ||||||||||||
| Coverity |
| PW.LINKAGE_CONFLICT | Implemented | ||||||||||||
| CC2.DCL36 | Fully implemented | |||||||||||||
| GCC |
|
|
| ||||||||||||
| Klocwork |
|
| |||||||||||||
| LDRA tool suite |
| 461 S, 575 S, 2 X | Fully implemented | ||||||||||||
| Splint |
|
|
| ||||||||||||
| Parasoft C/C++test | 9.5 | MISRA-024 | Fully implemented | ||||||||||||
| Polyspace Bug Finder | R2016a | MISRA2012-RULE-8_2, MISRA2012-RULE-8_4, MISRA2012-RULE-8_8, MISRA2012-RULE-17_3 | Full | ||||||||||||
| PRQA QA-C |
| 0625 (U) | Fully implemented | Astrée | |||||||||||
| Include Page | Astrée_V | Astrée_V | CERT.DCL.36 | Partially checked | |||||||||||
| RuleChecker |
| CERT.DCL.36 | Partially checked |
...