...
Failure to follow this recommendation can result in memory corruption from buffer overflows, which can easily corrupt data or yield remote code execution.
Rule | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
API01-C | High | Likely | Yes | NoHigh | P9P18 | L2L1 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| array_out_of_bounds field_overflow_upon_dereference | Supported | ||||||
| Parasoft C/C++test |
| CERT_C-API01-a | Avoid overflow when writing to a buffer |
...