AdaCore, a provider of software development tools for mission-critical systems, and CodeSecure, a leader in embedded software security, announced a definitive merger agreement. The unified company aims to advance software safety, security, and reliability across critical industries like defense, aerospace, automotive, and medical devices.
AdaCore and CodeSecure merge to create a global leader in embedded software solutions.
Combines AdaCore’s high-integrity tools with CodeSecure’s static application security testing (SAST).
Franco Gasperoni, AdaCore’s CEO, will lead the merged entity.
Focus on innovation, market expansion, and addressing safety and cybersecurity needs.
Serves defense contractors, aerospace OEMs, automotive suppliers, and medical device makers.
Backed by Battery Ventures, emphasizing risk management and growth.
The merger integrates AdaCore’s expertise in developing reliable software for safety-critical applications with CodeSecure’s advanced security testing tools, particularly its CodeSonar SAST platform. Franco Gasperoni, CEO of the combined company, stated, “This combination marks a significant milestone in our shared mission to secure the world’s most critical software.” The unified portfolio addresses both functional safety standards (e.g., DO-178C, ISO 26262) and cybersecurity threats, enabling clients to meet stringent regulatory demands.
AdaCore: For over 30 years, AdaCore has provided open-source toolchains for languages like Ada/SPARK, C/C++, and Rust, ensuring compliance with safety standards in aerospace, defense, and rail. Its tools, such as GNAT Pro and SPARK Pro, support formal verification and certification readiness.
CodeSecure: Offers industry-leading SAST tools to detect and remediate vulnerabilities early in the development lifecycle. Its solutions support languages like C/C++, Java, and Rust, and comply with standards like MISRA and CERT C++, critical for embedded systems.
Mike Dager, CEO of CodeSecure, noted, “By joining forces with AdaCore, we are combining our complementary strengths to deliver more robust solutions.”
The merger addresses the growing complexity of embedded systems, where software failures can lead to catastrophic consequences. Morad Elhafed of Battery Ventures, which backs both companies, emphasized, “Software security is key to high-integrity, mission-critical applications across several industries.” The combined company serves a diverse client base, including Lockheed Martin, Boeing, and automotive suppliers, expanding its presence in North America, Europe, and Asia.
The embedded software security market, valued at $15 billion in 2024, is projected to grow at a 12% CAGR through 2030, driven by rising cyber threats and regulations like the EU Cyber Resilience Act. Competitors like Synopsys and Checkmarx offer similar SAST tools, but the AdaCore-CodeSecure merger uniquely blends safety-critical development with advanced security testing. Posts on X, such as @AdaCoreCompany’s announcement, reflect positive sentiment, though some developers question integration timelines.
Under Gasperoni’s leadership, the merged company will prioritize:
Innovation: Enhancing static and dynamic analysis, leveraging AI and formal methods.
Market Reach: Expanding into emerging markets like Asia’s automotive sector.
Integration: Streamlining AdaCore’s toolchains with CodeSecure’s SAST for seamless DevSecOps workflows.
With Battery Ventures’ support, the company aims to scale operations, potentially targeting a $500M valuation by 2027, contingent on successful product integration and market adoption.
The AdaCore-CodeSecure merger, announced on June 18, 2025, positions the unified company as a global leader in embedded software security and safety. By combining complementary expertise, it empowers critical industries to build resilient, secure systems in an increasingly regulated and threat-prone landscape.
AdaCore equips developers to create reliable, safe, and secure software. For over 30 years, the company has delivered open-source toolchains for safety-critical languages including Ada/SPARK, C/C++, and Rust. AdaCore’s tools are built to meet the most rigorous standards and supported by long-term commitments to ensure continuity and certification readiness.
CodeSecure provides industry-leading static application security testing (SAST) tools that help organizations identify and remediate vulnerabilities early in the development lifecycle. With deep expertise in software security and compliance, CodeSecure supports the highest assurance requirements across embedded and enterprise software systems.
TechIntelPro empowers B2B technology decision-makers with the latest industry trends, deep insights, leadership perspectives and actionable intelligence to drive both organizational and professional milestones—and thrive on the tech pulse.