...
Recommendation | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
INT01-C | Medium | Probable | No | YesMedium | P8 | L2 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Axivion Bauhaus Suite |
| CertC-INT01 | |||||||
| CodeSonar |
| LANG.TYPE.BASIC | Basic numerical type used | ||||||
| Compass/ROSE | Can detect violations of this recommendation. In particular, it catches comparisons and operations where one operand is of type | ||||||||
| Splint |
|
...