 
                            ...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Coverity | 6.5 | REVERSE_NEGATIVE | Fully implemented | ||||||
| LDRA tool suite | 
 | 621 S | Enhanced Enforcement | ||||||
| PRQA QA-C | 
 | 1051 | Partially implemented | ||||||
| Cppcheck | 
 | negativeArraySize | Context sensitive analysis. Will only warn if given size is negative. | 
...