SuperAPI AI 工具集

testing-handbook-skills

测试与质量

查看项目

更新于 10-16 05:07

技能介绍

用途:源自 Trail of Bits 应用安全测试手册的综合性安全测试技能包,用于指导智能体开展应用安全测试工作。

主要能力:涵盖 17 个子技能。模糊测试器包括 libFuzzer、AFL++、libAFL(C/C++)、cargo-fuzz(Rust)、Atheris(Python)、Ruzzy(Ruby);技术类包括测试桩编写、覆盖率分析、模糊测试字典、模糊测试障碍排除、AddressSanitizer 内存错误检测;静态分析包括 Semgrep、CodeQL;密码学测试包括 Wycheproof 测试向量、常量时间测试;基础设施包括 OSS-Fuzz;另有一个从测试手册生成新技能的元技能。

使用方式:先按目标语言选择模糊测试器,用 harness-writing 技能编写测试桩,结合 sanitizer(推荐 AddressSanitizer 作为基线)构建,创建有代表性的种子语料库,运行测试并监控覆盖率,再分析未覆盖代码改进测试桩,最后分类并去重崩溃发现。各子技能路径如 skills/libfuzzer/SKILL.md、skills/aflpp/SKILL.md、skills/atheris/SKILL.md 等。

适用场景:C/C++、Rust、Python、Ruby 的模糊测试活动;覆盖率引导测试;sanitizer 内存缺陷检测;密码学实现验证;开源项目接入 OSS-Fuzz 持续模糊测试;PR 中集成 Semgrep 与 CodeQL 静态分析。

限制:不适用于智能合约审计或链上专项审查;不适用于从零编写自定义静态分析规则;不适用于安全测试流程之外的通用代码审查;也不适用于没有具体测试计划的漏洞挖掘。以上信息依据公开资料整理,具体命令与安装细节以各子技能文档为准。