Alternatives and similar repositories for concurrency-bugs

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

• jieyu / maple
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆69Updated 8 years ago
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆138Updated 6 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆66Updated 9 years ago
• nsumner / llvm-dataflow-analysis
  ☆63Updated 5 years ago
• xiw / mini-mc
  minimal symbolic model checker & fuzzer
  ☆112Updated 10 years ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆77Updated 3 years ago
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated last year
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆221Updated 5 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆78Updated this week
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆64Updated 3 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 5 years ago
• goyalankit / compilers-and-llvm
  LLVM optimization passes (DCE, LICM), compilers and stuff
  ☆13Updated 4 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• mcfi / MCFI
  MCFI/PICFI tool chain
  ☆43Updated last year
• carolemieux / perffuzz
  PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs
  ☆134Updated 5 years ago
• ksen007 / calfuzzer
  ☆24Updated 10 years ago
• caballa / wrapped-intervals
  Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…
  ☆12Updated 7 years ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆165Updated 11 months ago
• sslab-gatech / juxta
  ☆25Updated 3 years ago
• rssys / snowboard
  This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…
  ☆26Updated last week
• grievejia / tpa
  Pointer Analysis with Tunable Precision
  ☆26Updated 9 years ago
• sslab-gatech / unisan
  UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
  ☆43Updated 3 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆247Updated last year
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆161Updated 4 years ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆25Updated 8 months ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆100Updated 2 years ago
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆80Updated 4 years ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆241Updated 7 months ago