/Companies

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.