AdaCore Merges With CodeSecure for Unified Developer Tools

Merger Strengthens AdaCore’s Reach in C and C++ Static Testing for Embedded Systems Michael Novinson (MichaelNovinson) • June 20, 2025

AdaCore plans to merge with an application security testing company backed by the same venture capital fund to boost its static analysis tools for the C and C++ programming languages.

See Also: On Demand | Ransomware in 2025: Evolving Threats, Exploited Vulnerabilities, and a Unified Defense Strategy

The New York software development tool provider said Washington D.C.-area CodeSecure's strength will complement AdaCore's historic specialization in the Ada and Rust programming languages. AdaCore Chief Product and Revenue Officer Quentin Ochem said providing static analysis around safety-critical applications fills a significant gap in AdaCore's offerings and will boost security verification.

"We didn't have a sincere, prosperous solution for static analysis and CodeSecure just seemed to be the ...