GNAT Pro - AdaCore

Products > Development Toolchain_

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.

Learn More

GNAT Pro for C/C++

High-integrity C/C++ toolchains that take your C/C++ to the next level.

Learn More

GNAT Pro for Rust

High-integrity Rust toolchains that offer best-in-class dependability & support.

Learn More Platform Support_

Powering Native and Embedded Platforms

We support over one hundred off-the-shelf and custom platforms across the industry.

Support for the Long Term_

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.

Integrated Development Environments_

GNAT Pro's IDEs

GNAT Studio VS Code

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.

Ada/SPARK, C/C++, and Rust_

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.

Secure Development_

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.

AdaCore Cybersecurity Center

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.

Related Products & Services_

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.

Explore

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.

Explore

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.

Explore

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

Contact Us_

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.

Get in Touch Explore More_

Latest News and Resources

[Blog Post]

M. Anthony Aiello

GNAT IQ

[Blog Post]

Mark Hermeling

GNATpolyglot: Mastering Multiple Languages

[Video]

Ada source level debugging with Lauterbach Trace32