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
  ☆269Updated last week
• cuhk-s3 / Creal
  ☆34Updated last month
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆18Updated 4 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆245Updated 11 months ago
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆31Updated last year
• 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
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆79Updated last month
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆40Updated 2 months ago
• jiezhoucs / must-read
  Lists of must-read papers (mainly security papers)
  ☆30Updated last year
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆71Updated last year
• seahorn / seahorn
  SeaHorn Verification Framework
  ☆456Updated 4 months ago
• sslab-gatech / juxta
  ☆26Updated 3 years ago
• tsgates / die
  a paper template
  ☆58Updated last month
• 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…
  ☆33Updated 2 years ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆78Updated 4 years ago
• sqlancer / bugs
  A list of bugs found by SQLancer
  ☆15Updated last year
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆280Updated last year
• tianyin / configuration-management-papers
  A Reading List of System Configuration Management
  ☆56Updated last year
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆228Updated 6 years ago
• nsumner / llvm-dataflow-analysis
  ☆66Updated 5 years ago
• spectector / spectector
  Automatic detection of speculative information flows
  ☆68Updated 4 years ago
• HexHive / magma
  A ground-truth fuzzing benchmark suite based on real programs with real bugs.
  ☆319Updated 4 months ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆58Updated 6 months ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆165Updated last week
• plseddl / plse-deadlines
  PL/SE conference deadline countdowns
  ☆19Updated 4 years ago
• shao-hua-li / CompDiff
  ☆36Updated 2 years ago
• staticafi / symbiotic
  Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
  ☆329Updated 4 months ago
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆53Updated 4 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆110Updated 2 years ago