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…
  ☆21Updated this week
• Haiyang-Sun / nodeprof.js
  Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.
  ☆59Updated 8 months ago
• wala / WALA-start
  Basic Gradle configuration and example drivers to get started with WALA
  ☆29Updated 10 months 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
• 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
• wala / ML
  ☆27Updated last week
• joana-team / joana
  Joana - Information Flow Control for Java
  ☆94Updated 3 years ago
• wala / JS_WALA
  WALA analyses and tools that are implemented in JavaScript
  ☆81Updated 8 years ago
• githubnext / amalfi-artifact
  Artifact accompanying our ICSE '22 paper "Practical Automated Detection of Malicious npm Packages"
  ☆46Updated 3 years ago
• Song-Li / ODGen
  ODGen is a JavaScript Static Analysis tool to detect multiple types of vulnerabilities in Node.js packages.
  ☆155Updated last year
• secure-software-engineering / PointerBench
  A points-to and alias analysis benchmark suite
  ☆41Updated 7 years ago
• gmu-swe / phosphor
  Phosphor: Dynamic Taint Tracking for the JVM
  ☆179Updated 3 months ago
• QilinPTA / Qilin
  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  ☆143Updated last week
• soot-oss / heros
  IFDS/IDE Solver for Soot and other frameworks
  ☆251Updated 2 years ago
• stan6 / se-paper
  ☆74Updated 2 years ago
• hub-se / BeDivFuzz
  ☆15Updated 2 months ago
• cristianstaicu / SecBench.js
  ☆34Updated last year
• cs-au-dk / goat
  ☆22Updated 2 years ago
• stg-tud / MUBench
  ☆58Updated last year
• Fraunhofer-AISEC / cpg
  A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.
  ☆376Updated this week
• WOOSEUNGHOON / MOVERY-public
  ☆26Updated 2 years ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆317Updated last year
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆157Updated 3 weeks ago
• chengpeng-wang / LLMDFA
  LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)
  ☆153Updated 4 months ago
• jeffsvajlenko / BigCloneEval
  BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench
  ☆80Updated last year
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆57Updated 3 months ago
• BugSwarm / bugswarm
  ☆35Updated 4 months ago
• WOOSEUNGHOON / Centris-public
  ☆60Updated last year
• vuduclyunitn / software_supply_chain_papers
  This repository contains a list of papers about software supply chain
  ☆29Updated last year
• SQUARE-RG / ICCBot
  ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications
  ☆41Updated last year