CodeSecure

CodeSecure is an application security testing platform, headquartered in Bethesda, United States.

CodeSecure was acquired by AdaCore (2025-06-23).

Data from The Signal by Return on Security — cybersecurity funding, M&A activity, and company intelligence.