search

crytic / medusa

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
https://www.trailofbits.com/
GNU Affero General Public License v3.0
273 stars 33 forks source link

feat: include reverted seq's in mutation candidate pool #378

Open 0xalpharush opened 1 week ago

0xalpharush commented 1 week ago

I believe you and @ggrieco-tob were discussing this, @aviggiano. Would you like to give it a spin and let use know if you see better results

aviggiano commented 1 week ago

I might be wrong, but I remember @anishnaik saying Echidna would not use reverted tx all the time, only every now and then. Shouldn't medusa do the same thing? or maybe have a config parameter %

0xalpharush commented 5 days ago

@aviggiano Definitely worth fine-tuning this but I figured it was worth having a branch to try it out sooner than later. When we actually get ready to merge this we will also want to implement this as well https://github.com/crytic/echidna/issues/1264