safer-rust / RAPxLinks
This is a static analysis project for analyzing Rust programs.
☆136Updated this week
Alternatives and similar repositories for RAPx
Users that are interested in RAPx are comparing it to the libraries listed below
Sorting:
- A fully automated Rust fuzz driver generator☆61Updated 7 months ago
- A curated list of awesome Rust checkers☆64Updated this week
- ☆163Updated last year
- ☆61Updated 2 years ago
- Ownership analysis that helps translating C to Rust☆31Updated 2 months ago
- A randomized program fuzzer for the Rust programming language☆64Updated 2 years ago
- ☆31Updated 9 months ago
- Detect concurrency and memory bugs and possible panic locations in Rust projects☆583Updated 3 months ago
- RustSBI Specialized Domain Knowledge Quiz LLM☆104Updated 3 months ago
- Rust Unikernel OS☆90Updated 2 weeks ago
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated last week
- ☆198Updated 11 months ago
- A buddy system allocator in pure Rust.☆129Updated 3 weeks ago
- understanding the safety of Rust☆100Updated 5 years ago
- UB-free and deterministic rustc fuzzer☆95Updated last month
- The cold linker☆71Updated last month
- ☆37Updated 3 years ago
- A additional Rust compiler pass to detect memory safe bugs of Rust programs.☆17Updated 2 years ago
- 快速陷入处理☆39Updated 2 weeks ago
- Verifying the Rust standard library☆322Updated this week
- Thesis code☆26Updated 2 years ago
- A Pointer Analysis Framework for Rust☆65Updated 7 months ago
- 对 Rust 编写的代码运行一系列检查工具,并对结果进行报告和统计☆62Updated last month
- QEMU platform SBI support implementation, using RustSBI☆152Updated 4 months ago
- A framework for large scale analysis of the Rust ecosystem.☆37Updated this week
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆211Updated 10 months ago
- A Rust Linter with Decoupled Rule Definition and Detection Logic.☆17Updated last week
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆30Updated last year
- Safe Interactions with Foreign Languages through Omniglot☆48Updated last month
- An experimental modular OS written in Rust.☆730Updated last month