AdaCore

CodeSecure merged with AdaCore in 2025 and now operates as part of the AdaCore group. The company developed CodeSonar, a static analysis tool for application security testing that is now integrated into AdaCore's broader portfolio. CodeSonar provides static analysis capabilities for C/C++ and other enterprise languages, focusing on identifying security vulnerabilities and code quality issues during the software development process. The merger combines CodeSecure's application security testing technology with AdaCore's experience in high-integrity software development. The combined offering supports software development in Ada, SPARK, C/C++, and Rust programming languages. CodeSonar is positioned as part of AdaCore's static analysis portfolio and is designed to support software assurance and DevSecOps strategies. The tool targets organizations that require rigorous code analysis for security and reliability purposes. CodeSecure maintains its existing support infrastructure through a dedicated support portal for CodeSonar customers, providing technical support, licensing assistance, and case tracking. The integration aims to provide customers with tools for building safe, secure, and reliable software across multiple programming languages used in high-integrity and enterprise environments.