CodeSecure
1 known investors
Find your way into CodeSecure
CodeSecure provides application security testing tools for high-integrity software development, with a focus on static analysis for languages including Ada, SPARK, C/C++, and Rust. In 2025 it merged into the AdaCore group, integrating its offerings into AdaCore's software assurance and DevSecOps toolchain.
Investors · 1
Frequently asked questions
- What does CodeSecure do?
- CodeSecure provides application security testing tools for high-integrity software development, with a focus on static analysis for languages including Ada, SPARK, C/C++, and Rust. In 2025 it merged into the AdaCore group, integrating its offerings into AdaCore's software assurance and DevSecOps toolchain.
- Who are CodeSecure's investors?
- CodeSecure's investors include Battery Ventures.

