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 條規則的形式用於撰寫、審查與重構程式碼。