search

crytic / medusa

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
https://secure-contracts.com/program-analysis/medusa/docs/src/
GNU Affero General Public License v3.0
306 stars 41 forks source link

feat: add expansion call sequence mutation #445

Closed 0xalpharush closed 2 months ago

0xalpharush commented 3 months ago

closes https://github.com/crytic/medusa/issues/376 (does not implement mutation for solidity array which could also be added)

anishnaik commented 3 months ago

Doesn't this create call sequences that are greater than the max call sequence length?

0xalpharush commented 3 months ago

@ggrieco-tob Does echidna ever generate sequences longer than the limit with this mutation or it's prevented somehow?

0xalpharush commented 3 months ago

We need to check after a mutation and truncate the sequence in the fuzz worker according to its config