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
  ☆245Updated last week
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆182Updated 3 years ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 7 months ago
• seahorn / crab
  A library for building abstract interpretation-based analyses
  ☆236Updated 3 months 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…
  ☆30Updated 2 years ago
• UniCodeSphere / Creal
  ☆30Updated 3 months ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆73Updated this week
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆84Updated this week
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated 2 years ago
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆36Updated 3 months ago
• rssys / snowcat
  This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…
  ☆13Updated last year
• DeadCodeProductions / dead
  ☆51Updated last year
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆57Updated 10 months ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆76Updated 3 years ago
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• shao-hua-li / CompDiff
  ☆35Updated last year
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆36Updated 3 months ago
• ARISTODE / program-dependence-graph
  Program dependence graph in LLVM
  ☆34Updated 7 months ago
• polyvios / locksmith
  A data race detector for C+Pthreads programs
  ☆13Updated 2 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• ModelInference / texada
  Efficient techniques for mining LTL formulae over linear input traces
  ☆20Updated last year
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated 3 months ago
• spectector / spectector
  Automatic detection of speculative information flows
  ☆67Updated 3 years ago
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 6 years ago
• plseddl / plse-deadlines
  PL/SE conference deadline countdowns
  ☆19Updated 4 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 3 years ago
• embedded-sec / uRAI
  Securing Embedded Systems with Return Address Integrity
  ☆14Updated 6 months ago
• mustakimur / OS-CFI
  Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
  ☆37Updated 3 years ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆52Updated 2 months 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…
  ☆20Updated 3 years ago