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
  ☆277Updated last week
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆18Updated 4 years ago
• cuhk-s3 / Creal
  ☆36Updated 5 months ago
• shao-hua-li / CompDiff
  ☆36Updated 2 years ago
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆32Updated 2 years ago
• hrosier / ripe64
  64-bit port of the RIPE benchmark (buffer overflow attacks). RIPE was originally developed by John Wilander and Nick Nikiforakis and pres…
  ☆23Updated 3 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆187Updated 4 years ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆249Updated last year
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆40Updated 2 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆108Updated last week
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆84Updated 3 weeks ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆61Updated 8 months ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆79Updated 4 years ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆27Updated last year
• tianyin / configuration-management-papers
  A Reading List of System Configuration Management
  ☆57Updated last year
• 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…
  ☆61Updated 12 years ago
• spectector / spectector
  Automatic detection of speculative information flows
  ☆75Updated 4 years ago
• tsgates / die
  a paper template
  ☆58Updated 5 months ago
• jiezhoucs / must-read
  Lists of must-read papers (mainly security papers)
  ☆32Updated last year
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆45Updated 6 months ago
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆232Updated 6 years ago
• AceSrc / GiantSan-Artifact
  ☆11Updated last year
• DeadCodeProductions / dead
  ☆53Updated 2 years ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆19Updated last year
• sslab-gatech / juxta
  ☆26Updated 4 years ago
• cla7aye15I4nd / CAMP
  CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨
  ☆46Updated last year
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆168Updated last month
• nsumner / llvm-dataflow-analysis
  ☆66Updated 6 years ago
• SRI-CSL / gllvm
  Whole Program LLVM: wllvm ported to go
  ☆331Updated last year
• KULeuven-COSIC / PRIME-SCOPE
  The open-source component of Prime+Scope, published at CCS 2021
  ☆36Updated 2 years ago