search

crytic / echidna

Ethereum smart contract fuzzer
https://secure-contracts.com/program-analysis/echidna/index.html
GNU Affero General Public License v3.0
2.75k stars 368 forks source link

Feature request: Always show from address in fuzzing results #778

Open rappie opened 2 years ago

rappie commented 2 years ago

I use echidna in multi-abi mode with a lot of addresses in the sender list. It seems like echina only shows the addresses if there are different addresses used in the call sequence. I'd like to always see the addresses

Perhaps you can add the address once at the top or the bottom somewhere. Having a setting in echidnas config to always show it beside every line would also work.

Example without addresses

testSomething(): failed!💥
  Call sequence, shrinking (4301/5000):
    incCounter()
    incCounter()
    incCounter()
    testSomething()

Adding the address once (my suggestion)

testSomething(): failed!💥
  from address: 0x6Ecbe1DB9EF729CBe972C83Fb886247691Fb6beb
  Call sequence, shrinking (4301/5000):
    incCounter()
    incCounter()
    incCounter()
    testSomething()

Example with addresses (DVDeFi Unstoppable)

flashloan(): failed!💥
  Call sequence:
    transfer(0x1d7022f5b17d2f8b695918fb48fa1089c9f85401,157) from: 0x6Ecbe1DB9EF729CBe972C83Fb886247691Fb6beb Time delay: 27935 seconds Block delay: 50328
    flashloan() from: 0xE36Ea790bc9d7AB70C55260C66D52b1eca985f84 Time delay: 39749 seconds Block delay: 5377

Thanks :)

ggrieco-tob commented 2 years ago

This is feature is in our TODO list, thanks for creating an issue for it!

rappie commented 2 years ago

Whoohoo :clinking_glasses:

tarunbhm commented 1 year ago

How about adding more call context data like gasLimit, gasPrice and msg.value along with the from address here