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

• 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
• casys-kaist / segfuzz

  View on GitHub
  ☆32Apr 2, 2024Updated last year
• compsec-snu / razzer

  View on GitHub
  A Kernel fuzzer focusing on race bugs
  ☆379Jul 10, 2019Updated 6 years ago
• rainoftime / smtfuzz

  View on GitHub
  A fuzzer for SMT solvers
  ☆21Aug 22, 2025Updated 6 months 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
• vul337 / PrIntFuzz

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

  View on GitHub
  Detect missing check bugs in OS kernels
  ☆113Sep 23, 2023Updated 2 years ago
• umnsec / linux-bitcode

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

  View on GitHub
  Syzkaller with MAB scheduling and seed selection
  ☆27Jan 29, 2020Updated 6 years ago
• 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
• EMarci15 / asplos22-minesweeper-reproduce

  View on GitHub
  ☆10May 12, 2023Updated 2 years ago
• eix128 / MCSemaWindows

  View on GitHub
  MCSema Build Windows download
  ☆11Jul 6, 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
• Markakd / kernel_exploit

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

  View on GitHub
  automatic data race analysis for Linux device drivers
  ☆12Jul 27, 2016Updated 9 years ago
• RiS3-Lab / p2im-unit_tests

  View on GitHub
  Unit test firmware evaluated in P2IM paper
  ☆11Jul 2, 2021Updated 4 years ago
• kengiter / lrsan

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

  View on GitHub
  ☆12Jul 5, 2024Updated last year
• icy17 / GPTAid

  View on GitHub
  Generating API Parameter Security Rules with LLM for API Misuse Detection （Accepted by NDSS 2025）
  ☆18Mar 5, 2025Updated last year
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 4 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
• sslab-gatech / hydra

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

  View on GitHub
  ☆30May 16, 2022Updated 3 years ago
• HexHive / USBFuzz

  View on GitHub
  A Framework for fuzzing USB Drivers by Device Emulation
  ☆130Mar 5, 2021Updated 4 years ago
• polyvios / locksmith

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

  View on GitHub
  ☆15Mar 17, 2025Updated 11 months ago
• sharedata21 / HTFuzz

  View on GitHub
  MS-Fuzz data
  ☆15Nov 5, 2022Updated 3 years ago
• GrammaTech / cgc-cbs

  View on GitHub
  Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)
  ☆19Feb 21, 2022Updated 4 years ago
• ZHYfeng / Generate_Linux_Kernel_Bitcode

  View on GitHub
  ☆37Jun 23, 2025Updated 8 months ago
• HexHive / FuzzGen

  View on GitHub
  ☆307Aug 13, 2021Updated 4 years ago
• vul337 / StateFuzz

  View on GitHub
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆97Aug 16, 2023Updated 2 years ago
• KennethAdamMiller / superset_disassembler

  View on GitHub
  Disassemblers with various trimming methodologies
  ☆15Jan 1, 2025Updated last year
• unifuzz / dockerized_fuzzing

  View on GitHub
  Run fuzzing experiments in Docker
  ☆32Mar 17, 2021Updated 4 years ago
• abiondo / afl

  View on GitHub
  My fork of American Fuzzy Lop
  ☆61Sep 22, 2018Updated 7 years ago
• GoSSIP-SJTU / k-hunt

  View on GitHub
  K-Hunt: Pinpointing Insecure Crypto Keys
  ☆44Nov 3, 2018Updated 7 years ago