...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| (customization) | CodeSonar's custom checking infrastructure allows users to implement checks such as the following.
| ||||||
| LDRA tool suite |
| 44 S | Enhanced Enforcement | ||||||
| Polyspace Bug Finder | R2016a | Argument to Argument gives read/write/search permissions to external users | |||||||
| PRQA QA-C |
| warncall fopen | Partially implemented |
...