GNAT Pro for Rust
Best-in-Class Dependability & Support. Now for Rust.
GNAT Pro for Rust delivers compilers, language libraries and tools with unmatched reliability, expert support, and long-term stability. We provide upstream Rust on the platforms you need, empowering you to move forward with confidence in safety-critical Rust applications.
Contact UsGNAT Pro for Rust Solves
Toolchain Volatility
Rust moves fast. The Rust community releases a new version of the language and its associated toolchain every six weeks - and does not backport fixes to previous versions.
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-Term Support
We know that your software needs to be maintained and updated over time in response to changing requirements. You need confidence that if an issue such as a code generation problem is encountered, it will be addressed in the context of the version of the compiler that is currently being used.
GNAT Pro for Rust Enables
GNAT Pro for Rust provides industrial-grade Rust toolchain support.
Rust Support
GNAT Pro for Rust is following regular Rust language updates, while ensuring that the pace of release is compatible with industrial constraints.
Portability Across Platforms
The same GNAT Pro for Rust technology is available on many different combination of OSes and hardware, easing ports from one environment to the next or simultaneous support of different environments with the same code base.
Long Term Maintenance
The GNAT Pro for Rust versions that we provide can be supported for years, provided with targeted bug fixes and known problem monitoring, allowing customers to select a given version and keep it as long as necessary.
Safety Certification Readiness
GNAT Pro for Rust is developed with safety certification in mind, preparing the toolchain to be used in regulated environments such as DO-178, ISO-26262 or IEC 61508.
Speak to an Expert
Discover the advantages that GNAT Pro for Rust can bring to your high-integrity systems.
GNAT Pro for Rust Brings
Development
DevOps
All tools provided for developers are DevOps-ready and can be integrated into off-the-shelf or custom pipelines.
LLVM Toolchain
Modern extensibility, rapid innovation, and access to a vibrant ecosystem of tools and plugins.
IDE Integration
GNAT Pro for Rust is integrated with VS Code
Multi-Language
Compiler
GNAT Pro is providing a coherent compilation model and run-time library support across Rust, Ada and C/C++, in order to support building an application by linking together binaries from different languages.
Builder
GPRbuild is the project manager at the heart of the GNAT toolchain, designed to sequence complex build processes involving multiple languages.
Debugger
The GNAT Pro debugger, GDB, provides an integrated experience through debugging multi-language applications including Rust, C/C++ and Ada.
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 Rust 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.
Long-Term Support
Developing mission-critical applications requires an industrial-grade toolchain that ensures stability, security, and long-term maintainability. GNAT Pro addresses these challenges by offering a reproducible build system, controlled and verified dependencies, and untampered software delivery. Additionally, its support includes timely security vulnerability reports and controlled updates, giving teams the confidence to deliver secure, high-quality software in compliance with stringent industry standards.
Powering Native and Embedded Platforms
We support off-the-shelf and custom platforms across industries.
GNAT Pro for Rust Includes
rustc
The official compiler for the Rust programming language, with critical fixes backported when necessary.
cargo
The Rust package manager and build system.
Rust Analyzer
The Rust language server and VS Code extension.
rustfmt
The official Rust code formatter that automatically reformats Rust source code to conform to the standard Rust community style guidelines
gdb
The GNU debugger, ready for use with Rust.
gprbuild
The GNAT Pro multi-language builder allowing seamless hybrid-language project builds with a single command without sacrificing guarantees
Runtime Libraries
Essential Rust runtime libraries: libcore, liballoc, libstd, libproc_macro and libtest.
Get More from GNAT Pro for Rust
Certification
AdaCore offers toolchain qualification and runtime certification for GNAT Pro for Rust.
Mentorship
Be ready to bid on new programs that require Rust — our mentorship programs ensure your team is prepared.
Training
Get your team up to speed with Rust — our trainers will take you through the fundamentals.
Rust complements Ada in ways that align perfectly with how we see the future of our tools. With GNAT Pro for Rust, we gain access to an industrial-grade Rust toolchain backed by AdaCore’s expertise and a proven Ada ecosystem. Where Ada offers unmatched reliability and maturity, Rust brings memory safety and a developer experience that encourages clean, robust code. GNAT Pro for Rust allows us to integrate both languages into a unified workflow, this empowers our engineering teams to choose the right language for the right task. This will let us evolve our toolchain with the best of both languages and help us build the next generation of RVS with both confidence and agility.
Build Rust Systems You Can Rely On
Discover how GNAT Pro for Rust delivers long-term support, predictable updates, and certifiable reliability for high-integrity systems.
