Alternatives and similar repositories for concurrency-bugs

Users that are interested in concurrency-bugs are comparing it to the libraries listed below

• qingkaishi / canary

  View on GitHub
  A unification-based alias analysis and related tools
  ☆35Oct 9, 2024Updated last year
• utpalbora / LLOV

  View on GitHub
  LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs
  ☆21Oct 5, 2022Updated 3 years ago
• HPDCS / schedule-hook

  View on GitHub
  A kernel module that dynamically patches the Linux kernel scheduler so as to allow running a custom function upon thread reschedule
  ☆14Feb 6, 2018Updated 8 years ago
• mechaphish / qemu-cgc

  View on GitHub
  QEMU modified to run CGC binaries.
  ☆13Apr 12, 2022Updated 3 years ago
• ASSERT-KTH / yajta

  View on GitHub
  Yajta is a extensible library for bytecode probe insertion, built on top of javassist. Its transformations may be applied at load time wi…
  ☆15Oct 3, 2022Updated 3 years ago
• squaresLab / SemanticCrashBucketing

  View on GitHub
  Semantic Crash Bucketing
  ☆16Sep 8, 2020Updated 5 years ago
• mechaphish / multiafl

  View on GitHub
  AFL, modified to support multi-CB challenge sets for CGC.
  ☆19Aug 20, 2016Updated 9 years ago
• revng / qemu

  View on GitHub
  Customized version of QEMU 2.4.0 exposing the TCG frontend and the helpers
  ☆16Dec 22, 2025Updated last month
• DependableSystemsLab / pinfi

  View on GitHub
  PIN-based Fault-Injector is a fault injector based on the Intel PIN tool. For more information, please refer to the following paper:
  ☆18Jul 6, 2018Updated 7 years ago
• plasma-umass / DoubleTake

  View on GitHub
  Evidence-based dynamic analysis: a fast checker for memory errors.
  ☆21Apr 22, 2017Updated 8 years ago
• parasol-aser / D4

  View on GitHub
  D4: Fast Concurrency Debugging with Parallel Differential Analysis
  ☆18Feb 18, 2020Updated 5 years ago
• angr / fidget

  View on GitHub
  A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!
  ☆46Jun 11, 2022Updated 3 years ago
• columbia / smt-mc

  View on GitHub
  The Parrot stable and deterministic multi-threading system.
  ☆25Nov 9, 2013Updated 12 years ago
• rhelmot / dumpsterdiver

  View on GitHub
  A tool to interactively explore the heap of a python process
  ☆25Dec 29, 2020Updated 5 years ago
• SVF-tools / Test-Suite

  View on GitHub
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆84Feb 6, 2026Updated last week
• ssl-tud / k-miner

  View on GitHub
  K-Miner
  ☆74Jun 5, 2019Updated 6 years ago
• Vector35 / shuriken16

  View on GitHub
  Retro Game Engine inspired by the SNES-era
  ☆25Sep 15, 2022Updated 3 years ago
• zh-explorer / black_zone

  View on GitHub
  The project black zone
  ☆18Nov 9, 2017Updated 8 years ago
• avatartwo / avatar2-examples

  View on GitHub
  Examples demonstrating the usage of avatar²
  ☆28Dec 9, 2023Updated 2 years ago
• wcventure / ConcurrencyPaper

  View on GitHub
  Concurrency Paper
  ☆114Jun 1, 2023Updated 2 years ago
• S2E / libcpu

  View on GitHub
  x86 Dynamic Binary Translator Library
  ☆34Dec 19, 2020Updated 5 years ago
• tech-srl / PigeonJS

  View on GitHub
  Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"
  ☆24Aug 21, 2021Updated 4 years ago
• sslab-gatech / kenali-kernel

  View on GitHub
  Modified Nexus 9 kernel for Kenali Project
  ☆30Aug 5, 2019Updated 6 years ago
• ww9210 / kepler-cfhp

  View on GitHub
  Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability
  ☆62Sep 4, 2019Updated 6 years ago
• srasthofer / FuzzDroid

  View on GitHub
  ☆22Feb 14, 2017Updated 9 years ago
• rocq-community / chapar

  View on GitHub
  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
  ☆32Dec 30, 2023Updated 2 years ago
• dbrumley / redebug

  View on GitHub
  ReDeBug Source Code.
  ☆24Dec 12, 2023Updated 2 years ago
• PRUNERS / archer

  View on GitHub
  Archer, a data race detection tool for large OpenMP applications
  ☆66Aug 19, 2020Updated 5 years ago
• wcventure / PERIOD

  View on GitHub
  [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling
  ☆36Oct 9, 2022Updated 3 years ago
• cdaller / security_taint_propagation

  View on GitHub
  Java taint propagation for java. Define tainted sources, sanitizer methods and sinks via aspects.
  ☆28Oct 11, 2018Updated 7 years ago
• llnl / dataracebench

  View on GitHub
  Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
  ☆74Sep 19, 2023Updated 2 years ago
• datadancer / HIAFuzz

  View on GitHub
  Hybrid Interface Aware Fuzz for Android Kernel Drivers
  ☆31Jun 25, 2021Updated 4 years ago
• xiw / mini-mc

  View on GitHub
  minimal symbolic model checker & fuzzer
  ☆114May 27, 2015Updated 10 years ago
• Graspan / graspan-cpp

  View on GitHub
  This is a C++ implementation of Graspan.
  ☆32Dec 20, 2023Updated 2 years ago
• FoRTE-Research / FoRTE-FuzzBench

  View on GitHub
  FoRTE-Research's fuzzing benchmarks
  ☆57Mar 12, 2019Updated 6 years ago
• Brandon-Everhart / AngryIDA

  View on GitHub
  Python based angr plug in for IDA Pro.
  ☆35Feb 25, 2018Updated 7 years ago
• purdue-secomp-lab / MEDS

  View on GitHub
  ☆37Jun 1, 2022Updated 3 years ago
• HexHive / HexPADS

  View on GitHub
  HexPADS, a host-based, Performance-counter-based Attack Detection System
  ☆41Sep 6, 2022Updated 3 years ago
• onura / TaintAll

  View on GitHub
  TaintAll, a taint analysis and concolic execution tool
  ☆31Jan 2, 2017Updated 9 years ago