跳至主要內容
安全性與測試

ItyFuzz

模糊/屬性測試

模糊測試 · 符號執行 · 安全性

ItyFuzz is a bytecode-level smart-contract fuzzer that combines fuzzing with symbolic analysis. Builders and auditors run it against EVM bytecode when source-level fuzzing is not enough or no source is available.

相關資源