Alternatives and similar repositories for VaRA-Tool-Suite:

Users that are interested in VaRA-Tool-Suite are comparing it to the libraries listed below

• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆75Updated last week
• secure-software-engineering / phasar
  A LLVM-based static analysis framework.
  ☆975Updated last week
• michaelpradel / LExecutor
  A learning-guided approach for executing arbitrary Python code snippets
  ☆17Updated last year
• mkechagia / Catcher
  Tool for effective and efficient detection of API misuses.
  ☆11Updated 2 years ago
• uw-pluverse / pluverse-latex-style-guide
  ☆24Updated last month
• phreppo / wstat
  While language static analyzer
  ☆10Updated 4 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆110Updated last week
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 3 years ago
• MarkLee131 / PatchFinder
  PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open Source Software (ISSTA 2024)
  ☆19Updated 3 weeks 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
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆144Updated 3 weeks 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
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆165Updated 10 months ago
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆279Updated 11 months ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆217Updated this week
• compsuite-team / compsuite
  ☆10Updated last year
• boogie-org / jar2bpl
  Translate java jar files into Boogie programs
  ☆12Updated last year
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆69Updated 5 months ago
• matthewbdwyer / tipc
  A compiler from TIP to llvm bitcode
  ☆68Updated 4 months ago
• mchalupa / dg
  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
  ☆499Updated last year
• clonebench / BigCloneBench
  ☆112Updated 2 years ago
• Suresoft-GLaDOS / bugscpp
  A database of real-world C/C++ defaults to experiment in software engineering research
  ☆47Updated last year
• stephenfreund / RoadRunner
  ☆71Updated 7 years ago
• acmsigsoft / open-science-policies
  Open science policies for SIGSOFT venues
  ☆13Updated last year
• csartifacts / resources
  Resources on the Artifact Evaluation (AE) Process
  ☆17Updated 4 years ago
• SRI-CSL / gllvm
  Whole Program LLVM: wllvm ported to go
  ☆314Updated 11 months ago
• studip-sync / studip-sync
  ☆33Updated 5 months ago
• lochnagarr / JITFuzz
  ☆13Updated 2 years ago
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆79Updated last week