magiclf-ai/ivagent/integer-overflow-chain-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: integer_overflow_chain_01
Install
npx vskill@latest install magiclf-ai/ivagent/integer-overflow-chain-01SKILL.md
系统测试 Workflow
通用目标
本 skill 用于评估 IVAgent 在整数溢出驱动的漏洞链场景下的漏洞挖掘能力，重点关注内存安全漏洞、整数安全漏洞、格式化字符串漏洞与跨函数数据流追踪。
通用分析策略
- 将所有函数参数默认视为外部输入，重点跟踪长度参数、计数字段和指针参数。
- 优先检查
memcpy、strcpy、printf、malloc、free等危险 API。 - 当污点数据跨函数传播时，主动创建 sub-agent 深入分析被调函数。
- 报告漏洞时明确给出漏洞类型、位置、数据流、触发条件和修复建议。
测试目标
围绕 allocate_and_copy 的分配和拷贝流程执行真实漏洞挖掘，重点验证系统是否能同时识别算术根因与后续内存破坏后果，并将两者串联为同一条漏洞链。
入口与处理链
- 主入口：
allocate_and_copy - 关键处理链：
allocate_and_copy->calculate_size - 重点关注乘法溢出如何影响
malloc大小与后续memcpy长度
执行要求
- 从
count、item_size两个输入参数出发，确认其在calculate_size与allocate_and_copy中的使用方式。 - 必须检查分配大小与拷贝大小是否使用了同一安全前提，尤其关注溢出后的截断值与原始乘积的分离。
- 报告时要明确区分整数溢出根因和后续缓冲区溢出后果，并说明它们的因果链。
输出要求
- 优先保证召回率，但不能脱离代码事实臆测。
- 不要只报告单独的整数问题或单独的
memcpy问题，需优先给出链式分析。
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/integer_overflow_chain_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/integer-overflow-chain-01)