...
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 Polyspace Bug Finder | ||||||||||||
| Parasoft C/C++test |
| 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 | CERT_C-ARR02-a | Explicitly specify array bounds in array declarations with initializers | |||||||||||
| PC-lint Plus |
| 576 | Partially supported | ||||||||||||
| Polyspace Bug Finder |
| Checks for improper array initialization (rec, partially covered). | PRQA QA-C | ||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 0688,3674,3684, 0678 | Fully implemented | |||||||||||
| PVS-Studio |
| V798 | |||||||||||||
| RuleChecker |
| array-size-global | Partially checked | ||||||||||||
| SonarQube C/C++ Plugin |
| S834 |
...