Alternatives and similar repositories for VaRA-Tool-Suite

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

• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆78Updated this week
• secure-software-engineering / phasar
  A LLVM-based static analysis framework.
  ☆987Updated last week
• Bramas / hotcrp-docker-compose
  An easy docker-compose deployement of hotcrp
  ☆18Updated 2 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆183Updated 3 years ago
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆151Updated 2 months ago
• mchalupa / dg
  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
  ☆505Updated 2 weeks ago
• csartifacts / resources
  Resources on the Artifact Evaluation (AE) Process
  ☆17Updated 4 years ago
• pedromigueladao / SSof
  Public Repo for Software Security Course@IST
  ☆20Updated 6 years ago
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆24Updated last year
• ARISTODE / program-dependence-graph
  Program dependence graph in LLVM
  ☆37Updated last week
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆38Updated last year
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆111Updated 2 weeks ago
• kupl / npex
  ☆15Updated last year
• naman / TaintAnalysis
  Interprocedural Taint Analysis using SOOT
  ☆8Updated 8 years ago
• formalsec / graphjs
  MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabil…
  ☆18Updated 2 months ago
• SVF-tools / Software-Security-Analysis
  Static Analysis Course
  ☆67Updated this week
• arichardson / juliet-test-suite-c
  ☆80Updated 2 months ago
• cs-au-dk / TIP
  Static program analysis for TIP
  ☆290Updated last month
• mkechagia / Catcher
  Tool for effective and efficient detection of API misuses.
  ☆11Updated 3 years ago
• tuhh-softsec / vul4j
  Vul4J: A Dataset of Reproducible Java Vulnerabilities
  ☆89Updated 3 months ago
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆279Updated last year
• clonebench / BigCloneBench
  ☆112Updated 2 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• skyhover / Deckard
  Code clone detection; clone-related bug detection; sematic clone analysis
  ☆217Updated last year
• uw-pluverse / pluverse-latex-style-guide
  ☆25Updated last month
• timtadh / jpdg
  generate program dependence graphs for java programs.
  ☆25Updated 7 years ago
• PPPI / Flexeme
  This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…
  ☆11Updated last week
• squaresLab / footpatch
  ☆15Updated 5 years ago
• N0W0RK / TUM_GAD_Tests_SS21
  This is a repository to collect JUnit Tests for GAD exercises at TUM in SS21
  ☆34Updated 3 years ago
• DengMinghua / LLVM-Program-Dependency-Graph-Generator
  A pass that can generate PDG(in *.dot) for LLVM.
  ☆36Updated 8 years ago