echidna icon indicating copy to clipboard operation
echidna copied to clipboard

Add a flag to log msg.sender for each function trace

Open 0xicingdeath opened this issue 1 year ago • 4 comments
trafficstars

Describe the desired feature

Medusa currently logs the entire function trace, as well as the address caller for each. would be really useful if Echidna did as well

0xicingdeath avatar Jan 18 '24 14:01 0xicingdeath

With the usage of traces from hevm, I think this should be an issue in their repo (we could add code, but ideally, we should push it there). What do you think @arcz ?

gustavo-grieco avatar Jan 18 '24 14:01 gustavo-grieco

Some examples/screenshots would help here

arcz avatar Jan 18 '24 14:01 arcz

I believe this just got added to echidna:

  • https://github.com/crytic/echidna/pull/1157
  • https://twitter.com/rappie_eth/status/1747212387613135248

Echidna only prints the address of the caller if they differ between functions in the sequence that lead to a broken invariant.

rappie avatar Jan 27 '24 16:01 rappie

Related: https://github.com/crytic/echidna/issues/656#issuecomment-1342570956

rappie avatar Jan 27 '24 16:01 rappie