...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported: Astrée reports non-standard language elements. | |||||||
| CodeSonar |
| BADFUNC.* | Many checks for uses of functions that have vendor-specific differences | ||||||
| Helix QAC |
| C3375 |
...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported: Astrée reports non-standard language elements. | |||||||
| CodeSonar |
| BADFUNC.* | Many checks for uses of functions that have vendor-specific differences | ||||||
| Helix QAC |
| C3375 |