cawfree
@cawfree
70 Following
6 Followers
Casts
Casts + replies
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
cawfree
@cawfree
That looks really cool! How are you thinking about how the permissions granted relate to the text presented and underlying contract functions? Would it be some kind of registry?
0 reply
0 recast
0 reaction
cawfree
@cawfree
https://youtu.be/vtonL2MYd04?si=cFvdiHfDDFr8TSK2
0 reply
0 recast
0 reaction
cawfree
@cawfree
Fuzz tests give you increasing confidence the counterexample is not there, but Halmos will tell you unequivocally outright. It kicks ass and you can use it in really kooky ways.
0 reply
0 recast
0 reaction
cawfree
@cawfree
Even the small stuff tends to incur a bunch of process and documentation. But you need to feel in safe hands, so I get it. Definitely do it in contest audits though, it is a huge morale booster for people getting started.
0 reply
0 recast
1 reaction
