Lists (15)
Stars
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Repository for materials of "Modern fuzzing of C/C++ Projects" workshop.
The CASTLE Benchmark is a modern micro-benchmarking solution to test Static Analyzers and LLMs in vulnerability detection
An AI-powered security review GitHub Action using Claude to analyze code changes for security vulnerabilities.
[ICLR'25] OpenRCA: Can Large Language Models Locate the Root Cause of Software Failures?
A repository-level AI-generated code security evaluation benchmark
Unified Efficient Fine-Tuning of 100+ LLMs & VLMs (ACL 2024)
A.I.G (AI-Infra-Guard) is a comprehensive, intelligent, and easy-to-use AI Red Teaming platform developed by Tencent Zhuque Lab.
Repository for the paper "Large Language Model-Based Agents for Software Engineering: A Survey". Keep updating.
SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]
A collection of notebooks/recipes showcasing some fun and effective ways of using Claude.
Model Context Protocol(MCP) 编程极速入门
LangChain 的中文入门教程
Build effective agents using Model Context Protocol and simple workflow patterns
MCP server for dnstwist, a powerful DNS fuzzing tool that helps detect typosquatting, phishing, and corporate espionage.
MCP for Security: A collection of Model Context Protocol servers for popular security tools like SQLMap, FFUF, NMAP, Masscan and more. Integrate security testing and penetration testing into AI wor…
AI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.
Python bindings for LLVM auto-generated from the LLVM-C API
A lightweight LLVM python binding for writing JIT compilers
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
Generic model checker for concurrent C programs (mirror repository)
Technical guide to making money and investing（最全赚钱投资指南）
Scalable Validator for Binary Lifters
Decompilation as a Service. Explore multiple decompilers and compare their output with minimal effort. Upload binary, get decompilation.
An overview of LLMs for cybersecurity.