Alternatives and similar repositories for VaRA-Tool-Suite

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

• secure-software-engineering / phasar
  A LLVM-based static analysis framework.
  ☆1,015Updated this week
• travitch / whole-program-llvm
  A wrapper script to build whole-program LLVM bitcode files
  ☆717Updated 10 months ago
• SVF-tools / SVF
  Static Value-Flow Analysis Framework for Source Code
  ☆1,614Updated this week
• mchalupa / dg
  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
  ☆519Updated 5 months ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆185Updated 4 years ago
• csartifacts / resources
  Resources on the Artifact Evaluation (AE) Process
  ☆17Updated 4 years ago
• uw-pluverse / pluverse-latex-style-guide
  ☆26Updated 3 weeks ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆84Updated this week
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆229Updated 6 years ago
• polyvios / locksmith
  A data race detector for C+Pthreads programs
  ☆12Updated 2 years ago
• cs-au-dk / TIP
  Static program analysis for TIP
  ☆305Updated 5 months ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆250Updated this week
• ARISTODE / program-dependence-graph
  Program dependence graph in LLVM
  ☆42Updated 3 months ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆230Updated this week
• pietrobraione / sushi
  The SUSHI test case generator
  ☆23Updated last year
• stephenfreund / RoadRunner
  ☆75Updated 7 years ago
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆316Updated last month
• xlab-uiuc / cdep-fse-ae
  Configuration dependency analysis for cloud software
  ☆24Updated 3 years ago
• grievejia / tpa
  Pointer Analysis with Tunable Precision
  ☆26Updated 9 years ago
• banach-space / clang-tutor
  A collection of out-of-tree Clang plugins for teaching and learning
  ☆752Updated last month
• HexHive / magma
  A ground-truth fuzzing benchmark suite based on real programs with real bugs.
  ☆322Updated 5 months ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• michaelpradel / LExecutor
  A learning-guided approach for executing arbitrary Python code snippets
  ☆18Updated last year
• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆22Updated 2 years ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆64Updated 3 years ago
• eliben / llvm-clang-samples
  UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools
  ☆1,188Updated 7 years ago
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆160Updated last month
• eurecom-s3 / symcc
  SymCC: efficient compiler-based symbolic execution
  ☆842Updated 5 months ago
• magsilva / proteum
  Tool for mutation testing of C programs
  ☆20Updated 5 years ago
• sslab-gatech / qsym
  QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
  ☆652Updated 2 years ago