GNAT Pro for Rust 25 Release Notes¶

We present here a few highlights of the new features in GNAT Pro for Rust 25.

Rust Version ¶

This release of GNAT Pro for Rust is based on Rust version 1.77.2, with additional fixes for the following CVEs:

CVE-2024-43402

From 25.0, you can download the GNAT Pro for Rust vulnerability report from the Release Download section. It will provide you the list of the CVEs that can impact this product and the corresponding impact analysis describing whether the product is concerned by each CVE.

Platforms ¶

Initial Platform Support ¶

GNAT Pro for Rust is available for the following platforms:

Hosts ¶

x86_64 Windows 11, both as host and target
x86_64 Linux, both as host and target

Targets ¶

Aarch64 Bare Metal (no-std), hosted on Linux or Windows
Aarch64 Linux, hosted on Linux

Tools ¶

GNAT Pro for Rust includes the following tools:

Toolchain ¶

cargo
rustc
gcc (for linking only)
binutils
gdb

Multi-Language Build Support ¶

gprbuild
gprclean
gprconfig
gprinstall
gprinspect
gprname

IDE and Analysis ¶

rust-analyzer
clippy

GPRbuild Integration ¶

GNAT Pro for Rust provides initial, beta integration with GPRbuild. This support allows you to include Rust library crates in your Ada projects: GPRbuild will call Cargo to build the Rust libraries and link them into your Ada project, automatically. See the documentation for more information.