A containerized Model Context Protocol (MCP) server providing static code analysis using Joern's Code Property Graph (CPG) with support for Java, C/C++, JavaScript, Python, Go, Kotlin, C#, Ghidra, Jimple, PHP, Ruby, and Swift.
☆69Apr 4, 2026Updated this week
Alternatives and similar repositories for codebadger
Users that are interested in codebadger are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple Joern MCP Server.☆37Nov 14, 2025Updated 4 months ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated 8 months ago
- IDA Hexrays To CodeQL☆54Nov 7, 2024Updated last year
- Industrial Cybersecurity Conference Index☆13Mar 11, 2024Updated 2 years ago
- A benchmark for Java gadget chain detecting algorithms.☆15Jun 20, 2025Updated 9 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆15Oct 3, 2024Updated last year
- Hacking GraalVM Espresso - Abusing Continuation API to Make ROP-like Attack☆36Aug 27, 2025Updated 7 months ago
- JavaRce complements project - use RASP to prevent vulnerabilities☆24Apr 22, 2024Updated last year
- An ultrafast chess move generator. ~400Million nodes per second.☆13Nov 24, 2023Updated 2 years ago
- IDA Hexrays To Joern☆46Nov 7, 2024Updated last year
- Interactive LLM Chatbot that constructs direct and transitive software dependencies as a knowledge graph and answers user's questions lev…☆33Mar 11, 2026Updated 3 weeks ago
- ☆11Dec 1, 2025Updated 4 months ago
- ☆10May 6, 2021Updated 4 years ago
- 简单实现的 Java RASP☆35Oct 14, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Quest Soft Player in java☆11Mar 12, 2024Updated 2 years ago
- MutRex - A generator of fault detecting strings for regular expressions☆12Mar 18, 2024Updated 2 years ago
- Hack The Box OSCP-like VMs writeups☆11Oct 11, 2020Updated 5 years ago
- Chess move generation engine☆12Jan 11, 2026Updated 2 months ago
- A curated list of audit rules which extract from Source Code Auditing tools.☆15Feb 19, 2020Updated 6 years ago
- ☆11May 18, 2021Updated 4 years ago
- PHP Static Program Analysis☆42Mar 29, 2023Updated 3 years ago
- 一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。☆36Nov 22, 2023Updated 2 years ago
- Allows two LLMs to communicate and run code in the terminal☆28Dec 8, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- tool that generates bypasses for open redirects☆51Apr 18, 2022Updated 3 years ago
- The source code of [S&P'25] Detecting Taint-Style Vulnerabilities in Microservice-Structured Web Applications.☆66Nov 20, 2025Updated 4 months ago
- experimental wildcard subdomain filtering prototype☆14Aug 5, 2023Updated 2 years ago
- Joomla 未授权访问漏洞 CVE-2023-23752☆12Mar 3, 2023Updated 3 years ago
- ☆56Feb 18, 2025Updated last year
- Bulk scanning tool for ServiceNow CVE-2024-4879 vulnerability☆10Jul 12, 2024Updated last year
- The source code of [Sec'25] Make Agent Defeat Agent: Automatic Detection of Taint-Style Vulnerabilities in LLM-based Agents☆67Sep 9, 2025Updated 7 months ago
- Allow Nexus users to test their applications against the Snyk vulnerability database☆20Aug 26, 2025Updated 7 months ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Oct 27, 2025Updated 5 months ago
- ☆15Feb 15, 2023Updated 3 years ago
- A curated list of awesome resources about LLM supply chain security (including papers, security reports and CVEs)☆98Jan 20, 2025Updated last year
- cmap - Node/Service discovery using python☆14Feb 11, 2021Updated 5 years ago
- simpleIAST- 基于污点追踪的灰盒漏洞扫描工具。☆101Mar 24, 2026Updated 2 weeks ago
- Collections of xiaomi/mijia MIIO documents/examples/firmwares☆14Jun 30, 2021Updated 4 years ago
- Automated black-box REST API testing using graph-based modeling, LLMs, and multi-agent reinforcement learning.☆45Feb 20, 2026Updated last month