Black Duck Coverity vs NaiveSystems Analyze

Black Duck Coverity is a paid static analysis solution for finding security vulnerabilities and code quality defects in source code before software ships. It analyzes code without executing it, scanning across files and libraries in entire codebases. Black Duck lists support for 22 programming languages and more than 250 frameworks, along with standards including MISRA, AUTOSAR, ISO 26262, PCI DSS, CERT C/C++/Java, DISA STIG, OWASP Top 10, and CWE Top 25. Coverity is TÜV SÜD certified for IEC 61508-3 support-tool requirements and qualified for use up to ASIL D under ISO 26262 and Level A under DO-178C. The Code Sight IDE plug-in offers real-time results, issue summaries, and code fixes. IDE, SCM, and CI integrations can trigger scans on commits and pull requests; listed connections include GitHub, GitLab, Bitbucket, Azure DevOps, Jenkins, and others. Deployment can be fully air-gapped on premises, including Kubernetes clusters. Pricing is customized to team size and codebase and supplied by quote.

NaiveSystems Analyze is a static analysis tool for finding security issues in source code and checking compliance with functional safety and coding standards. It uses syntax trees, symbolic execution, and context-sensitive interprocedural data-flow analysis to identify issues such as null pointer dereferences, memory leaks, tainted data, and buffer overflows. Filters, suppressions, and baselines help teams focus on critical defects, while diagnostics are intended to help address severe issues. Listed standards include MISRA C:2012, MISRA C++:2008, AUTOSAR C++14, the complete CERT C and C++ rule set, CWE Top 25, and OWASP Top 10 coverage. The displayed DevOps integrations include GitHub, GitLab, Gerrit, Jenkins, and Buildbot. A free, open-source runner and containerized analyzers support on-premises deployment; the vendor says this keeps source code and privacy under the user's control. The Free plan supports GCC and Clang, up to 100,000 lines of code, and up to four CPUs on one node. Windows and macOS support is for Enterprise customers. The vendor says analyzers for languages beyond C and C++ are in development.