GNAT Pro
The Standard for Reliable Development.
GNAT Pro offers software development environments and toolchains for Ada, C/C++, and Rust, featuring IDEs, native and cross compilers, a multi-language build system, multi-language debuggers, and configurable run-time libraries. GNAT Pro meets stringent safety and security certification standards, making GNAT Pro the trusted software development choice for high-integrity industries, including aerospace, defense, rail, and automotive.
Contact Us
Meet the GNAT Pro Family
GNAT Pro for Ada
High-integrity Ada toolchains that power critical software development.
GNAT Pro for C/C++
High-integrity C/C++ toolchains that take your C/C++ to the next level.
GNAT Pro for Rust
High-integrity Rust toolchains that offer best-in-class dependability & support.
Powering Native and Embedded Platforms
We support over one hundred off-the-shelf and custom platforms across the industry.
GNAT Pro Assurance
GNAT Pro Assurance provides critical support for high-integrity software development and is essential for certifiable software programs. We'll be there to support you for the long haul.
Sustained Branches
AdaCore supports GNAT Pro on sustained branches for long-lived software programs.
Known-Problem Reporting
We provide a tool that searches your code for known problems, so you know if you need to request a critical fix.
Expert Support
GNAT Pro is directly supported by AdaCore’s expert engineers. We offer you direct access to the team that develops and maintains the product. We guarantee a response within 2 business days, ensuring rapid issue resolution, tailored advice, and guidance on complex development challenges. Our support helps teams stay productive, meet deadlines, and navigate high-integrity system development with confidence.
Safety Certified
GNAT Pro has been certified against DO-178B/C, ISO-26262, EN-50128, IEC 61508, ECSS-E-ST-40C and ECSS-Q-ST-80C, and others, with certified libraries, traceability analysis, and tool qualification to ensure compliance, early issue detection, and predictable, reliable behavior.
Certified Toolchains
The GNAT Pro toolchains have been certified for various standards, so we're ready to meet your needs when your certification process requires toolchain assurance. They are provided with the necessary monitoring of known problems, and can provide artifacts such as safety guides or source-to-object traceability.
Qualified Support Tools
SPARK, GNAT Static Analysis Suite, and GNAT Dynamic Analysis Suite all offer qualification kits so you can use them in the development and verification of your certified software. This includes MC/DC code coverage analysis, coding standard verification, formal proof and more.
Certified Runtimes
GNAT Pro provides certifiable run-time libraries for safety-critical systems, rigorously verified for safe, deterministic behavior. Optimized for reliability and predictability, they minimize attack surfaces while supporting compliance with stringent certification standards.
GNAT Pro's IDEs
GNAT Studio
GNAT Studio is an intuitive, multi-language IDE that acts as a central portal to the GNAT Pro toolchain. Supporting Ada, C, and C++, GNAT Studio offers syntax-directed editing, source navigation, dependency graphs, refactoring, code assistance, and integration with version control systems. GNAT Studio provides seamless access to SPARK, GNAT Static Analysis Suite, and GNAT Dynamic Analysis Suite - all within a unified, highly extensible interface.
Visual Studio Code
Microsoft's VS Code offers a familiar, lightweight, multi-platform interface that excels at remote development. GNAT Pro offers VS Code extensions for Microsoft's Visual Studio Code. We support Ada software development via Ada and SPARK language support, GNAT Static Analysis Suite, and GNAT Dynamic Analysis Suite; C/C++ development via CodeSonar support; and Rust development via Rust Analyzer.
Multi-Language Software Development
High Integrity Software environments are seldom built using a single language. Multi-language projects are the norm. GNAT Pro makes building multi-language software easy. In addition to the language-specific compilers, it provides a common set of tools available across all supported languages.
GPRbuild
GPRbuild is GNAT Pro's multi-language build system. Build all of your languages, in one place, with ease.
Bindings
GNAT Pro offers tools that automate the development and maintenance of idiomatic multi-language bindings.
GDB
GNAT Pro offers GDB across the family, so you can debug multi-language code with ease and familiarity.
GNATstack
GNATstack is a static analysis tool to accurately predict the maximum stack size required.
Supply-Chain Security
AdaCore is an ISO 9001 and NIST SP 800-171 compliant organization targeting SLSA Build Level 3 compliance. That gives you the confidence that our software hasn’t been tampered with and can be traced securely back to its sources.
Secure Build
GNAT Pro is built securely, so you have absolute confidence in the integrity of your toolchains.
SBOMs
Each tool within the GNAT Pro family is delivered with a Software Bill of Materials (SBOM).
Vulnerability Reporting
We monitor for vulnerabilities and report them proactively, so you don't have to.
Get More from GNAT Pro
GNAT Static Analysis Suite
A comprehensive set of tools for enforcing coding standards, analyzing code metrics, and detecting defects and vulnerabilities in Ada code.
GNAT Dynamic Analysis Suite
Provides unit testing and fuzz testing capabilities for Ada, along with a structural coverage analysis tool for Ada, C, C++, and soon Rust.
SPARK Pro
Leverages formal methods to automatically prevent or detect a wide range of bugs in Ada, ensuring higher reliability and security. SPARK Pro supports all versions of Ada from Ada 83 through Ada 2022.
When it comes to safety-critical systems, the Ada language has an impressive pedigree and track record. The combination of GNAT Pro and Ada provides the technology we need to develop the ADIRU software for the new Airbus A350 XWB
Speak with a GNAT Pro Expert Today
Ready to build safer, more secure, and compliant software without delays or compromises? Our engineers are here to help you tackle your toughest challenges.
Find answers to common questions about GNAT Pro
We offer porting services for our Ada, C/C++ and Rust compilers, leveraging GCC and LLVM backends and configuring the runtime environment for customer-specific architectures and operating systems. We have customers we support on fully custom OS builds and bespoke hardware platforms. Once a port is complete, we support it at the same level as any of our standard configurations.
GNAT Pro is sold on a per-user, per-year basis with no licence locks. Once purchased for your team, you are free to install and run it anywhere in your environment, as long as you stay within the terms of your named-user agreement.
Our toolchain is derived from the open-source versions, and we contribute our patches upstream wherever possible. If you are already using GCC or LLVM, migrating to GNAT Pro is straightforward. The commercial offering adds the guarantees and support that industrial projects require: long-term branch stability, SBOMs, vulnerability monitoring, and safety certification services.
