CodeSecure merged with AdaCore in 2025, bringing together application security testing capabilities with AdaCore's high-integrity software development tools. The company's primary product, CodeSonar, is a static analysis tool designed for C/C++ and other enterprise languages. CodeSonar performs static code analysis to identify security vulnerabilities and code quality issues in software applications. The tool is now integrated into AdaCore's broader portfolio, which includes compilation toolchains, formal proof systems, and dynamic analysis capabilities for Ada, SPARK, C/C++, and Rust programming languages. The product targets organizations developing safety-critical and security-critical software across industries including avionics, automotive, defense, medical devices, rail, security, and space systems. CodeSonar operates as part of AdaCore's static analysis offerings alongside GNAT Static Analysis for Ada. Following the merger, existing CodeSonar customers continue to access support through the CodeSecure Support Portal for technical assistance, licensing questions, and case tracking. The tool is positioned for organizations requiring rigorous code analysis to meet compliance standards and security requirements in regulated industries.