Alternatives and similar repositories for resources

Users that are interested in resources are comparing it to the libraries listed below

• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆262Updated this week
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆96Updated this week
• staceyson / splash2
  Splash 2 Benchmarks
  ☆19Updated 10 years ago
• UniCodeSphere / Creal
  ☆34Updated 8 months ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆183Updated 3 years ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆16Updated 2 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆18Updated 4 years ago
• hityangzhen / DRTracker
  data race detection
  ☆13Updated 9 years ago
• rshariffdeen / CPR
  CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…
  ☆31Updated 2 years ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆26Updated 8 months ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆245Updated 8 months ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated 7 months ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆78Updated this week
• rssys / snowcat
  This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…
  ☆14Updated last year
• stephenfreund / RoadRunner
  ☆75Updated 7 years ago
• tianyin / configuration-management-papers
  A Reading List of System Configuration Management
  ☆56Updated 10 months ago
• jieyu / concurrency-bugs
  A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…
  ☆60Updated 12 years ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆63Updated 11 months ago
• AceSrc / GiantSan-Artifact
  ☆10Updated last year
• DeadCodeProductions / dead
  ☆52Updated 2 years ago
• tsgates / die
  a paper template
  ☆55Updated 2 years ago
• nus-test / XPress
  Automated testing for XML XPath execution
  ☆17Updated last year
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• shao-hua-li / CompDiff
  ☆36Updated 2 years ago
• nsumner / llvm-dataflow-analysis
  ☆63Updated 5 years ago
• ksen007 / calfuzzer
  ☆24Updated 10 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆29Updated 3 years ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆47Updated 3 weeks ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆77Updated 3 years ago
• jyao15 / G-CLN
  ☆12Updated 2 years ago