magiclf-ai/ivagent/uaf-cross-func-01
Claude Code and agent skill by magiclf-ai/ivagent
Trust tier 3
- community
Source check pending
Checking that the SKILL.md file is still in the repository.
系统测试 workflow: uaf_cross_func_01
Install
npx vskill@latest install magiclf-ai/ivagent/uaf-cross-func-01SKILL.md
系统测试 Workflow
通用目标
本 skill 用于评估 IVAgent 在跨函数 UAF 场景下的漏洞挖掘能力，重点关注内存安全漏洞、整数安全漏洞、格式化字符串漏洞与跨函数数据流追踪。
通用分析策略
- 将所有函数参数默认视为外部输入，重点跟踪长度参数、计数字段和指针参数。
- 优先检查
memcpy、strcpy、printf、malloc、free等危险 API。 - 当污点数据跨函数传播时，主动创建 sub-agent 深入分析被调函数。
- 报告漏洞时明确给出漏洞类型、位置、数据流、触发条件和修复建议。
测试目标
围绕 process_data 的对象生命周期管理流程执行真实漏洞挖掘，验证系统是否能识别“释放后未清空全局引用”导致的跨函数 use-after-free。
入口与处理链
- 主入口：
process_data - 关键处理链：
process_data->free_buffer->use_buffer - 重点关注全局指针
global_buf的生命周期和释放后状态
执行要求
- 从入口建立对象分配、释放、再次访问的时序关系。
- 必须检查
free_buffer是否只释放内存而未同步清空全局引用。 - 继续分析
use_buffer是否在看似非空的条件下使用已释放对象。 - 报告时要同时给出 free 点和 use 点，并解释为何两者在控制流上可连通。
输出要求
- 优先保证召回率，但不能脱离代码事实臆测。
- 报告必须说明悬挂指针为何仍可被后续路径访问。
Security
- Security scanPassed, 90 of 100Pattern checks on the skill's files.
- Model reviewPassed
Quality evaluation
- Task evaluationNot runNo evaluation yet. Run one in Skill Studio.
Source
- SKILL.md in the repositoryCheckingtests/testcases/uaf_cross_func_01/SKILL.md
Popularity
- 7-day trend score
- 0
Not refreshed yet.
Works with
Any agent vskill installs to: 56 targets in all. These 39 have a page on this site.
- Claude Code
- Cursor
- GitHub Copilot
- Windsurf
- Codex
- Gemini CLI
- Cline
- Amp
- Roo Code
- Goose
- Continue
- Kilo Code
- Junie
- Trae
- OpenHands
- Qwen Code
- AI Agent
- Tabnine Chat
- Sourcegraph Cody
- Amazon Q
- Firebase Genkit
- Sweep
- Devin
- Phind
- Mentat
- Claude Desktop
- Aider
- GPT Pilot
- Plandex
- bolt.new
- v0
- Replit Agent
- Anse
- TypingMind
- BetterChatGPT
- LibreChat
- Warp AI
- Pieces
- Fig AI
Embed badge
[](https://verified-skill.com/skills/magiclf-ai/ivagent/uaf-cross-func-01)