Alternatives and similar repositories for RAPx:

Users that are interested in RAPx are comparing it to the libraries listed below

• lizhuohua / rust-ffi-checker
  ☆54Updated 2 years ago
• Artisan-Lab / RULF
  A fully automated Rust fuzz driver generator
  ☆51Updated 4 months ago
• lizhuohua / rust-mir-checker
  ☆144Updated 8 months ago
• BurtonQin / Awesome-Rust-Checker
  A curated list of awesome Rust checkers
  ☆26Updated 2 weeks ago
• Artisan-Lab / Rust-memory-safety-bugs
  ☆29Updated 2 years ago
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆63Updated last year
• LiHRaM / taint
  Thesis code
  ☆26Updated last year
• S2-Lab / ERASan
  ☆44Updated 7 months ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆36Updated 3 months ago
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆48Updated 3 weeks ago
• Artisan-Lab / SafeDrop
  A additional Rust compiler pass to detect memory safe bugs of Rust programs.
  ☆15Updated last year
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆24Updated last month
• rust-corpus / qrates
  A framework for large scale analysis of the Rust ecosystem.
  ☆38Updated last week
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆70Updated 10 months ago
• system-pclub / rust-programming-challenges
  code snippets for
  ☆9Updated 7 months ago
• mit-ll / Cross-Language-Attacks
  ☆27Updated 2 years ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆73Updated last month
• system-pclub / rust-study
  understanding the safety of Rust
  ☆96Updated 4 years ago
• cis547 / cis547vm
  ☆18Updated this week
• parasol-aser / XRust
  ☆12Updated 4 years ago
• KomaEc / crown
  Ownership analysis that helps translating C to Rust
  ☆18Updated last year
• cla7aye15I4nd / shadowbound
  ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…
  ☆22Updated 6 months ago
• sslab-gatech / Rudra-PoC
  Trophy case for Rudra bugs.
  ☆38Updated last year
• syswonder / ruxos
  Rust Unikernel OS
  ☆69Updated this week
• FuzzAnything / Hopper
  Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.
  ☆242Updated 5 months ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆115Updated this week
• SVF-tools / Software-Security-Analysis
  Software Security Analysis Course
  ☆50Updated this week
• hxuhack / course_safepl
  Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University
  ☆17Updated this week
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆31Updated this week
• PKU-ASAL / SeeWasm
  A native symbolic execution engine for WebAssembly
  ☆43Updated 7 months ago