Vector Forge
作者 trailofbits82fe82262526无许可证7.4K 个星标收录于 2026年10月8日更新于 2026年10月8日仓库昨天更新
Mutation-driven test vector generation. Finds implementations of a cryptographic algorithm or protocol, runs mutation testing to identify escaped mutants, then generates new test vectors that deliberately exercise the uncovered code paths. Compares before/after mutation kill rates to prove vector effectiveness. Use when generating cryptographic test vectors, measuring Wycheproof coverage gaps, finding escaped mutants via mutation testing, creating cross-implementation test suites, or improving test vector coverage for crypto primitives.
- 82fe82262526当前提交 82fe822发布于 2026年10月8日
来源与署名
来源:trailofbits/skills位于plugins/trailmark/skills/vector-forge提交82fe822
许可证: 无许可证
内容归原作者所有。SourceWeft 从公开仓库中收录这些内容。
更多来自 trailofbits/skills 的技能
Wycheproof
trailofbits
指导使用 Project Wycheproof 测试向量验证密码学实现,覆盖已知攻击与边界情况。
Ruzzy
trailofbits
指导安装和使用 Ruzzy——Trail of Bits 面向 Ruby 代码与 C 扩展的覆盖率引导模糊测试器。
Ossfuzz
trailofbits
指导将开源项目接入 OSS-Fuzz,并通过 helper.py 在本地运行模糊测试 harness。
Libfuzzer
trailofbits
指导在 C/C++ 代码上搭建并运行 libFuzzer,涵盖测试框架、构建、语料库、sanitizer 与问题分类。
Trailmark
trailofbits
构建并查询多语言源码与二进制代码图,用于安全分析和审计优先级排序。
Harness Writing
trailofbits
指导为 C/C++ 和 Rust 目标编写和改进模糊测试 harness。
更多Software Development技能

Playground
anthropics
构建自包含的交互式 HTML 演练场,包含控件、实时预览和可复制的提示词输出。

M5 Onboard
anthropics
通过 USB 检测 M5Stack ESP32 开发板,刷写 UIFlow 2.0 固件并安装 MicroPython 应用包。

Cardputer Buddy
anthropics
指导迭代 Cardputer-Adv 的 MicroPython 应用包:添加应用、通过 USB 串口推送文件、查看日志并运行 REPL 命令。

Web Design Guidelines
vercel-labs
依据从远程来源获取的 Web Interface Guidelines 审查 UI 代码,并以 file:line 形式报告问题。

Vercel React Native Skills
vercel-labs
React Native 与 Expo 最佳实践规则,涵盖列表性能、动画、导航、UI 模式、状态与 monorepo 配置。

Vercel React Best Practices
vercel-labs
Vercel 的 React 与 Next.js 性能指南,以 70 条规则的形式用于编写、审查和重构代码。