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,003Updated last week
• travitch / whole-program-llvm
  A wrapper script to build whole-program LLVM bitcode files
  ☆716Updated 8 months ago
• mchalupa / dg
  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
  ☆511Updated 3 months ago
• SVF-tools / SVF
  Static Value-Flow Analysis Framework for Source Code
  ☆1,582Updated this week
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• uw-pluverse / pluverse-latex-style-guide
  ☆26Updated last week
• 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…
  ☆31Updated 2 years ago
• backes / javaslicer
  JavaSlicer is an open-source dynamic slicing tool developed at Saarland University
  ☆44Updated 4 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆78Updated this week
• csartifacts / resources
  Resources on the Artifact Evaluation (AE) Process
  ☆17Updated 4 years ago
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆18Updated 3 years ago
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆280Updated last year
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆247Updated this week
• eliben / llvm-clang-samples
  UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools
  ☆1,191Updated 6 years ago
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆156Updated this week
• mkechagia / Catcher
  Tool for effective and efficient detection of API misuses.
  ☆11Updated 3 years ago
• SRI-CSL / gllvm
  Whole Program LLVM: wllvm ported to go
  ☆325Updated last year
• HexHive / magma
  A ground-truth fuzzing benchmark suite based on real programs with real bugs.
  ☆317Updated 3 months ago
• seahorn / crab
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆244Updated 10 months ago
• michaelpradel / ConTeGe
  Generation of sequential and concurrent unit tests to find correctness and performance problems in Java classes
  ☆16Updated 6 years ago
• mjc92 / buffer_overrun_memory_networks
  ☆20Updated 8 years ago
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated 2 years ago
• pietrobraione / sushi
  The SUSHI test case generator
  ☆22Updated last year
• squaresLab / ManyBugs
  ☆17Updated 5 years ago
• JunjieChen / HiCOND
  ☆10Updated 5 years ago
• eurecom-s3 / symcc
  SymCC: efficient compiler-based symbolic execution
  ☆832Updated 3 months ago
• sola-da / StaticBugCheckers
  StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding t…
  ☆11Updated 6 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• formalsec / graphjs
  MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabil…
  ☆20Updated 4 months ago
• jieyu / concurrency-bugs
  A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…
  ☆61Updated 12 years ago