...
Tool | Version | Checker | Description | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| array-size-global | Partially checked | |||||||||||||
| Axivion Bauhaus Suite |
| CertC-ARR02 | Fully implemented | CodeSonar | ||||||||||||
| Include Page | CodeSonar_V | CodeSonar_V | LANG.STRUCT.DECL.FAM | Declaration of flexible array member | ||||||||||||
| Compass/ROSE | ||||||||||||||||
| CC2.ARR02 | Fully implemented | ||||||||||||||
| Helix QAC |
| C0678, C0688, C3674, C3684 | ||||||||||||||
| LDRA tool suite |
| 127 S | Fully implemented | |||||||||||||
| Parasoft C/C++test |
| CERT_C-ARR02-a | Explicitly specify array bounds in array declarations with initializers | |||||||||||||
| PC-lint Plus |
| 576 | Partially supported | |||||||||||||
| Polyspace Bug Finder |
| MISRA CERT C: 2012 Rule 8.11 | 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 | ||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 0688,3674,3684, 0678 | Checks for improper array initialization (rec, partially covered). Fully implemented | ||||||||||||
| PVS-Studio |
| V798 | ||||||||||||||
| RuleChecker |
| array-size-global | Partially checked | |||||||||||||
| SonarQube C/C++ Plugin |
| S834 |
...