The official GitHub page for the survey paper "A Survey on Large Language Models for Code Generation".

Research prototype tool for modular formal verification of C, Rust and Java programs

No fortress, purely open ground. OpenManus is Coming.

🦉 OWL: Optimized Workforce Learning for General Multi-Agent Assistance in Real-World Task Automation

The Web Security Testing Guide is a comprehensive Open Source guide to testing the security of web applications and web services.

Query-Based Code Analysis Engine

Fetch all the URLs that the Wayback Machine knows about for a domain

Hacking自动化就是好玩的星球相关

网络安全 LLM 智能体应用教程

A code-first agent framework for seamlessly planning and executing data analytics tasks.

A curated list of awesome resources about LLM supply chain security (including papers, security reports and CVEs)

Large Language Models for Software Engineering: A Systematic Literature Review

A novel agentic memory system

A neurosymbolic framework for vulnerability detection in code

An overview of LLMs for cybersecurity.

The official Python SDK for Codellm-Devkit

A manually vetted dataset for security vulnerability detection in Java projects

LLMDFA: Analyzing Dataflow in Code with Large Language Models

基于 AI 的代码安全审计工具，支持多种编程语言的代码分析，可以帮助开发者快速发现代码中的潜在安全漏洞。支持DeepSeek-R1，ChatGPT-4o等多种大模型。

Enhanced BurpGPT 是一个强大的 Burp Suite 插件。通过分析指定的 HTTP 请求和响应，帮助安全测试人员更快速地发现潜在的安全漏洞。

一个支持被动代理的调用 KIMI AI 和 DeepSeek AI进行自动化越权漏洞检测的工具。

Awesome Large Language Models for Vulnerability Detection

SSL bypass check

frida脚本集合

(ICLR 2025) AgentRefine: Enhancing Agent Generalization through Refinement Tuning

PIKE-RAG: sPecIalized KnowledgE and Rationale Augmented Generation

借助adb协议+jdwp协议在Android端实现基于debugger的代码注入工具