...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| array-size-global | Partially checked | ||||||
| Axivion Bauhaus Suite |
| CertC-ARR02 | Fully implemented | ||||||
| CodeSonar |
| LANG.STRUCT.DECL.FAM | Declaration of flexible array member | ||||||
| Compass/ROSE | |||||||||
| CC2.ARR02 | Fully implemented | |||||||
| LDRA tool suite |
| 127 S | Fully implemented | ||||||
| Polyspace Bug Finder |
| Incorrect array initialization when using initializers When an array with external linkage is declared, its size should be explicitly specified Where designated initializers are used to initialize an array object the size of the array shall be specified explicitly | |||||||
| PRQA QA-C |
| 0688,3674,3684, 678 | Fully implemented | ||||||
| PVS-Studio |
| V798 | |||||||
| RuleChecker |
| array-size-global | Partially checked | ||||||
| SonarQube C/C++ Plugin |
| S834 |
...