☆37May 15, 2022Updated 3 years ago
Alternatives and similar repositories for Rust-memory-safety-bugs
Users that are interested in Rust-memory-safety-bugs are comparing it to the libraries listed below
Sorting:
- ☆61Feb 15, 2023Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- The CompCert formally-verified C compiler☆10Feb 24, 2026Updated last week
- A curated list of awesome Rust checkers☆64Feb 3, 2026Updated last month
- A Cross-Language Dynamic Information Flow Analysis.☆28Nov 29, 2022Updated 3 years ago
- A additional Rust compiler pass to detect memory safe bugs of Rust programs.☆17Dec 28, 2023Updated 2 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- A framework provides an interface to monitor and control fuzzers☆30Jul 5, 2023Updated 2 years ago
- ☆163May 24, 2024Updated last year
- Trophy case for Rudra bugs.☆40Feb 12, 2024Updated 2 years ago
- Holistic Greybox Fuzzing of Multi-Language Systems☆27Oct 15, 2022Updated 3 years ago
- kernel exploit POC for vulnerability i found in amd gpu driver☆11Jan 6, 2023Updated 3 years ago
- ☆10Jul 9, 2020Updated 5 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆38Nov 14, 2024Updated last year
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆12Jan 15, 2022Updated 4 years ago
- ⏳ Ruby `Time#strftime` parser and formatter☆16Nov 3, 2025Updated 4 months ago
- ☆13Apr 13, 2023Updated 2 years ago
- syzkaller is an unsupervised coverage-guided kernel fuzzer☆13Oct 3, 2020Updated 5 years ago
- Rust and C Benchmarks☆14Nov 21, 2024Updated last year
- Lists of must-read papers (mainly security papers)☆32Sep 18, 2024Updated last year
- ☆14Jun 11, 2020Updated 5 years ago
- ☆13Oct 8, 2021Updated 4 years ago
- TideRadar工业互联网安全监测平台☆11Aug 3, 2019Updated 6 years ago
- Rocqet proof language☆28Aug 11, 2025Updated 6 months ago
- FuzzBuilderEx is a system to build seed corpus and fuzzing executables using the test framework automatically.☆13Sep 6, 2022Updated 3 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Jun 1, 2019Updated 6 years ago
- musl: A C standard library☆17Updated this week
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- A fully automated Rust fuzz driver generator☆62Jun 17, 2025Updated 8 months ago
- ☆79Jan 22, 2026Updated last month
- PARTS / LLVM compiler☆31Aug 14, 2019Updated 6 years ago
- ☆16Oct 15, 2024Updated last year
- ☆13Dec 14, 2021Updated 4 years ago
- ☆16Jan 23, 2022Updated 4 years ago
- ☆16Nov 13, 2023Updated 2 years ago
- AyedFuzzer is a small File-Format-Fuzzer with 3 options (File-mutating, WinDbg-interactive monitor, multi-processing) for windows executa…☆17Dec 2, 2024Updated last year
- CTF solve scripts. Some writeups on my blog, others on my gist. Check the challenge directories for links.☆10Feb 3, 2024Updated 2 years ago
- TSAR (Traits Static AnalyzeR)☆15May 3, 2024Updated last year
- Benchmark to test different stop the exploit mitigations☆18Jan 8, 2019Updated 7 years ago