KomaEc / crown

Related projects ⓘ

Alternatives and complementary repositories for crown

• S2-Lab / ERASan
  ☆43Updated 4 months ago
• lizhuohua / rust-ffi-checker
  ☆49Updated last year
• BurtonQin / Awesome-Rust-Checker
  A curated list of awesome Rust checkers
  ☆14Updated last month
• Artisan-Lab / RAP
  Rust Analysis Platform
  ☆39Updated this week
• lizhuohua / rust-mir-checker
  ☆134Updated 5 months ago
• sslab-gatech / Rudra-PoC
  Trophy case for Rudra bugs.
  ☆36Updated 8 months ago
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆70Updated 6 months ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆48Updated 3 weeks ago
• Artisan-Lab / Rust-memory-safety-bugs
  ☆28Updated 2 years ago
• Artisan-Lab / RULF
  A fully automated Rust fuzz driver generator
  ☆50Updated last month
• LiHRaM / taint
  Thesis code
  ☆25Updated last year
• novafacing / cannonball
  Deprecated! Use qemu-rs instead :)
  ☆72Updated 10 months ago
• cognitive-engineering-lab / rustc_plugin
  A framework for writing plugins that integrate with the Rust compiler
  ☆135Updated 3 months ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆33Updated last week
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆60Updated last year
• rust-corpus / qrates
  A framework for large scale analysis of the Rust ecosystem.
  ☆38Updated last week
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆61Updated last year
• jyao1 / rust-spdm
  a rust version SPDM protocol implementation
  ☆14Updated last year
• rust-fuzz / libfuzzer
  Rust bindings and utilities for LLVM’s libFuzzer
  ☆213Updated this week
• endorlabs / MIRAI
  ☆85Updated 3 weeks ago
• system-pclub / rust-programming-challenges
  code snippets for
  ☆9Updated 4 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆60Updated 4 months ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆54Updated last week
• landaire / lain
  A structured fuzzing framework built in Rust
  ☆23Updated 2 years ago
• Amanieu / minicov
  Code coverage support for Rust `no_std` and embedded programs
  ☆51Updated this week
• langston-barrett / tree-splicer
  Simple grammar-based test case generator
  ☆29Updated 6 months ago
• cryptape / rvv-encoder
  RISC-V V Extension Encoder
  ☆11Updated 2 years ago
• novafacing / qemu-rs
  QEMU for Rust, and Rust for QEMU
  ☆53Updated 2 months ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆118Updated 2 years ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆23Updated 6 months ago