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 CodeSonar Customers
CodeSecure customer support has moved to GNAT Tracker, AdaCore’s unified support portal. The new portal provides a single place to manage support cases, access software releases, and find documentation.
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.
Get in Touch
Contact us if you would like to discuss how AdaCore’s combined toolchain can support your software assurance and DevSecOps strategies.