Alternatives and similar repositories for taser

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

• formalsec / graphjs
  MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabil…
  ☆20Updated 4 months ago
• wala / WALA-start
  Basic Gradle configuration and example drivers to get started with WALA
  ☆29Updated 8 months ago
• Haiyang-Sun / nodeprof.js
  Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.
  ☆57Updated 7 months ago
• jeffsvajlenko / BigCloneEval
  BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench
  ☆79Updated last year
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆315Updated last year
• stan6 / se-paper
  ☆74Updated 2 years ago
• Tricker-z / TPLite
  ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?
  ☆30Updated 2 years ago
• stg-tud / MUBench
  ☆58Updated last year
• secure-software-engineering / PointerBench
  A points-to and alias analysis benchmark suite
  ☆41Updated 6 years ago
• cristianstaicu / SecBench.js
  ☆33Updated 10 months ago
• wala / JS_WALA
  WALA analyses and tools that are implemented in JavaScript
  ☆81Updated 8 years ago
• hub-se / BeDivFuzz
  ☆16Updated last month
• Mondego / SourcererCC
  Sourcerer's Code Clone project
  ☆217Updated 3 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆115Updated 3 weeks ago
• clonebench / BigCloneBench
  ☆117Updated 2 years ago
• codeflaws / codeflaws
  This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)
  ☆43Updated 4 years ago
• tuhh-softsec / vul4j
  Vul4J: A Dataset of Reproducible Java Vulnerabilities
  ☆98Updated 2 months ago
• wala / ML
  ☆27Updated last week
• soot-oss / heros
  IFDS/IDE Solver for Soot and other frameworks
  ☆251Updated 2 years ago
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆156Updated last week
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆32Updated last year
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆79Updated 4 months ago
• Song-Li / ODGen
  ODGen is a JavaScript Static Analysis tool to detect multiple types of vulnerabilities in Node.js packages.
  ☆155Updated last year
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆76Updated last month
• BugSwarm / bugswarm
  ☆34Updated 3 months ago
• cs-au-dk / goat
  ☆22Updated 2 years ago
• nuprl / augur
  Performant taint analysis for Node.js
  ☆56Updated last year
• plast-lab / doop
  The official repo of Doop, the declarative pointer analysis framework.
  ☆183Updated 2 months ago
• april1989 / Incremental_Points_to_Analysis
  This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA
  ☆25Updated 2 years ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated last year