AgentStalker
Gach0ng
A standardized agent vulnerability benchmark, formal taint tracking proofs, and a cross-language unified AST model, integrating code auditing with sandbox reproduction into an all-in-one agent security approach. 一个标准化的 Agent 漏洞基准、形式化的污点追踪证明与跨语言的统一 AST 模型，集成代码审计到沙箱复现一体化的智能体安全范式。
AI 简介
AgentStalker 是一个面向 LLM 智能体（Agent）的端到端安全审计框架，将智能体视为完整系统而非孤立模型进行漏洞评估。其核心包含标准化漏洞基准、形式化污点追踪证明、跨语言统一 AST 建模，并集成静态建模、攻击图生成、沙箱驱动的动态验证与证据支撑的裁决四阶段流程。支持 quick（纯静态）、standard（静态+攻击图）和 deep（含沙箱复现与多层监控）三种审计模式，适配 CI 门禁、发布前审计及红队演练等场景。
Python
130
Stars
5
Forks
1
Watchers
1
Issues
Star 增长
今日0
近 7 天0
近 30 天0
综合评分2.33
默认分支main