Adventures in Automated Smart Contract Testing: A Spark Is Borngustavo-grieco.github.io2 points·by galapago·8 giorni fa·0 comments
Show HN: MCP support to guide smart contract fuzzing campaigns in Echidnagithub.com1 points·by galapago·7 mesi fa·1 comments
Echidna 2.3 released with symbolic execution, Foundry integration and moregithub.com2 points·by galapago·7 mesi fa·0 comments
Who Has Security? A list of blockchain companies with in-house securitywhohassecurity.com1 points·by galapago·7 mesi fa·0 comments