Uses the control flow graph to verify the ownership and borrowing system of the programming language.

CI platform used by the Ferrocene repository to run its tests and build its releases.

Determines whether the alternatives of a match expression fully cover the range of a type.

A version control system that tracks changes in a set of computer files.

Code hosting and collaboration platform.

Hazard and Operability study. It is a process for analyzing hazards in a systematic way by applying guide words to each node of studied item.

Checks various correctness properties of the AST, and then translates the AST to HIR.

Ferrocene Known Problems contain the description and scope of the unwanted behavior, suggest workarounds, detection and mitigation strategies, and list the affected releases.

A stream of characters that represent the text of a Rust program in order to produce lexical elements.

Translates the MIR into LLVM IR.

Replaces macro invocations with the implementations of the invoked macros.

Translates the THIR into MIR.

Uses the control flow graph to instantiate a generic by copying its template and replicating its generic parameters with generic arguments at appropriate instantiation sites.

Uses the expanded AST produced by the Macro Expander to determine which paths refer to which names, which methods are being called by method call expressions, and which fields are selected by field access expressions.

Performs inlining, machine-code layout, register allocation, and similar optimizations.

Uses the lexical elements produced by the Lexer to construct the AST.

Uses type information to determine whether a single pattern or a tree of patterns can fully capture a value.

Translates the HIR into THIR.

Pairs an implementation with a trait or a type by satisfying the various implicit and explicit constraints imposed by the trait or type.

Infers and verifies the types of expressions and values based on the type system.

The Rust project, also referred to as “upstream”, is an umbrella project that encompasses contributions from individuals and dedicated teams, and is sponsored by interested companies through the Rust Foundation.

A portable high-level assembly language that employs a RISC instruction set.

Automotive Safety Integrity Level

Abstract Syntax Tree

Continuous Integraiton

High-Level Intermediate Representation

International Electrotechnical Commission

International Organization for Standardization

Mid-Level Intermediate Representation

Pull Request

Tool Confidence Level

Typed High-Level Intermediate Representation