crytic/optik

Optik is a set of symbolic execution tools that assist smart-contract fuzzers

语言：Python · GitHub 星标：99 · Fork：10

话题：echidna · evm · fuzzing · maat · security-tools · smart-contracts · symbolic-execution

在 GitHub 上查看原仓库