system-pclub/rust-study external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

system-pclub/rust-study

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/system-pclub/rust-study)

Close

system-pclub / rust-studyView on GitHubMore

• External links
• Readme badge

understanding the safety of Rust

☆100Apr 18, 2020Updated 5 years ago

Alternatives and similar repositories for rust-study

Users that are interested in rust-study are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• lizhuohua / rust-mir-checker

  View on GitHub
  ☆164May 24, 2024Updated last year
• VaynNecol / SafeDrop

  View on GitHub
  A additional Rust compiler pass to detect memory safe bugs of Rust programs.
  ☆17Dec 28, 2023Updated 2 years ago
• rustanlys / rupta

  View on GitHub
  A Pointer Analysis Framework for Rust
  ☆67Jun 17, 2025Updated 9 months ago
• Artisan-Lab / Rust-memory-safety-bugs

  View on GitHub
  ☆37May 15, 2022Updated 3 years ago
• lizhuohua / rust-ffi-checker

  View on GitHub
  ☆61Feb 15, 2023Updated 3 years ago
• safer-rust / RAPx

  View on GitHub
  This is a static analysis project for analyzing Rust programs.
  ☆141Mar 15, 2026Updated last week
• LiHRaM / taint

  View on GitHub
  Thesis code
  ☆26Aug 16, 2023Updated 2 years ago
• Ljiee / fairfuzz

  View on GitHub
  ☆14Oct 11, 2017Updated 8 years ago
• rssys / shard

  View on GitHub
  ☆13Oct 17, 2021Updated 4 years ago
• facebookexperimental / MIRAI

  View on GitHub
  Rust mid-level IR Abstract Interpreter
  ☆1,010Aug 22, 2024Updated last year
• ICSE2020-MemLock / MemLock

  View on GitHub
  MemLock: Memory Usage Guided Fuzzing
  ☆32Jun 30, 2020Updated 5 years ago
• QilinPTA / Qilin

  View on GitHub
  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  ☆146Jan 22, 2026Updated 2 months ago
• embedded-sec / uRAI

  View on GitHub
  Securing Embedded Systems with Return Address Integrity
  ☆15Aug 19, 2024Updated last year
• BurtonQin / Awesome-Rust-Checker

  View on GitHub
  A curated list of awesome Rust checkers
  ☆66Feb 3, 2026Updated last month
• parasol-aser / XRust

  View on GitHub
  ☆14Jun 11, 2020Updated 5 years ago
• eecshope / HITS

  View on GitHub
  ☆12Sep 12, 2024Updated last year
• jiezhoucs / must-read

  View on GitHub
  Lists of must-read papers (mainly security papers)
  ☆32Sep 18, 2024Updated last year
• viperproject / mendel-verifier

  View on GitHub
  Capability-based verifier for safe Rust clients of interior mutability
  ☆15Jul 18, 2024Updated last year
• dzobbe / rust-proxy

  View on GitHub
  A Sync and Async TCP proxy implemented in Rust
  ☆14Jan 15, 2017Updated 9 years ago
• gterzian / rust_five_easy_pieces

  View on GitHub
  How to structure concurrent workflows in Rust, via five simple examples.
  ☆31May 14, 2020Updated 5 years ago
• Lawliar / ConAFL

  View on GitHub
  AFL enhanced for concurrency bug and vulnerabilities
  ☆19Sep 18, 2020Updated 5 years ago
• cs-au-dk / goat

  View on GitHub
  ☆22Mar 20, 2023Updated 3 years ago
• carllerche / utp

  View on GitHub
  ☆11Sep 7, 2017Updated 8 years ago
• Elzawawy / compiler-frontend

  View on GitHub
  First two front-end phases of a language-independent compiler implemented in C++
  ☆14Jul 27, 2020Updated 5 years ago
• Asphaltt / xdp_acl

  View on GitHub
  A high performance ACL based on XDP. GPL-2.0 License.
  ☆15Feb 25, 2023Updated 3 years ago
• FoelliX / ReproDroid

  View on GitHub
  Android Benchmark Reproduction Framework
  ☆13Nov 30, 2021Updated 4 years ago
• purdue-secomp-lab / MEDS

  View on GitHub
  ☆37Jun 1, 2022Updated 3 years ago
• vul337 / cfi-eval

  View on GitHub
  ☆22Nov 12, 2020Updated 5 years ago
• Artisan-Lab / RULF

  View on GitHub
  A fully automated Rust fuzz driver generator
  ☆62Jun 17, 2025Updated 9 months ago
• zeyugao / VirtualCompiler

  View on GitHub
  ☆13Jan 7, 2025Updated last year
• project-oak / rust-verification-tools

  View on GitHub
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
  ☆280Feb 12, 2022Updated 4 years ago
• SSGAalto / sgx-migration

  View on GitHub
  A library and an application to provide migratable primitives for SGX enclaves.
  ☆22Feb 28, 2020Updated 6 years ago
• sslab-gatech / Rudra

  View on GitHub
  Rust Memory Safety & Undefined Behavior Detection
  ☆1,368Mar 9, 2024Updated 2 years ago
• ylwangs / go-mtr

  View on GitHub
  单机多协程并发mtr探测，同时支持ipv4和ipv6
  ☆13May 27, 2019Updated 6 years ago
• rust-lang / unsafe-code-guidelines

  View on GitHub
  Forum for discussion about what unsafe code can and can't do
  ☆739Aug 19, 2025Updated 7 months ago
• achenfengb / PRINCESS_opensource

  View on GitHub
  PRINCESS source code
  ☆11Oct 15, 2016Updated 9 years ago
• seahorn / sea-dsa

  View on GitHub
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆169Dec 4, 2025Updated 3 months ago
• nestedkernel / PerspicuOS

  View on GitHub
  This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…
  ☆54Jul 7, 2017Updated 8 years ago
• GaloisInc / mir-verifier

  View on GitHub
  SAW front end for the MIR language from rustc
  ☆36Jan 12, 2021Updated 5 years ago