VaynNecol/SafeDrop 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

VaynNecol/SafeDrop

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/VaynNecol/SafeDrop)

Close

VaynNecol / SafeDropView on GitHubMore

• External links
• Readme badge

A additional Rust compiler pass to detect memory safe bugs of Rust programs.

☆17Dec 28, 2023Updated 2 years ago

Alternatives and similar repositories for SafeDrop

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

• puzhuoliu / Awesome-Concurrency-Vulnerability-Paper

  View on GitHub
  Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.
  ☆15Nov 11, 2022Updated 3 years ago
• RPL-Toolchain / RPL

  View on GitHub
  A Rust Linter with Decoupled Rule Definition and Detection Logic.
  ☆17Feb 4, 2026Updated 3 weeks ago
• Artisan-Lab / Rust-memory-safety-bugs

  View on GitHub
  ☆37May 15, 2022Updated 3 years ago
• safer-rust / RAPx

  View on GitHub
  This is a static analysis project for analyzing Rust programs.
  ☆137Feb 21, 2026Updated last week
• lizhuohua / rust-mir-checker

  View on GitHub
  ☆163May 24, 2024Updated last year
• awen-li / PolyFuzz

  View on GitHub
  Holistic Greybox Fuzzing of Multi-Language Systems
  ☆27Oct 15, 2022Updated 3 years ago
• rustanlys / rupta

  View on GitHub
  A Pointer Analysis Framework for Rust
  ☆67Jun 17, 2025Updated 8 months ago
• system-pclub / rust-study

  View on GitHub
  understanding the safety of Rust
  ☆100Apr 18, 2020Updated 5 years ago
• mit-ll / Cross-Language-Attacks

  View on GitHub
  ☆27Apr 27, 2022Updated 3 years ago
• czh-rot / ChainKV

  View on GitHub
  A speicifically designed KV store for blockchain systems
  ☆11Mar 10, 2025Updated 11 months ago
• sslab-gatech / Rudra-PoC

  View on GitHub
  Trophy case for Rudra bugs.
  ☆40Feb 12, 2024Updated 2 years ago
• TheVeryDarkness / pest-typed

  View on GitHub
  A statically typed version of pest.
  ☆12Dec 2, 2025Updated 3 months ago
• tikv / client-node

  View on GitHub
  ☆12Sep 28, 2021Updated 4 years ago
• Komorebi660 / Twitter-BotDetect

  View on GitHub
  首届社交群体智能算法大赛 【赛题1：社交媒体舆论场虚假账号检测】第三名(0.8248)方案
  ☆11May 30, 2024Updated last year
• hpcgame / hpcgame-platform-0th

  View on GitHub
  HPC Game Platform
  ☆11Apr 20, 2023Updated 2 years ago
• timothee-haudebourg / btree-range-map

  View on GitHub
  B-tree range map implementation for Rust
  ☆13Oct 5, 2023Updated 2 years ago
• felipe-ds-lima / obsidian-copy-image-plugin

  View on GitHub
  Easily copy image to clipboard by right clicking image.
  ☆17Sep 27, 2025Updated 5 months ago
• BurtonQin / Awesome-Rust-Checker

  View on GitHub
  A curated list of awesome Rust checkers
  ☆64Feb 3, 2026Updated last month
• woodruffw / procmaps.rs

  View on GitHub
  A small Rust library for reading process maps from procfs
  ☆15Nov 24, 2025Updated 3 months ago
• Lightninghkm / DataGuard

  View on GitHub
  Code Repository for DataGuard Framework
  ☆13Jul 11, 2023Updated 2 years ago
• qsdrqs / sactor

  View on GitHub
  Structure-Aware C to Rust Translator
  ☆21Dec 29, 2025Updated 2 months ago
• l4wio / PoC

  View on GitHub
  ☆15May 23, 2019Updated 6 years ago
• wwl020 / ENGRAFT

  View on GitHub
  ☆11Sep 8, 2022Updated 3 years ago
• TimeTravelPenguin / SM64TASArchive

  View on GitHub
  This repository serves to archive the critical milestones throughout SM64 TASing history. This repository stores TAS WR files for ILs, AB…
  ☆15Nov 12, 2024Updated last year
• vincenthz / rust-pvss

  View on GitHub
  PVSS & Scrape in rust
  ☆11Aug 14, 2025Updated 6 months ago
• sslab-gatech / SysGPT

  View on GitHub
  Principles and Methodologies for Serial Performance Optimization (OSDI' 25)
  ☆25Jun 5, 2025Updated 8 months ago
• ustc-cs / COD-Resources-2017

  View on GitHub
  中科大 2017 级数字电路实验/组成原理实验的同学经验和资料分享
  ☆12Oct 25, 2019Updated 6 years ago
• viperproject / mendel-verifier

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

  View on GitHub
  A comprehensive open-source cache trace dataset
  ☆22Aug 23, 2025Updated 6 months ago
• vansante / github-pr-labeler

  View on GitHub
  🤖 Probot app that listens to new/changes to Pull Requests and issues labels to them based on a config file in the repository.
  ☆10May 14, 2021Updated 4 years ago
• interestingLSY / hpcgame.minesweeper

  View on GitHub
  ☆14Jan 18, 2023Updated 3 years ago
• mknyszek / goat

  View on GitHub
  Go allocation trace utilities
  ☆15Jan 8, 2021Updated 5 years ago
• parasol-aser / XRust

  View on GitHub
  ☆14Jun 11, 2020Updated 5 years ago
• dansanderson / c-autotools-template

  View on GitHub
  A template for new C projects with Autotools, modules, Unity Test and CMock
  ☆15Aug 20, 2022Updated 3 years ago
• shinmao / NCU-Babies-Hacker

  View on GitHub
  A small group for NCU students who want to learn Hacking.
  ☆12Dec 17, 2017Updated 8 years ago
• Artisan-Lab / RULF

  View on GitHub
  A fully automated Rust fuzz driver generator
  ☆62Jun 17, 2025Updated 8 months ago
• OSUSecLab / Reusable-Enclaves

  View on GitHub
  Implementation of the Reusable Enclaves paper
  ☆14Sep 25, 2023Updated 2 years ago
• bcoin-org / bdb

  View on GitHub
  Database for bcoin
  ☆17Dec 10, 2024Updated last year
• yujinliang / my_writing

  View on GitHub
  collect my writings , notes, etc.
  ☆12Jun 12, 2020Updated 5 years ago