Creusot helps you prove your code is correct in an automated fashion.

Write safer FFI code in Rust without polluting it with unsafe code

Kani Rust Verifier

Rust Analysis Platform

Statically detect memory, concurrency bugs and possible panic locations for Rust.

A curated list of awesome Rust checkers

A Pointer Analysis Framework for Rust

[ICSE SEIP 2024] Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust

Symbolic execution of LLVM IR with an engine written in Rust

Shuttle is a library for testing concurrent Rust code

Define compiler intermediate representation usable by external tools

Interface with the rustc compiler for the purpose of program verification

A reimplementation of Rudra with Charon

A debugging and profiling tool that can trace and visualize python code execution

A tool to detect code paths leading to Rust's panic handler

📚 Open Source book: Rust Source Code Analysis

Ownership analysis that helps translating C to Rust

Verified Rust for low-level systems code

A tool to generate ergonomic, buffer-based C++ APIs.

对 Rust 编写的代码运行一系列检查工具，并对结果进行报告和统计

A verified library of synchronization primitives and concurrent data structures

Manipulate LLVM-IR in Pure Rust

Cargo subcommands to invoke the LLVM tools shipped with the Rust toolchain

A fast and efficient type assistant for Python, including tensor shape inference

A static analyser to detect memory ordering misuses

Analysis of various tricky Rust code