先了解这件事
AI 综述
2026年7月8日,Trail of Bits 为其开源变异测试引擎 Mewt 新增 DAML 语言支持。据 Trail of Bits 博客介绍,Mewt 现可读取 DAML 代码、生成多类变异体,并通过现有测试套件统计存活变异体数量。此次新增两类针对 DAML 授权原语的变异:controller party swap(CPS)和 controller party removal(CPR),用于检验授权方集合变化时测试是否会失败。用户可从仓库安装 Mewt,配置 mewt.toml 指向项目及测试命令后运行 mewt run。目前该故事尚无后续发展事实。
AI 根据公开报道生成
最新进展 · 正式报道
Trail of Bits 为 Mewt 变异测试引擎新增 DAML 支持事件进展
1 个已确认进展
- 来源：Trail of Bits Blog
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
7月8日
Trail of Bits Blog一手
Trail of Bits 为 Mewt 变异测试引擎新增 DAML 支持
Trail of Bits 为其开源变异测试引擎 Mewt 新增 DAML 语言支持，可读取 DAML 代码、生成多类变异体并通过现有测试套件统计存活变异体数量。Mewt 新增两类针对 DAML 授权原语的变异：controller party swap（CPS）和 controller party removal（CPR），用于检验授权方集合变化时测试是否会失败。用户可从仓库安装 Mewt，配置 mewt.toml 指向项目及测试命令后运行 mewt run。