Alternatives and similar repositories for perses:

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

• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆62Updated last year
• seahorn / crab
  A library for building abstract interpretation-based analyses
  ☆236Updated 3 months ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 6 months ago
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆186Updated last year
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 3 months ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 7 months ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆121Updated 8 months ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆81Updated this week
• UniCodeSphere / Creal
  ☆28Updated 3 months ago
• cdisselkoen / llvm-ir-analysis
  ☆70Updated 11 months ago
• lizhuohua / rust-ffi-checker
  ☆54Updated 2 years ago
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation
  ☆277Updated 9 months ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆126Updated last month
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆163Updated 8 months ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆62Updated 2 weeks ago
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆36Updated 3 months ago
• seahorn / seahorn
  SeaHorn Verification Framework
  ☆444Updated 3 weeks ago
• DeadCodeProductions / dead
  ☆51Updated last year
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆57Updated last year
• dsfuzz / mallory
  Greybox Fuzzing of Distributed Systems (CCS'23)
  ☆45Updated last year
• bitwuzla / bitwuzla
  Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…
  ☆238Updated last week
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆23Updated last year
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆161Updated 3 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆38Updated 2 months ago
• Amocy-Wang / ProbDD
  Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…
  ☆15Updated 3 years ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆24Updated last month
• lizhuohua / rust-mir-checker
  ☆144Updated 8 months ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆58Updated last month
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆52Updated last month