Content
@
0 reply
0 recast
2 reactions
cawfree
@cawfree
This is Byth, the symbolic vulnerability indexer for Ethereum. You write detectors in Solidity and run symbolic analysis on deployed bytecode using halmos. https://github.com/cawfree/byth
0 reply
0 recast
0 reaction
