Artisan-Lab / RAPx
Rust Analysis Platform
☆60Updated last week
Alternatives and similar repositories for RAPx:
Users that are interested in RAPx are comparing it to the libraries listed below
- ☆54Updated 2 years ago
- A fully automated Rust fuzz driver generator☆52Updated 6 months ago
- A curated list of awesome Rust checkers☆32Updated 2 weeks ago
- ☆147Updated 10 months ago
- ☆30Updated 2 years ago
- A randomized program fuzzer for the Rust programming language☆63Updated last year
- A framework for large scale analysis of the Rust ecosystem.☆38Updated this week
- Thesis code☆26Updated last year
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆26Updated 3 months ago
- A formally verified security module for AMD confidential VMs☆43Updated 2 weeks ago
- UB-free and deterministic rustc fuzzer☆76Updated 3 months ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆35Updated 7 months ago
- ☆137Updated last month
- ☆46Updated 9 months ago
- A additional Rust compiler pass to detect memory safe bugs of Rust programs.☆15Updated last year
- understanding the safety of Rust☆98Updated 5 years ago
- automatially find crashes in the rust compiler & tooling☆73Updated last year
- ☆26Updated 2 weeks ago
- RedLeaf Operating System☆123Updated 2 years ago
- ☆26Updated 2 years ago
- A Pointer Analysis Framework for Rust☆51Updated 2 months ago
- Ownership analysis that helps translating C to Rust☆20Updated last year
- code snippets for☆9Updated 9 months ago
- Concurrent-C to Rust Automatic Translator☆15Updated 2 years ago
- A Type-1.5 hypervisor written in Rust.☆62Updated 11 months ago
- ☆71Updated last year
- ☆12Updated 4 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆59Updated this week
- Rust Unikernel OS☆77Updated last week
- This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…☆14Updated last year