Protect your PHP project from deserialization attacks! As seen on NDSS 2024
☆15Aug 8, 2025Updated last year
Alternatives and similar repositories for quack
Users that are interested in quack are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SpecAuditor: Generating Audit Specifications for LLM-Driven Bug Detection (S&P 2026)☆24Jun 8, 2026Updated 2 months ago
- ☆11Jul 20, 2021Updated 5 years ago
- A small research about finding stupid C-string related bugs☆14Jun 29, 2022Updated 4 years ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated last year
- ☆23Apr 6, 2019Updated 7 years ago
- 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.
- ☆27Feb 19, 2024Updated 2 years ago
- ☆14Feb 4, 2020Updated 6 years ago
- ☆31Sep 1, 2025Updated 11 months ago
- FUGIO: Automatic Exploit Generation for PHP Object Injection Vulnerabilities☆99Nov 27, 2023Updated 2 years ago
- A benchmark for Java gadget chain detecting algorithms.☆17Jun 20, 2025Updated last year
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆17Oct 3, 2024Updated last year
- ☆21Apr 30, 2021Updated 5 years ago
- Predator is a directed fuzzing-based Web application vulnerability validation prototype. It automates verifying static vulnerability repo…☆14May 19, 2025Updated last year
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆37Apr 21, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Modelizer - is a framework for learning models from BlackBox systems using Input-Output examples☆22Apr 9, 2026Updated 4 months ago
- Static analysis for llvm☆20Mar 31, 2015Updated 11 years ago
- ☆32Mar 31, 2026Updated 4 months ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆31Jan 27, 2025Updated last year
- A PDF generator for CVE-2025-54988☆18Sep 4, 2025Updated 11 months ago
- A polyglot static analysis engine for detecting vulnerabilities in scripting languages native extensions based on joern.☆22Sep 1, 2025Updated 11 months ago
- ☆19Apr 7, 2023Updated 3 years ago
- Automated Exploit Generation for Node.js Packages☆20Jul 25, 2026Updated 2 weeks ago
- ☆30Jul 27, 2026Updated 2 weeks 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.
- Testability Tarpits: the Impact of Code Patterns on the Security Testing of Web Applications (NDSS 2022)☆27Feb 14, 2024Updated 2 years ago
- A command-line tool for getting a domain's IPs from multiple name servers.☆22Aug 31, 2014Updated 11 years ago
- ☆11Nov 16, 2025Updated 8 months ago
- A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.☆18May 15, 2026Updated 2 months ago
- The Z3-Noodler String Solver☆27Updated this week
- Generates strings that match a regular expression☆12Jun 23, 2026Updated last month
- ☆70Updated this week
- ☆46Jan 30, 2023Updated 3 years ago
- ☆31May 1, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- tool of llm-based indirect-call analyzer☆31Feb 18, 2025Updated last year
- CVE-2021-22005批量验证python脚本☆13Sep 25, 2021Updated 4 years ago
- Uzbek cyrillic/latin alphabetic, upper/lower/capital-case, name/surname/patronymic wordlists (dictionaries) and their combinations☆14Aug 4, 2022Updated 4 years ago
- 该资源为安全相关的数据集，包括恶意URL、恶意流量、图像分类、恶意软件等，希望对您有所帮助~☆10Apr 21, 2021Updated 5 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆37Apr 17, 2026Updated 3 months ago
- COVA - A static analysis tool to compute path conditions☆41Mar 2, 2026Updated 5 months ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆38Aug 17, 2023Updated 2 years ago