菜单
为 C/C++ 项目生成 LLVM libFuzzer FUZZ 测试用例、执行 26 条安全规范审查、生成语义化种子数据。 兼容 OpenHarmony / Linux / Android 构建系统。 触发关键词：fuzz 测试、生成 fuzzer、创建 fuzz 用例、fuzz 规范检查、fuzz_test、LLVMFuzzerTestOneInput、种子数据/corpus
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
| name | ohos-test-fuzz-generation |
| description | 为 C/C++ 项目生成 LLVM libFuzzer FUZZ 测试用例、执行 26 条安全规范审查、生成语义化种子数据。 兼容 OpenHarmony / Linux / Android 构建系统。 触发关键词：fuzz 测试、生成 fuzzer、创建 fuzz 用例、fuzz 规范检查、fuzz_test、LLVMFuzzerTestOneInput、种子数据/corpus |
| metadata | {"author":"openharmony","scope":"common","stage":"testing","domain":"fuzz","capability":"test-generation","version":"0.2.0","status":"production","triggers":["fuzz 测试","生成 fuzzer","创建 fuzz 用例","fuzz 规范检查","fuzz_test","LLVMFuzzerTestOneInput","种子数据","corpus"],"tags":["fuzz","testing","security","c++"]} |
用户输入需求
↓
[决策点] 用户意图是什么？
├─ 给类名要求生成测试 → 进入完整工作流
├─ 给现有文件要求检查 → 跳至阶段 5（规范审查）
├─ 要求生成种子 → 跳至阶段 4（种子语义生成）
└─ 要求生成报告 → 跳至阶段 5 后生成报告
↓
[阶段 1] 代码分析 —— 解析目标 API 类结构、方法签名、参数类型
↓
[阶段 2] 骨架生成 —— 创建 5 文件标准化工程（.cpp/.h/BUILD.gn/project.xml/corpus）
↓
[阶段 3] 实现填充 —— 模板替换为实际 API 职责与数据构造逻辑
↓
[阶段 4] 种子语义生成 —— 基于参数类型/名称特征生成高价值初始 corpus
↓
[阶段 5] 规范审查 —— 26 条规则逐一验证，输出合规报告
**加载触发**：仅加载违规规则的 rules/SecurityCodeReview_FuzzCheck_XXX.md
**必须加载**：规则 005 详细说明（复杂参数构造，误报高发区）
**不要加载**：未违规规则、规则速查表（`references/rules-overview.md` 仅在审查时加载）
↓
[阶段 6] 自动修复 —— 可自动修复规则执行修复（最多 3 轮）
↓
交付生成文件 + 审查报告 + 人工确认项清单
异常处理决策树：
| 工具 | 用途 | 命令示例 |
|---|---|---|
tools/fuzz_generator.py | 生成 FUZZ 测试用例 | python tools/fuzz_generator.py -n XxxXxx_fuzzer -N Namespace -c ClassName -H header.h -p output_path |
tools/fuzz_check.py | 规范审查（26 条规则） | python tools/fuzz_check.py --dir fuzzer_dir [--fix] |
tools/seed_generator.py | 生成语义化种子 | python tools/seed_generator.py --dir fuzzer_dir [--api ApiName] |
tools/generate_report.py | 生成合规报告 | python tools/generate_report.py --dir fuzzer_dir |
开始生成前，先确认：
IRemoteBroker / 含 DECLARE_INTERFACE_DESCRIPTOR → 必须生成 IPC stub fuzzer（LLVMFuzzerInitialize 初始化全局 g_stub，LLVMFuzzerTestOneInput 用 code % CODE_MAX 驱动），sptr<T> 参数写入 WriteRemoteObject(nullptr)（规则 007）| 类型类别 | 消费代码 | 说明 |
|---|---|---|
| 标识符类型（大驼峰非枚举） | fdp.ConsumeIntegral<uint64_t>() | 如 ScreenId/NodeId，底层是 uint64_t typedef |
| 进程/用户标识 | fdp.ConsumeIntegral<uint32_t>() | 如 ProcessId/Uid |
| 文件描述符 | fdp.ConsumeIntegral<int32_t>() | 如 Fd |
| 枚举类型 | static_cast<EnumType>(fdp.ConsumeIntegral<uint8_t>() % ENUM_SIZE) | 必须用 uint8_t（规则 013） |
| 字符串 | fdp.ConsumeRandomLengthString(256) | 限制最大长度防止内存爆炸 |
| 容器 | 先消费长度 uint8_t count = fdp.ConsumeIntegral<uint8_t>() % 32，再循环消费 | 适用于 std::vector<T> |
关键区分：大驼峰命名不一定是枚举，可能是 typedef 别名。必须检查 ENUM_SIZE_MAP 确认是否为枚举。
未知类型处理策略：
TYPE_CONSUMER_MAP 中 → 直接使用映射ENUM_SIZE_MAP → 是枚举则 uint8_t % ENUM_SIZEstd::vector<T> → 是则循环消费tools/fuzz_generator.py 查看 COMPLEX_TYPE_MAP 或构造自定义消费逻辑rand() / random() —— 不可重现，丧失覆盖率追踪意义（规则 017）size 参数当作变异数据传入 API —— fuzz 引擎无法有效变异长度（规则 010）data 指针 —— 可能包含非法地址，100% 触发 SIGSEGV（规则 018）auto 声明 fuzz 变量 —— 无法人工验证类型匹配性（规则 016）uint32_t —— 1 字节变异效率远高于 4 字节（规则 013）根据任务按需加载：
references/rules-overview.md — 26 条规则速查表（名称/严重度/自动检查/自动修复）
rules/SecurityCodeReview_FuzzCheck_XXX.md — 违规规则详细说明（正误示例 + 豁免条件）
rules/SecurityCodeReview_FuzzCheck_005.md — 复杂参数构造规则详解
tools/fuzz_generator.py — 用例生成器源码
TYPE_CONSUMER_MAP、ENUM_SIZE_MAP、COMPLEX_TYPE_MAPtemplates/fuzzer.cpp — 代码生成模板
官方文档：
Expert assistant for ArkTS-JS Interoperability in ArkCompiler (ArkTS runtime). 触发场景：修改/调试 ArkCompiler 互操作层代码（static_core/plugins/ets/runtime/interop_js/）、实现 ArkTS 与 JS 跨语言调用、处理 ETS 和 JS 之间的值转换（js_convert/JSRefConvert）、分析 Interop 内存泄漏与 GC 安全点、以及进行相关代码规范审查。
Guide for adding and maintaining ArkTS <-> JS/TS interoperability tests in ArkCompiler. 触发场景：在 plugins/ets/tests/interop_js/tests/ 目录下创建新的 ArkTS 与 JS/TS 互操作（Interop）测试用例、调试/维护已有 Interop 测试、编写 C++ 运行器（GTest runner）或声明文件（.d.ets）时。
Use when an OpenHarmony C++ change must be checked for call-chain completeness, especially for data propagation, IPC/proxy/stub paths, virtual overrides, callbacks, or dlopen/dlsym boundaries. Produces evidence tables and modification coverage matrices; the helper script only discovers candidate edges.
Use when the user wants to download OpenHarmony daily build images or flash them to a real device (DAYU200/RK3568 or others). Triggers on daily build, DAYU200, RK3568, flashing, burning, hdc reboot, upgrading firmware.
ETS-JavaScript interop Promise bridging system in ArkCompiler. Use this skill when working on cross-language Promise conversion between ETS (ArkTS) and JavaScript, including JSConvertPromise Wrap/Unwrap, EtsPromise proxy creation, EtsPromiseRef bridging, CreatePromiseLink, OnJsPromiseCompleted callbacks, connectPromise, SettleJsPromise, PromiseInteropResolve/Reject, EtsAwaitPromise/AwaitProxyPromise, callback queue management, or any code under js_convert.h (Promise section), js_job_queue, ets_promise, ets_promise_ref, std_core_Promise.cpp, or PromiseInterop.ets. Also use when debugging cross-VM Promise state synchronization, coroutine suspension/resumption during await, or napi_deferred lifecycle issues.
务必在创建、修改、评审或调试 OpenHarmony graphic_2d graphic_test 像素比对测试时使用；只要用户提到 RSGraphicTest、GRAPHIC_TEST、GRAPHIC_TESTS、GRAPHIC_N_TEST、Rosen 渲染测试、RSCanvasNode、RSSurfaceNode、Drawing::Canvas、PixelMap、截图测试、graphic_test 目录或 /data/local/graphic_test 图片，就必须使用。