sslab-gatech/krace 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

sslab-gatech/krace

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/sslab-gatech/krace)

Close

sslab-gatech / kraceView on GitHubMore

• External links
• Readme badge

Source code release for the KRace project

☆31Nov 15, 2021Updated 4 years ago

Alternatives and similar repositories for krace

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

• vul337 / DDRace

  View on GitHub
  DDRace: Finding Concurrency UAF Vulnerabilities in Linux Drivers with Directed Fuzzing
  ☆11Feb 28, 2023Updated 3 years ago
• seclab-ucr / SyzGenPlusPlus

  View on GitHub
  ☆20Dec 4, 2023Updated 2 years ago
• sslab-gatech / janus

  View on GitHub
  Janus: a state-of-the-art file system fuzzer on Linux
  ☆234Dec 23, 2019Updated 6 years ago
• compsec-snu / razzer

  View on GitHub
  A Kernel fuzzer focusing on race bugs
  ☆379Jul 10, 2019Updated 6 years ago
• seclab-ucr / SyzDescribe

  View on GitHub
  ☆58May 10, 2024Updated last year
• Lawliar / ConAFL

  View on GitHub
  AFL enhanced for concurrency bug and vulnerabilities
  ☆19Sep 18, 2020Updated 5 years ago
• umnsec / crix

  View on GitHub
  Detect missing check bugs in OS kernels
  ☆113Sep 23, 2023Updated 2 years ago
• casys-kaist / segfuzz

  View on GitHub
  ☆32Apr 2, 2024Updated last year
• RiS3-Lab / kubo

  View on GitHub
  Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…
  ☆25Sep 5, 2021Updated 4 years ago
• rainoftime / smtfuzz

  View on GitHub
  A fuzzer for SMT solvers
  ☆21Aug 22, 2025Updated 7 months ago
• umnsec / linux-bitcode

  View on GitHub
  Pre-built bitcode files for the Linux kernel
  ☆22Sep 18, 2019Updated 6 years ago
• smackers / whoop

  View on GitHub
  automatic data race analysis for Linux device drivers
  ☆12Jul 27, 2016Updated 9 years ago
• vul337 / PrIntFuzz

  View on GitHub
  Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
  ☆63Dec 2, 2024Updated last year
• kengiter / lrsan

  View on GitHub
  LRSan: Detecting Lacking-Recheck Bugs in OS Kernels
  ☆30Feb 23, 2019Updated 7 years ago
• RiS3-Lab / p2im-unit_tests

  View on GitHub
  Unit test firmware evaluated in P2IM paper
  ☆12Jul 2, 2021Updated 4 years ago
• SoveraNia / SyzVegas

  View on GitHub
  Syzkaller with MAB scheduling and seed selection
  ☆27Jan 29, 2020Updated 6 years ago
• sslab-gatech / fuzzification

  View on GitHub
  We hinder fuzzing
  ☆68Dec 27, 2021Updated 4 years ago
• secsysresearch / DRFuzz

  View on GitHub
  ☆30May 16, 2022Updated 3 years ago
• eix128 / MCSemaWindows

  View on GitHub
  MCSema Build Windows download
  ☆11Jul 6, 2020Updated 5 years ago
• securesystemslab / agamotto

  View on GitHub
  Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints
  ☆127Jun 18, 2020Updated 5 years ago
• Markakd / kernel_exploit

  View on GitHub
  Linux kernel exploit
  ☆13Oct 6, 2021Updated 4 years ago
• polyvios / locksmith

  View on GitHub
  A data race detector for C+Pthreads programs
  ☆12Nov 8, 2022Updated 3 years ago
• HexHive / USBFuzz

  View on GitHub
  A Framework for fuzzing USB Drivers by Device Emulation
  ☆131Mar 5, 2021Updated 5 years ago
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 4 years ago
• GoSSIP-SJTU / k-hunt

  View on GitHub
  K-Hunt: Pinpointing Insecure Crypto Keys
  ☆44Nov 3, 2018Updated 7 years ago
• HexHive / fuzzing-seed-selection

  View on GitHub
  "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)
  ☆42Oct 26, 2022Updated 3 years ago
• sslab-gatech / hydra

  View on GitHub
  Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems
  ☆173Aug 8, 2022Updated 3 years ago
• ZHYfeng / Generate_Linux_Kernel_Bitcode

  View on GitHub
  ☆37Jun 23, 2025Updated 9 months ago
• EMarci15 / asplos22-minesweeper-reproduce

  View on GitHub
  ☆10May 12, 2023Updated 2 years ago
• SumitPadhiyar / confuzz

  View on GitHub
  Concurrency property fuzzing tool for Lwt-based OCaml programs
  ☆29Mar 7, 2021Updated 5 years ago
• abiondo / afl

  View on GitHub
  My fork of American Fuzzy Lop
  ☆61Sep 22, 2018Updated 7 years ago
• vul337 / StateFuzz

  View on GitHub
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆98Aug 16, 2023Updated 2 years ago
• seclab-ucr / SyzScope

  View on GitHub
  SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.
  ☆24Nov 17, 2021Updated 4 years ago
• HexHive / FuzzGen

  View on GitHub
  ☆307Aug 13, 2021Updated 4 years ago
• RUB-SysSec / aurora

  View on GitHub
  Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation
  ☆161Aug 31, 2022Updated 3 years ago
• 5hadowblad3 / Titan

  View on GitHub
  Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"
  ☆56Feb 17, 2025Updated last year
• SocietyMaster / AFLIoT

  View on GitHub
  ☆20May 27, 2020Updated 5 years ago
• dwfault / CollAFLplusplus

  View on GitHub
  Implement CollAFL using LLVM LTO pass on afl++.
  ☆12Sep 24, 2020Updated 5 years ago
• SZU-SE / UAF-Fuzzer-TestSuite

  View on GitHub
  [ICSE2020] UAFL DataSet
  ☆12Dec 10, 2022Updated 3 years ago