&nsbp;
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, and we give trusted support for open-source analysis tools and toolchains.
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.
With a commitment to long-term support, AdaCore ensures the continuity and reliability of its toolchains for decades.
