...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| flexible-array-member-assignment flexible-array-member-declaration | Fully checked | ||||||||||
| Axivion Bauhaus Suite |
| CertC-MEM33 | Fully implemented | ||||||||||
| Compass/ROSE | Can detect all of these | ||||||||||||
| Helix QAC |
| ||||||||||||
| LDRA tool suite |
| 649 S, 650 S | Fully implemented | ||||||||||
| Parasoft C/C++test |
| CERT_C-MEM33-a | Allocate structures containing a flexible array member dynamically | ||||||||||
| CERT C: Rule MEM33-C | Checks for misuse of structure with flexible array member (rule fully covered) | |||||||||||
| PRQA QA-C |
| 1061, 1062, 1063, 1064 | |||||||||||
| RuleChecker |
| flexible-array-member-assignment flexible-array-member-declaration | Fully checked | Helix QAC | |||||||||
| Include Page | Helix QAC_V | Helix QAC_V
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...