Adventures in Automated Smart Contract Testing: A Spark Is Borngustavo-grieco.github.io2 ポイント·投稿者 galapago·8 日前·0 コメント
Show HN: MCP support to guide smart contract fuzzing campaigns in Echidnagithub.com1 ポイント·投稿者 galapago·7 か月前·1 コメント
Echidna 2.3 released with symbolic execution, Foundry integration and moregithub.com2 ポイント·投稿者 galapago·7 か月前·0 コメント
Who Has Security? A list of blockchain companies with in-house securitywhohassecurity.com1 ポイント·投稿者 galapago·7 か月前·0 コメント