bug-detection

DeepAudit：人人拥有的 AI 黑客战队，让漏洞挖掘触手可及。小白一键部署运行，自主协作审计 + 自动化沙箱 PoC 验证。支持 Ollama 私有部署 ，一键生成报告。支持中转站。​让安全不再昂贵，让审计不再复杂。

Static Value-Flow Analysis Framework for Source Code

Detect concurrency and memory bugs and possible panic locations in Rust projects

Adversarial AI bug hunter with auto-fix skill for Claude Code, Cursor, Codex CLI, GitHub Copilot CLI, Kiro CLI, Opencode, Pi Coding Agent, and more. Multi-agent pipeline finds security vulnerabilities, logic errors, and runtime bugs — then fixes them autonomously on a safe branch.

A Tool for clone detection and bug detection in smart contracts

AI-powered code analysis tool with bug detection, code explanations, and AI-powered suggestions.

phpcpd-next is a token-based copy/paste (clone) detector for PHP 8.4+, a modernized, openly-licensed successor to Sebastian Bergmann's phpcpd

Logic-first AI code review via semi-formal execution tracing (Premises → Trace → Divergence → Trigger → Remedy). Catches behavioral bugs, type-contract breaches & async hazards that linters miss. Six skills · Claude Code · Codex CLI · Gemini CLI.

OpenClaw skill: Dynamic bug audit for Node.js web projects (games, data tools, WeChat, APIs, bots). 200+ real-world pitfalls.

An automatic API misuse checker for C programs!

AI-powered GitHub repository analyzer that ingests full codebases, enables codebase-wide chat, detects bugs, and suggests optimizations using RAG (LangChain + FAISS + OpenRouter) with a Streamlit UI.

wico - AI-powered exploratory testing skills for Claude Code using Playwright CLI

Bring free CodeRabbit AI code reviews into Neovim via the CLI

Multi-agent PR review engine for Claude Code and OpenCode: parallel specialty hunters, an adversarial refuter that challenges every severe finding, and deterministic blocking/advisory tiers. High precision, narrow coverage — lifecycle and state-machine bugs, not style.

Bug detection and fixing using prompt engineering and fine-tuning with Llama 3 and a custom mutation-based dataset. Includes a user-friendly interface and performance evaluation metrics.

GenClass Runtime: a 10 MB in-browser model that detects race conditions, stale responses and duplicate requests in web apps; opt-in guard mode can prevent some of them. npm i @genclass/runtime

Code of our paper "Method-Level Bug Severity Prediction using Source Code Metrics and LLMs" which is accepted to ISSRE 2023.

Bug detection and repair algorithm