MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabilities.
☆27Dec 10, 2025Updated 9 months ago
Alternatives and similar repositories for graphjs
Users that are interested in graphjs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automated Exploit Generation for Node.js Packages☆21Aug 19, 2026Updated last month
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated 2 years ago
- ☆46Aug 20, 2026Updated last month
- a project repository for a paper☆23May 4, 2024Updated 2 years ago
- Smart contract front-running vulnerability benchmark☆27Dec 11, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆32May 1, 2025Updated last year
- This repository contains information related to the Root Cause Mapping Working Group and its activities. CVE Numbering Authority (CNA) re…☆17Jan 29, 2025Updated last year
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Aug 24, 2021Updated 5 years ago
- The Z3-Noodler String Solver☆31Updated this week
- ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…☆25Nov 30, 2021Updated 4 years ago
- PyDFix is a tool that helps detect and fix dependency errors that cause the unreproducibility of Python builds. PyDFix takes as input the…☆13Feb 7, 2023Updated 3 years ago
- Ying Zhang, Ya Xiao, Md Mahir Asef Kabir, Daphne Yao, Na Meng. Example-Based Vulnerability Detection and Repair in Java Code 30th IEEE/AC…☆10Jul 31, 2022Updated 4 years ago
- OCaml bindings to Minisat☆12May 6, 2024Updated 2 years ago
- The Artifacts for ICSE 2023 paper: Bad Snakes: Understanding and Improving Python Package Index Malware Scanning☆13Feb 8, 2026Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- JEST: N+1-version Differential Testing of Both JavaScript Engines☆14Jun 1, 2021Updated 5 years ago
- An IntelliJ IDEA plugin improving type migration refactoring using inferred type conversion rules☆10Nov 11, 2021Updated 4 years ago
- An SMT solver frontend for OCaml☆81Updated this week
- Definition and Detection of Defects in NFT Smart Contracts☆28Aug 31, 2025Updated last year
- ☆10Sep 24, 2019Updated 7 years ago
- Analyzer for Uniswap v4 Hooks☆12Mar 4, 2024Updated 2 years ago
- SimGNN: A Neural Network Approach to Fast Graph Similarity Computation [WSDM-2019]☆11Apr 18, 2024Updated 2 years ago
- VulTrigger is a tool to for identifying vulnerability-triggering statements across functions and investigating the effectiveness of funct…☆42Dec 29, 2023Updated 2 years ago
- JavaScript Transformation Techniques Detection☆11Jun 14, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆22Jul 16, 2024Updated 2 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Jul 3, 2017Updated 9 years ago
- Automatically generates schema given json samples.☆10Jun 1, 2016Updated 10 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- ☆19Jul 27, 2024Updated 2 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆30Nov 29, 2022Updated 3 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 8 years ago
- ☆29Dec 28, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Reasonable Go.☆10Aug 13, 2018Updated 8 years ago
- ADD extracts features from patches such as repair patterns.☆13Oct 2, 2023Updated 3 years ago
- MutRex - A generator of fault detecting strings for regular expressions☆14Mar 18, 2024Updated 2 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated last year
- [@@ deriving] plugin to generate Cmdliner sub-command groups, and ppx rewriter to generate Cmdliner evaluations.☆22Jan 18, 2026Updated 8 months ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated last year
- Bytecode based Fuzzer for the PHP language☆12Jul 22, 2020Updated 6 years ago