...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| CERT.PRE.32 | Fully checked | ||||||
| CodeSonar |
| LANG.PREPROC.MACROARG | Preprocessing directives in macro argument | ||||||
| CC2.PRE32 | Fully implemented | |||||||
| LDRA tool suite |
| 341 S | Fully implemented | ||||||
| PRQA QA-C |
| 853 | |||||||
| PRQA QA-C++ | 1072 |
| Astrée | ||||||
| Include Page | Astrée_V | Astrée_V | CERT.PRE.32 | Fully checked | |||||
| RuleChecker |
| CERT.PRE.32 | Fully checked |
...