reviewdog
Posts linter results as code review comments
Discover. Evaluate. Test.
Static analysis of C and C++ code
Polyspace Bug Finder is a static analysis tool by MathWorks for C and C++. It identifies run-time errors, concurrency issues, security vulnerabilities and other defects, and checks compliance with coding standards such as MISRA C, MISRA C++, AUTOSAR C++14, CERT C and CWE.
It is a commercial product.
There are no reviews yet.