AdaCore

About AdaCore

For over 30 years, AdaCore has helped people build software that matters. AdaCore provides tools for high-integrity development in Ada, SPARK, C, C++, and Rust.
We build our toolchains to meet the most rigorous standards so you can focus on your code and reach your certification goals. AdaCore supports high-integrity industries by offering compiler-toolchain and analysis-tool qualification, along with certification evidence for compliance with industry standards.

We have world-leading experts in Static Analysis Testing and Dynamic Analysis Testing. AdaCore’s Static Analysis capabilities consist of GNAT Static Analysis Suite for automatic analysis of high-integrity Ada code, and CodeSonar® for powerful static analysis of C/C++ and other languages. The Dynamic Analysis Suite comprehensively supports Ada users, encompassing metrics computation, coding standard verification, cybersecurity vulnerability scanning, and high-assurance verification.