Klockwork

Klocwork is a static code analysis and SAST tool for C, C++, C#, Java, JavaScript, and Python that identifies software security, quality, and reliability issues to help enforce compliance with standards.  
By: Security Compass
Klocwork integration enables teams to automatically verify that security tasks have been implemented, and identifies which requirements the tools are unable to verify. SD Elements leverages the results of security tools to automatically mark the verification status of its security requirements.