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.
☆109May 27, 2026Updated 2 weeks ago
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.☆43Apr 17, 2026Updated last month
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated 10 months ago
- IDA Hexrays To CodeQL☆52Nov 7, 2024Updated last year
- Industrial Cybersecurity Conference Index☆13Mar 11, 2024Updated 2 years ago
- A benchmark for Java gadget chain detecting algorithms.☆16Jun 20, 2025Updated 11 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆16Oct 3, 2024Updated last year
- Hacking GraalVM Espresso - Abusing Continuation API to Make ROP-like Attack☆36Aug 27, 2025Updated 9 months ago
- JavaRce complements project - use RASP to prevent vulnerabilities☆24Apr 22, 2024Updated 2 years ago
- ☆121Apr 18, 2026Updated last month
- IDA Hexrays To Joern☆45Nov 7, 2024Updated last year
- Introduction to building on & interacting with the Solana blockchain☆11May 16, 2023Updated 3 years ago
- ☆10May 6, 2021Updated 5 years ago
- Automatically generates schema given json samples.☆10Jun 1, 2016Updated 10 years ago
- 简单实现的 Java RASP☆36Oct 14, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Quest Soft Player in java☆10Mar 12, 2024Updated 2 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 10 months ago
- Hack The Box OSCP-like VMs writeups☆11Oct 11, 2020Updated 5 years ago
- A curated list of audit rules which extract from Source Code Auditing tools.☆15Feb 19, 2020Updated 6 years ago
- ☆11May 18, 2021Updated 5 years ago
- PHP Static Program Analysis☆42Mar 29, 2023Updated 3 years ago
- BurpSuite 插件，自动格式化 response 中的 json/jsonp 数据，同时也会对 Unicode 进行解码☆10Feb 19, 2020Updated 6 years ago
- 一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。☆36Nov 22, 2023Updated 2 years ago
- A dk.brics FSM to regular-expression-string converter☆10Jul 12, 2025Updated 10 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- tool that generates bypasses for open redirects☆51Apr 18, 2022Updated 4 years ago
- ICSE'24 GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis☆102Dec 11, 2024Updated last year
- ☆25Jul 2, 2024Updated last year
- experimental wildcard subdomain filtering prototype☆14Aug 5, 2023Updated 2 years ago
- Joomla 未授权访问漏洞 CVE-2023-23752☆12Mar 3, 2023Updated 3 years ago
- A collection of papers and libraries for performing multi-agent optimization☆19Updated this week
- 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☆88Apr 13, 2026Updated last month
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Oct 27, 2025Updated 7 months ago
- ☆15Feb 15, 2023Updated 3 years ago
- CypherBench: Towards Precise Retrieval over Full-scale Modern Knowledge Graphs in the LLM Era☆37Jun 18, 2025Updated 11 months ago
- Writeups of my favorite challenges from Season 1 of BlockHarbor CTF☆10Oct 20, 2023Updated 2 years ago
- cmap - Node/Service discovery using python☆14Feb 11, 2021Updated 5 years ago
- Deterministic Regular Expressions with Backreferences☆21Oct 12, 2020Updated 5 years ago
- Collections of xiaomi/mijia MIIO documents/examples/firmwares☆14Jun 30, 2021Updated 4 years ago