AdaCore: Build Software that Matters
AdaCore Hero Image

CodeSecure | AdaCore

CodeSecure is now part of AdaCore

In 2025, CodeSecure merged with AdaCore and is now part of the AdaCore group. This alignment brings together AdaCore’s 30+ years of experience in high-integrity software development with CodeSecure’s industry-leading application security testing, giving customers a broader, integrated portfolio of tools for building safe, secure, and reliable software in Ada, SPARK, C/C++ and Rust.

You can read more about the merger in our official announcement:

Support Portal for Existing CodeSonar Customers

Your existing CodeSonar support channels remain in place. For technical support, licensing questions, or case tracking, please continue to use the CodeSecure Support Portal.

Learn More About CodeSonar

CodeSonar is now offered as part of AdaCore’s static analysis portfolio for C/C++ and other enterprise languages. To explore product capabilities and integration options, visit the CodeSonar product page.

Binary code

Get in Touch

Contact us if you would like to discuss how AdaCore’s combined toolchain can support your software assurance and DevSecOps strategies.