Alternatives and similar repositories for taser

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

• wala / JS_WALA
  WALA analyses and tools that are implemented in JavaScript
  ☆81Updated 9 years ago
• Haiyang-Sun / nodeprof.js
  Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.
  ☆59Updated 10 months ago
• formalsec / graphjs
  MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabil…
  ☆21Updated last month
• jeffsvajlenko / BigCloneEval
  BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench
  ☆81Updated last year
• wala / WALA-start
  Basic Gradle configuration and example drivers to get started with WALA
  ☆29Updated 11 months ago
• stg-tud / MUBench
  ☆60Updated last year
• stan6 / se-paper
  ☆74Updated 2 years ago
• wala / ML
  ☆28Updated last week
• codeflaws / codeflaws
  This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)
  ☆44Updated 5 years ago
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆161Updated 2 months ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆91Updated last year
• hub-se / BeDivFuzz
  ☆16Updated 4 months ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆79Updated 4 months ago
• too4words / securibench-micro
  Securibench Micro is a benchmark for static analysis tools for security.
  ☆26Updated 7 years ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆321Updated last year
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆83Updated 7 months ago
• clonebench / BigCloneBench
  ☆122Updated 3 years ago
• BugSwarm / bugswarm
  ☆37Updated 5 months ago
• parasol-aser / deepsim
  Deep learning code semantic similarity
  ☆65Updated 6 years ago
• TruX-DTF / findbugs-violations
  ☆14Updated 3 years ago
• tuhh-softsec / vul4j
  Vul4J: A Dataset of Reproducible Java Vulnerabilities
  ☆108Updated 2 months ago
• joana-team / joana
  Joana - Information Flow Control for Java
  ☆94Updated 3 years ago
• QilinPTA / Qilin
  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  ☆145Updated last month
• wogscpar / SZZUnleashed
  An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.
  ☆125Updated 2 years ago
• soot-oss / heros
  IFDS/IDE Solver for Soot and other frameworks
  ☆250Updated 2 years ago
• cristianstaicu / SecBench.js
  ☆35Updated last year
• gmu-swe / phosphor
  Phosphor: Dynamic Taint Tracking for the JVM
  ☆179Updated 5 months ago
• Song-Li / ODGen
  ODGen is a JavaScript Static Analysis tool to detect multiple types of vulnerabilities in Node.js packages.
  ☆160Updated last year
• nuprl / augur
  Performant taint analysis for Node.js
  ☆55Updated last year
• secure-software-engineering / PointerBench
  A points-to and alias analysis benchmark suite
  ☆41Updated 7 years ago