Alternatives and similar repositories for perun:

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

• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆56Updated last month
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆252Updated 2 weeks ago
• dacapobench / dacapobench
  The DaCapo benchmark suite
  ☆172Updated 3 months ago
• stephenfreund / RoadRunner
  ☆71Updated 7 years ago
• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆73Updated 2 weeks ago
• goblint / analyzer
  Static analysis framework for C
  ☆199Updated last week
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 8 months ago
• ezaffanella / PPLite
  PPLite: convex polyhedra library for Abstract Interpretation
  ☆25Updated 3 weeks ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated 2 weeks ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆86Updated this week
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated 4 months ago
• caterinaurban / Lyra
  ☆30Updated 8 months ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆69Updated 4 months ago
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆29Updated this week
• gliga / ekstazi
  Software testing optimization tool
  ☆28Updated last year
• kelloggm / object-construction-checker
  An extension to the Java type system to catch badly-behaving builder patterns
  ☆12Updated 2 years ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆34Updated last month
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆71Updated this week
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆238Updated 5 months ago
• TestingResearchIllinois / iFixFlakies
  ☆17Updated 2 years ago
• squaresLab / SOAR
  Synthesis API Refactor
  ☆11Updated 2 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆64Updated last week
• david-schuler / javalanche
  Efficient Mutation Testing for Java
  ☆38Updated 2 years ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 9 months ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆69Updated 4 months ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆122Updated 3 weeks ago