magiclf-ai/ivagent/format-string-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: format_string_01
Install
npx vskill@latest install magiclf-ai/ivagent/format-string-01SKILL.md
系统测试 Workflow
通用目标
本 skill 用于评估 IVAgent 在简单格式化字符串场景下的漏洞挖掘能力，重点关注内存安全漏洞、整数安全漏洞、格式化字符串漏洞与跨函数数据流追踪。
通用分析策略
- 将所有函数参数默认视为外部输入，重点跟踪长度参数、计数字段和指针参数。
- 优先检查
memcpy、strcpy、printf、malloc、free等危险 API。 - 当污点数据跨函数传播时，主动创建 sub-agent 深入分析被调函数。
- 报告漏洞时明确给出漏洞类型、位置、数据流、触发条件和修复建议。
测试目标
围绕 log_message 的输出路径执行真实漏洞挖掘，验证系统是否能直接识别用户可控字符串进入格式化位置的风险。
入口与处理链
- 主入口：
log_message - 关键处理链：
log_message->printf - 重点关注参数
msg是否直接作为格式化模板使用
执行要求
- 从入口参数出发，确认
msg的可控性与最终使用位置。 - 必须区分“作为普通字符串参数输出”和“作为格式化模板使用”两种语义。
- 报告时要解释可利用性，而不是只说存在
printf调用。
输出要求
- 优先保证召回率，但不能脱离代码事实臆测。
- 报告必须明确指出格式字符串参数位置与用户输入之间的对应关系。
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/format_string_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/format-string-01)