...
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 | |||||||||||
Include Page | Polyspace Bug Finder_V | Polyspace Bug Finder_V | Argument to Argument gives read/write/search permissions to external users | ||||||||||||
PRQA QA-C |
| 5013 | Partially implemented |
...