编程语言编译器语言运行时标准库开发工具【免费下载链接】sdkThe Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.项目地址https://gitcode.com/gh_mirrors/sdk1/sdk点击查看免费下载DartFuzz 是 Dart SDK 仓库中随附的生成式模糊测试fuzz testing工具用于持续发现 Dart VMJIT/AOT、dart2js 等不同执行后端之间的一致性缺陷与崩溃问题。本文以 runtime/tools/dartfuzz/README.md 为主线结合 dartfuzz.dart、dartfuzz_test.dart 与 minimize.py 等源码系统讲解 DartFuzz 的命令行用法、执行模式、底层生成机制、发散判定逻辑以及崩溃用例最小化流程帮助读者掌握一套可直接落地的 Dart 编译器/VM 模糊测试方案。DartFuzz 是什么DartFuzz 是一个以“随机生成 Dart 程序”为手段的生成式模糊测试工具目标是对 Dart 项目本身做模糊测试。每个随机生成的程序可以运行在多种执行模式下JITDart VM 的即时编译模式AOTDart VM 的预编译快照模式dart2js Node.JS经 dart2js 编译为 JavaScript 后在 Node 上执行多种目标架构x64、arm32、arm64、riscv32、riscv64含 debug/release 与仿真器变体。不同执行模式对同一随机程序输出的任何差异divergence发散都可能暴露某个执行后端中的缺陷。这正是 DartFuzz 的核心思想与其让测试程序受限于“程序员会怎么编写”不如让随机性把系统的边界彻底推开。从模糊测试方法论看DartFuzz 属于**生成式generation-based模糊测试它并非对已有输入做变异而是从零构造“随机但格式合法”的程序。与之相对仓库内还提供了DartLibFuzzerruntime/vm/libfuzzer/README.md它是基于 LLVM LibFuzzer 的覆盖率引导coverage-guided**变异式模糊引擎以dart_libfuzzer二进制形式对 VM/编译器内特定“target function”进行有方向的输入变异二者互为补充。提示DartFuzz 的版本号定义在 dartfuzz.dart 中当前为version 1.101。版本号的每次递增都保证“给定随机种子时同一版本 DartFuzz 生成完全相同的模糊程序”这使得缺陷可以被精确复现和回放。生成单个随机 Dart 程序dartfuzz.dart 用法DartFuzz 提供一个可运行的 main isolate。生成单个随机 Dart 程序的完整命令行如下dart dartfuzz.dart [--help] [--seed SEED] [--[no-]fp] FILENAME一个典型的单次测试流程是dart dartfuzz.dart fuzz.dart dart fuzz.dart第一步在指定文件名中生成随机程序第二步用当前 SDK 的 dart 直接运行它。命令行参数详解参数含义默认值--help打印帮助信息后退出—--seed SEED定义随机种子传 0 时由系统按时间选取并在运行时打印一个非零种子系统自动设定--[no-]fp启用/禁用浮点运算开启on--[no-]ffi启用/禁用 FFI 方法调用关闭off--[no-]flat启用/禁用 flat types扁平类型即禁止嵌套类型关闭off--[no-]mini启用最小化模式关闭off--smask位掩码指示省略哪些语句Bit1 表示省略0--emask位掩码指示省略哪些表达式Bit1 表示省略0从 dartfuzz.dart 的main函数可以看到这些选项的底层解析--seed默认0--fp默认开启--ffi与--flat默认关闭--mini默认关闭--smask/--emask默认0FILENAME通过results.rest.single取唯一的位置参数并调用File(...).openSync(mode: FileMode.write)以覆盖写方式输出程序。若参数解析失败会打印完整 usage 并设置退出码 255。关于种子还有一处细节getSeed()dartfuzz.dart在用户传入 0 时会反复从Random()中取nextInt(1 32)直到得到一个非零种子。这样既保留了“指定种子即可复现”的能力又保证了随机性的来源可见。启动一次完整的 DartFuzz 测试会话dartfuzz_test.dart要真正开始“模糊测试会话”运行dart dartfuzz_test.dart [--help] [--isolates ISOLATES ] [--repeat REPEAT] [--time TIME] [--num-output-lines NUMOUTPUTLINES] [--true_divergence] [--show-stats] [--dart-top DARTTOP] [--mode1 MODE] [--mode2 MODE] [--[no-]rerun]参数详解参数含义默认值--help打印帮助后退出—--isolates会话使用的 isolate 数量并发度1--repeat要运行的测试数量1000--time时间上限秒0 表示不限时无限制--num-output-lines发生发散时打印的输出行数200--true-divergence只报告“真发散”true divergencetrue--show-stats会话过程中显示统计信息true--dart-top通过命令行显式指定 DART_TOP见下文--mode1模式 m1随机--mode2模式 m2随机--[no-]rerun若测试仅在返回码上发散且返回值超出 [-255,255] 范围则重跑该用例若第二次运行不再发散则忽略第一次结果true若不指定任何模式会随机挑选一种组合。执行模式modes模式取值为以下三者之一对应 dartfuzz_test.dart 中的TestRunner.getTestRunner与getTag解析逻辑模式含义jit-[debug-][x64\|arm32\|arm64]Dart JITx64/arm32/arm64可选 debugaot-[debug-][x64\|arm32\|arm64]Dart AOT同样支持多架构djs-x64dart2js 编译 Node.JS 运行从源码看标签tag与产物目录严格对应例如x64→ReleaseX64、debug-x64→DebugX64、arm32→ReleaseSIMARM、arm64→ReleaseSIMARM64riscv 变体对应ReleaseSIMRISCV32/64等。这些字符串会直接用于拼接${DART_TOP}/out/tag/dartvm等二进制路径。DART_TOP 前提该模糊测试工具必须能访问一个Dart SDK 开发树顶层DART_TOP且其中所有必需的二进制都已构建完毕。例如测试jit-x64会调用${DART_TOP}/out/ReleaseX64/dart来启动 Dart VM。DART_TOP 的提供方式有三种优先级从高到低命令行--dart-top环境变量DART_TOP默认取当前目录即在 SDK 顶层目录直接调用工具。对应实现见 dartfuzz_test.dart 的getTop()依次读取命令行参数、Platform.environment[DART_TOP]最后回退为.。会话启动时会同时打印 Fuzz 版本、Dart SDK Revision通过dart --version获取、isolate 数、测试数、时间限制、true-divergence与show-stats等会话信息。会话输出与统计会话过程中--show-stats开启时每个 isolate 会持续更新一行统计Tests / Success (Rerun) / Skipped / Timeout / Divergences。全部 isolate 结束后若无发散输出success否则输出failure (N divergences)并设置退出码 1见DartFuzzTestSession.start。每次发散报告还会附上一段-- BEGIN REPRODUCE --块包含 Dart SDK revision、完整的dartfuzz.dart --seed ...复现命令以及 RUN 1 / RUN 2 两条执行命令便于任何人离线复现缺陷。底层原理DartFuzz 如何“随机但合法”地生成程序DartFuzz类dartfuzz.dart是整个生成器的核心。它的run()方法dartfuzz.dart完整地勾勒了生成流程用种子初始化Random由--fp/--flat构建 Dart 类型集合DartType.fromDartConfig初始化最小化状态initMinimization构建库 APIDartApi(ffi)若开启 FFI 则注入 FFI 测试函数填充全局变量、全局方法、类字段、类方法含统一原型的call方法与虚方法覆盖依次输出头部含版本注释、// dart2.14与dart:async、dart:io、dart:isolate、dart:typed_data等 import→ 全局变量声明 → 全局方法 → Dart 类型上的扩展方法 → 类定义 →main。类型与命名约束生成规模由一系列常量约束dartfuzz.dart语句深度stmtDepth1、表达式深度exprDepth2、循环嵌套nestDepth1、每处语句数numStatements2、全局变量 4、局部变量 4、全局方法 4、方法参数 4、类 4、每类扩展方法 3、Dart 类型扩展 5。命名约定为var/par/loc/fld/foo前缀加数字下标。此外还有一个很有价值的细节interestingIntegersdartfuzz.dart内置了一批“有趣整数”0x7fffffff、0x80000000、0x7fffffffffffffff等 32/64 位边界值emitInt()有 1/7 概率选择它们从而系统性覆盖整数溢出与符号边界字符串生成则混合常规字符与\u2665、\u{1f600}等 Unicode 转义。语句与表达式语句生成入口是emitStatement/emitStatementsdartfuzz.dartemitSingleStatement通过choose(17)在 print、return、throw、单/双向 if、for、for-in、while、do-while、break/continue、switch、新作用域、try/catch/finally、forEach、库调用、赋值等 17 种语句间随机选择表达式生成入口是emitExprdartfuzz.dart在终端值、一元、二元、三元、前后缀自增自减、库调用、方法调用中随机选择。生成时深度越深继续嵌套的概率越低choose(depth 1) exprDepth时回退为终端从而保证程序结构合法且不会无限膨胀。值得注意的几个“避免假发散/假崩溃”的工程细节可增长类型String、List 等的赋值只用避免、*在循环中引发 OOMa a * 100这类自递归赋值通过RhsFilterdartfuzz.dart过滤掉左值变量try/catch生成时对OutOfMemoryError与StackOverflowError显式exit(254)oomExitCodedartfuzz.dart把资源类异常转成统一退出码便于发散判定迭代变量被记录在iterVars中循环体内修改迭代变量是低概率事件以避免死循环库调用参数带Restriction.small约束如sumManyInts、regress37069用小数避免 32/64 位intptr_t宽度差异造成的假发散。方法与类层次生成的方法分为五类MethodType枚举dartfuzz.dart全局方法、FFI 方法、实例方法、call方法、扩展方法。类定义中除X0外每个类随机选择父类并随机使用extends继承或withmixin且run()方法会调用super.run()父类方法还会以 1/8 概率被随机覆盖emitVirtualMethodsdartfuzz.dart以覆盖动态分派路径。方法体生成时还随机添加pragma(vm:always-consider-inlining)、pragma(vm:entry-point)、pragma(vm:never-inline)等注解emitFunctionAnnotationsdartfuzz.dart从而把 VM 的内联/入口点路径也纳入测试面。递归控制Method基类dartfuzz.dart通过硬币翻转决定方法是否允许递归。允许递归时方法会追加一个“递归深度参数”类型为 int非递归调用传 0递归调用传深度1同时生成基准情形if (depth smallPositiveInt) return ...该 return 在禁用递归的作用域内生成从结构上保证递归必然终止。发散判定与重跑机制dartfuzz_test.dart 的执行逻辑DartFuzzTest类dartfuzz_test.dart负责每个用例的生成、双模式执行与发散判定关键点如下。三种 TestRunnerTestRunnerJIT命令为${DART_TOP}/out/tag/dartvm 随机 JIT 运行期 flag --old_gen_heap_size128常量dartHeapSize 测试文件每个进程带 60 秒超时timeout常量超时则 SIGKILL。TestRunnerAOT先用pkg/vm/tool/precompiler2设置DART_CONFIGURATION/DART_VM_FLAGS--enable-asserts把测试文件编译为快照再用dartaotruntime运行两步任一失败都作为结果返回。TestRunnerDJS先用sdk/bin/dart2js编译出out.js再用nodejs运行。checkDivergence 判定规则checkDivergencedartfuzz_test.dart的逻辑两边都超时 → 记timeout种子上报退出码相同都为 0 时比较 stdout输出不同则报告发散都为非 0 时记skipped双方都出错无信息量退出码不同若开启--true-divergence先剔除“至少一方超时”和“一方为 OOM 退出码 254”的情况分别归入 timeout/skipped再报告发散随后检查退出码绝对值是否超出 255——超出说明不是 VM 正常 exit 码可能是原生崩溃/信号需要重跑确认。rerun 机制--rerun默认开启对应ReportStatus.rerun对返回码类发散若两个 runner 的返回码绝对值有超出[-255,255]的会先把发散计数回退原样重跑一次第二次若无发散则忽略第一次结果并记Rerun。这能有效过滤偶发性的原生崩溃抖动。集群/分片与随机 flagDartFuzzTestSessiondartfuzz_test.dart通过Isolate.spawn并发运行多个会话每个 isolate 内先随机getMode挑选两种模式无指定时从clusterModes中随机且保证 m2 ≠ m1再自动决定本次用例是否开 FP仅当两模式架构相同避免 32/64 位假发散、是否开 FFI仅 jit×jit 且非 arm/riscv1/5 概率、是否用 flat types含 arm/riscv 的昂贵模式强制扁平。会话还支持--shards/--shard分片用于大规模集群任务。另外flag_fuzzer.dart 是 DartFuzz 的补充它以out/ReleaseX64/dartvm为基准输出expected然后对 JIT/AOT 随机组合 profiler--profile_vm、--max_profile_depth等、GC--use_compactor、--verify_after_gc、--marker_tasks等与编译优化--optimization_counter_threshold、--no_intrinsify、--no_use_osr等flag逐任务对比 stdout检测 flag 组合引发的崩溃或行为差异。flag_fuzzer_dart2js.dart 与 flag_fuzzer_dart2wasm.dart 则把同样的思路扩展到 dart2js 与 dart2wasm 编译器本身。缺陷用例最小化minimize.py 与两阶段最小化一旦发现崩溃或发散通常需要把触发用例“瘦身”成最小可复现程序便于提交 bug 与定位根因。minimize.py 完成这件事方式是对 dartfuzz.dart 的--mini模式配合--smask/--emask位掩码反复重生成程序掩码中 Bit1 的位置对应被省略的语句/表达式。由于语句与表达式是嵌套的屏蔽一个外层语句会连带屏蔽其内部子语句/子表达式dartfuzz.dart 的processStmtOpen/processExprOpen会在每次生成后输出更新后的掩码与语句/表达式总数供minimize.py读取。最小化分为两个阶段Minimize statements语句最小化Minimize expressions表达式最小化。完整流程文档见 runtime/tools/dartfuzz/README_minimize.md。其示例做法如下。示例复现一个崩溃先生成一个可能触发缺陷的程序以--seed 790976770为例dart dartfuzz.dart --no-ffi --no-fp --seed 790976770 test.dart在特定 flag 下运行并观察崩溃示例为段错误dart --optimization_counter_threshold1 test.dart ... CRASH si_signoSegmentation fault(11), si_code1, si_addr(nil) version2.6.0-edge.de7ad46797d36a25e6d2800820f61f4af3bd1135 (Wed Sep 11 18:20:46 2019 0000) on linux_x64 thread183944, isolatemain(0x559bd215cc00) ... pc 0x0000559bd0e40a69 fp 0x00007f73d7a7de70 ../../../../sdk/out/ReleaseX64/dart0x190ca69 -- End of DumpStackTrace从输出中挑选一个标识缺陷的关键词例如Segmentation作为--err参数。若缺陷不是确定性的则调大--tries使得多次尝试中至少有一次以较高概率触发错误。阶段 1语句最小化python3 minimize.py \ --dartfuzz dart dartfuzz.dart --no-ffi --no-fp --seed 790976770 \ --dart dart --optimization_counter_threshold1 \ --testfile mini.dart \ --err Segmentation \ --tries 4 \ --threads 4 \ --typ s \ --verbose 3fffffffffffffffffffffffffffffffffffffffffffffffff error 7fffffffffffffffffffffffffffffffffffffffffffffffff error STOP Best I could do is 198/198 dart dartfuzz.dart --no-ffi --no-fp --seed 790976770 mini.dart --mini --smask 0x7fffffffffffffffffffffffffffffffffffffffffffffffff --emask 0示例中所有语句都被消除198/198。但此时mini.dart中函数的参数仍然保留需要在阶段 2 中继续最小化表达式。阶段 2表达式最小化python3 minimize.py \ --dartfuzz dart dartfuzz.dart --no-ffi --no-fp --seed 790976770 \ --dart dart --optimization_counter_threshold1 \ --testfile mini.dart \ --err Segmentation \ --tries 4 \ --threads 4 \ --typ e \ --verbose \ --smask 0x7fffffffffffffffffffffffffffffffffffffffffffffffff .. STOP Best I could do is 4626/4628 dart dartfuzz.dart --no-ffi --no-fp --seed 790976770 mini.dart --mini --smask 0x7fffffffffffffffffffffffffffffffffffffffffffffffff \ --emask 0x1ff...ff2ff...fff注意阶段 2 需要把阶段 1 得到的--smask原样传入。minimize.py 参数参数含义默认值--dartfuzzdartfuzz 命令字符串含固定 seed 等如dart dartfuzz.dart --no-ffi --no-fp --seed 243123600必填--dart用于运行测试的 Dart 命令字符串如./sdk/out/ReleaseX64/dart必填--dart-ref参考构建的 Dart 命令发散测试场景下使用配合--err-ref匹配参考输出无--testfiledartfuzz 输出并被 Dart 命令执行的程序文件名如fuzz.dart必填--err标识 Dart 命令出错的字符串不支持多行匹配必填--err-ref参考命令发散输出的匹配串无--smask十六进制语句掩码0--emask十六进制表达式掩码0--typs仅语句/e仅表达式/se两者必填--tries每条 Dart 命令的重试次数1--tries-ref参考命令的重试次数1--threads用于重试的线程数4--timeoutDart 命令超时秒60--verbose打印中间结果关闭其核心算法是MaskGenminimize.py生成的卷积位模式序列从全 1 掩码开始逐步用低密度filter_mask折叠出“半开半闭”的新掩码凡是仍能触发错误的掩码就并入当前最优掩码假设“两个能触发错误的掩码的并集仍能触发错误”且每个掩码只测一次。语句级输出在捕获错误后还会尝试互补掩码inverse尽可能多消一行。借助multiprocessing.Pool与--tries并行重试可显著提升对非确定性崩溃的命中率。环境与依赖DartFuzz 以独立 Dart 包形式存在runtime/tools/dartfuzz/pubspec.yamlname: dartfuzz声明publish_to: none即不面向 pub.dev 发布其environment.sdk约束为2.10.0 3.0.0依赖analyzer、args、matcher三个包其中args用于命令行解析、matcher用于发散时的字符串差异报告。工具目录还包含生成 API 表的 gen_api_table.dart、类型表的 gen_type_table.dart 及 FFI 桩代码 dartfuzz_ffi_api.dart生成的库调用表分别落在 dartfuzz_api_table.dart 与 dartfuzz_type_table.dart以及 collect_data.py、update_spreadsheet.py 等配套脚本。结语一条可落地的 Dart 模糊测试工作流把以上内容串起来DartFuzz 在 runtime/tools/dartfuzz 目录中提供了一条完整的模糊测试闭环生成dart dartfuzz.dart --seed S fuzz.dart依据种子确定性地产出随机但合法的 Dart 程序探测dart dartfuzz_test.dart在 JIT/AOT/dart2js 与多架构模式下并行执行按退出码与 stdout 判定发散并对返回码类异常自动重跑复现发散报告自动输出--seed与两模式复现命令配合版本号可精确回放最小化minimize.py --typ s然后--typ e两阶段把用例压到最小产出可直接提交 issue 的--mini --smask/--emask命令扩展flag_fuzzer.dart 系列把同样的思路覆盖到 VM flag、dart2js 与 dart2wasm 编译器runtime/vm/libfuzzer/README.md 的 DartLibFuzzer 则从生成式之外提供覆盖率引导的变异式补充。对任何想为 Dart VM、dart2js 或 dart2wasm 做系统化健壮性验证的开发者而言这套工具链既有“开箱即用”的命令行入口又有清晰的源码结构可供二次开发是研究编译器/VM 模糊测试的绝佳参考实现。赞分享编程语言编译器语言运行时标准库开发工具【免费下载链接】sdkThe Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.项目地址https://gitcode.com/gh_mirrors/sdk1/sdk点击查看免费下载相关推荐Dart SDK 模糊测试指南深入 DartLibFuzzer——面向 Dart 运行时与编译器的 LibFuzzer 模糊测试工具Dart SDK 模糊测试指南深入 DartLibFuzzer——面向 Dart 运行时与编译器的 LibFuzzer 模糊测试工具 DartLibFuzze编程语言编译器语言运行时标准库开发工具randfill 库深度指南为 Go 对象生成随机值强化序列化测试与 go-fuzz 模糊测试randfill 库深度指南为 Go 对象生成随机值强化序列化测试与 go fuzz 模糊测试 本指南以 VictoriaMetrics 仓库 vendor时序数据库数据库指标监控可观测性后端如何5分钟完成QQ空间零丢失本地存档GetQzonehistory历史说说一键导出Excel完整指南如何5分钟完成QQ空间零丢失本地存档GetQzonehistory历史说说一键导出Excel完整指南 你在QQ空间发的说说存了十几年平台却不保证一直留着。手网页爬虫数据分析创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考