PVS-Studio
PVS-Studio is a proprietary static code analyzer on guard of code quality, security, and code safety supporting C, C++, C++11, C++/CLI, C++/CX, C# and Java.
PVS‑Studio detects various errors typos, dead code, and potential vulnerabilities, the analyzer matches warnings to the common weakness enumeration, SEI CERT coding standards, and supports the MISRA standard. PVS‑Studio warning classifications for various standards:
- CVE
- SEI CERT coding standard
- MISRA
- OWASP application security verification standard