安全性與測試
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.