This is a static analysis project for analyzing Rust programs.
☆137Feb 21, 2026Updated last week
Alternatives and similar repositories for RAPx
Users that are interested in RAPx are comparing it to the libraries listed below
Sorting:
- ☆61Feb 15, 2023Updated 3 years ago
- A fully automated Rust fuzz driver generator☆62Jun 17, 2025Updated 8 months ago
- A curated list of awesome Rust checkers☆64Feb 3, 2026Updated 3 weeks ago
- A additional Rust compiler pass to detect memory safe bugs of Rust programs.☆17Dec 28, 2023Updated 2 years ago
- A Pointer Analysis Framework for Rust☆67Jun 17, 2025Updated 8 months ago
- RustHorn: A CHC-based automated verifier for Rust☆90Mar 14, 2025Updated 11 months ago
- ☆163May 24, 2024Updated last year
- Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University☆34Oct 20, 2025Updated 4 months ago
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆11Feb 13, 2025Updated last year
- ☆200Mar 4, 2025Updated 11 months ago
- UB-free and deterministic rustc fuzzer☆98Dec 21, 2025Updated 2 months ago
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆584Oct 21, 2025Updated 4 months ago
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- Ownership analysis that helps translating C to Rust☆31Nov 25, 2025Updated 3 months ago
- ☆27Apr 27, 2022Updated 3 years ago
- A framework for large scale analysis of the Rust ecosystem.☆37Feb 15, 2026Updated 2 weeks ago
- a library to make it easier to quickly hack on rust☆18May 11, 2025Updated 9 months ago
- Data processing pipelines☆13Feb 9, 2026Updated 2 weeks ago
- ☆37Updated this week
- Analyze Rust crates without touching compiler internals☆295Updated this week
- understanding the safety of Rust☆100Apr 18, 2020Updated 5 years ago
- ☆32Apr 29, 2025Updated 10 months ago
- Rust Memory Safety & Undefined Behavior Detection☆1,371Mar 9, 2024Updated last year
- ☆74Feb 27, 2024Updated 2 years ago
- ☆16Jan 23, 2026Updated last month
- Verifying the Rust standard library☆324Feb 23, 2026Updated last week
- ☆48Jun 30, 2025Updated 8 months ago
- Rust support for RISC-V Platform-Level Interrupt Controller☆10Oct 13, 2022Updated 3 years ago
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- A simple music player for the terminal, written in Rust.☆11Feb 8, 2025Updated last year
- Thesis code☆26Aug 16, 2023Updated 2 years ago
- A walkthrough for making your own operating system in Rust, inspired by Philipp Oppermann's blog "Writing an OS in Rust"☆14Updated this week
- Verify naive = datafrog-opt, in rust/polonius☆15Jun 26, 2025Updated 8 months ago
- Structure-Aware C to Rust Translator☆21Dec 29, 2025Updated 2 months ago
- Aspect-oriented programming in Rust☆13Nov 1, 2021Updated 4 years ago
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated last year
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated 11 months ago
- Testing the Rust standard library with Miri, continuously☆15Feb 4, 2026Updated 3 weeks ago
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated this week