...
Recommendation | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
ARR02-C | Medium | Unlikely | Low | P6 | L2 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| array-size-global | Partially checked | ||||||
| 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 |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...