GNAT Pro for Ada
The Platform for Ada Development.
GNAT Pro for Ada offers compilation and development capabilities across a wide range of platforms and targets, along with full coverage of Ada language versions. Combined with, certification support, and long-term maintenance, GNAT Pro gives developers the confidence and flexibility to deliver secure, reliable applications across diverse and demanding industries.
Contact UsGNAT Pro for Ada Solves
Ada Support
Developers using the Ada programming language need a development environment that supports all versions of the language and integrates in modern software development infrastructures, while providing a complete ecosystem of tools.
Industrial Readiness
Toolchains in industrial contexts must be usable in commercial and export-controlled environments, provide evidence of cybersecurity monitoring and SBOMS, and, when required, demonstrate compliance with safety and security regulations.
Platform Availability
Hardware and RTOSes are chosen first, toolchains second. The toolchain selected needs to be available - or portable - to various environments to meet the unique choices of companies and projects, in particular in the embedded domain.
Long Lifecycles
Development may last years, maintenance may last decades. Projects need to ensure availability of the technology they chose through the entire life of the software, while ensuring active support when necessary.
GNAT Pro for Ada Enables
GNAT Pro for Ada provides industrial-grade Ada toolchain support.
Ada Software Development
GNAT Pro for Ada supports Ada 83, 95, 2005, 2012 and 2022, together with a number of specific language extensions. The toolchain supports the full language history, allowing projects to chose between remaining within a given standard or migrating to the next.
Portability across Platforms
GNAT Pro for Ada supports the widest range of platforms in the industry, from large servers to embedded devices, from legacy platforms to cutting edge ones. The toolchain can also be easily ported to user-specific environments.
Safety Certification
GNAT Pro for Ada toolchain and runtimes have been certified to the highest safety level under many safety standards, including DO-178, ISO-26262, EN-50128 or IEC 61508.
Long Term Support
The GNAT Pro for Ada versions that we provide can be supported for the entire lifetime of the project, providing the team with targeted bug fixes and known problem monitoring, allowing them to select a given toolchain version and keep it as long as necessary, up to decades.
Speak to an Expert
Discover the advantages that GNAT Pro for Ada can bring to your high-integrity systems.
GNAT Pro for Ada Brings
Development
DevOps
All tools provided for developers are DevOps-ready and can be integrated into off-the-shelf or custom pipelines.
GCC and LLVM Toolchains
Decades of proven stability and performance, trusted across safety-critical and mission-critical systems worldwide.
IDE Integration
GNAT Pro for Ada is integrated with GNAT Studio, and VS Code.
Multi-Language Builder
GPRbuild is the project manager at the heart of the GNAT toolchain, designed to simplify and streamline complex builds.
Ada Capabilities
Code Formatter
GNATformat is the code formatter for the Ada language that applies the coding style described in the GNAT Coding Style guide.
Documentation Generation
GNATdoc processes Ada source files, extracts documentation from the sources, and generates either annotated HTML files or Restructured Text (.rst) files.
C Interfacing
h2ads is a tool that parses C header files to generate Ada package specifications that correspond to the header information (typically referred to as a thin binding).
Stack Checking
GNATstack enables Ada/C/C++ software development teams to accurately predict the maximum size of the memory stack required for an embedded application.
Compliance
Software Bill of Material
AdaCore produces Software Bills of Materials (SBOMs) for all AdaCore products supplied in the industry-standard SPDX format, allowing automated incorporation into customers’ vulnerability management and reporting systems.
Vulnerability / CVE Reporting & Assessment
GNAT Pro for Ada is being monitored for potential security vulnerabilities, allowing customers to keep up-to-date information of any potential issue with the technology used in production.
Export Control
AdaCore software is classified as low-risk commercial technology under U.S. and EU export regulations and can generally be exported without a license within North America and Europe, subject only to narrow restrictions.
Support
GNAT Pro is supported by AdaCore’s expert engineers, offering 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.
Powering Native and Embedded Platforms
We support over one hundred off-the-shelf and custom platform across the industry.
GNAT Pro for Ada Includes
gnat
The official open-source compiler for the Ada programming language, counting over 30 years of developments, supporting GCC and LLVM.
Runtime Libraries
Runtimes libraries ranging from full language support to minimal embedded run-times, flexible for all execution contexts.
User Libraries
Various libraries including graphical interfaces (GtkAda), windows bindings (win32ada) POSIX bindings (Florist), standard components (GNATcoll), XML Support (XMLAda) and more.
Libadalang
A modern and versatile library for syntactic and semantic analysis of Ada (and SPARK) code - even when incomplete or invalid. Libadalang underpins many of AdaCore’s internal tools. It supports tool development in both Ada and Python.
alire
Alire is a package manager and project builder for the Ada and SPARK programming languages, simplifying dependency management and toolchain setup.
gdb
The GNU debugger, ready for use with Ada and able to debug multi-language code also including C/C++ and Rust.
gprbuild
The GNAT Pro multi-language builder allowing seamless hybrid-language project builds with a single command without sacrificing guarantees.
GNATstack
GNATstack is a multi-language stack analysis tools able to compute statically maximum usage of stack consumption.
h2ads
A binary-safe binding generator from a C header to an Ada specification file, ensuring correct binary-level interfacing between the two languages.
GNAT Studio
AdaCore flagship IDE GNAT Studio supports comprehensive Ada editing features, including syntax highlighting, semantic code navigation and completion, refactoring and quick fixes. It's integrated with the rest of the toolchain.
gnatmem
GNATmem is a utility that monitors memory allocation and deallocation at run time, detecting memory leaks and corruption.
GNATkp
GNATkp (or GNAT Known Problem) checks the impact of known issues on customer code, identifying patterns that may trigger code generation errors on previous compiler versions.
Get More from GNAT Pro for Ada
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, along with a structural coverage analysis tool.
SPARK Pro
Leverages formal methods to automatically prevent or detect a wide range of bugs in Ada, ensuring higher reliability and security.
We selected AdaCore and the Ada language because we believe that this technology and related tools will increase the maintainability and quality of our software and make it easier to provide some evidence for certain software certification objectives. The quality of AdaCore’s support was an important advantage, and another anticipated benefit was the ease of developing mature code.
When it comes to safety-critical systems, the Ada language has an impressive pedigree and track record. The combination of GNAT Pro and Ada 2005 provides the technology we need to develop the ADIRU software for the new Airbus A350 XWB (Xtra Wide-Body).
Build Ada Systems You Can Rely On
Discover how GNAT Pro for Ada delivers long-term support, predictable updates, and certifiable reliability for high-integrity systems.
