Klocwork

High-performance static analysis tool for C, C++, C#, Java, and Python that identifies security, safety, and reliability flaws in real-time.

Klocwork (a Perforce product) automates static code analysis to detect over 1,000 types of defects, including memory leaks and buffer overflows. It enforces rigorous industry standards (MISRA, AUTOSAR, and CERT) while integrating seamlessly into developer IDEs like Visual Studio or Eclipse. Teams use its Differential Analysis feature to scan only changed code: this keeps CI/CD pipelines fast and provides instant feedback on massive codebases. It is built for scale, handling millions of lines of code for high-integrity sectors like automotive and aerospace.

https://www.perforce.com/products/klocwork