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
  ☆273Updated this week
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆186Updated 4 years ago
• cuhk-s3 / Creal
  ☆34Updated 3 months ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆247Updated last year
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆78Updated 4 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆84Updated 3 weeks ago
• spectector / spectector
  Automatic detection of speculative information flows
  ☆74Updated 4 years ago
• SRI-CSL / gllvm
  Whole Program LLVM: wllvm ported to go
  ☆328Updated last year
• 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 3 years ago
• travitch / whole-program-llvm
  A wrapper script to build whole-program LLVM bitcode files
  ☆721Updated 11 months ago
• mchalupa / dg
  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
  ☆519Updated 6 months ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆250Updated this week
• hrosier / ripe64
  64-bit port of the RIPE benchmark (buffer overflow attacks). RIPE was originally developed by John Wilander and Nick Nikiforakis and pres…
  ☆22Updated 3 years ago
• DeadCodeProductions / dead
  ☆53Updated 2 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆18Updated 4 years ago
• seahorn / seahorn
  SeaHorn Verification Framework
  ☆463Updated 6 months ago
• jtcriswell / llvm-dsa
  LLVM trunk with poolalloc trunk modified to compile only DSA
  ☆12Updated 10 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆237Updated 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 2 years ago
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆231Updated 6 years ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆27Updated last year
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆71Updated last year
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆59Updated 8 months ago
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆31Updated last year
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆43Updated this week
• embedded-sec / uRAI
  Securing Embedded Systems with Return Address Integrity
  ☆15Updated last year
• jiezhoucs / must-read
  Lists of must-read papers (mainly security papers)
  ☆32Updated last year
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆40Updated last year
• nsumner / llvm-dataflow-analysis
  ☆66Updated 6 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆104Updated this week