echidna

echidna copied to clipboard

Detect arbitrary delegatecall and create a contract that self destruct

1

Echidna could detect an arbitrary `delegatecall` (ex: delegatecall to a user parameter), and deploy a contract that just self-destruct. This will help to detect properties that fail if the attackers...

montyly

https://github.com/crytic/echidna/blob/4af9a3dfe9ac3a0569fed93515688b798492ea51/lib/Echidna/Transaction.hs#L100-L106

gustavo-grieco

is there any reason why we can't just keep this to the gas type to avoid `fromIntegral` at the end? _Originally posted by @incertia in https://github.com/crytic/echidna/pull/515#discussion_r526298373_

gustavo-grieco

Improve documentation in execTxWith

1

let's maybe document the variables with haddock _Originally posted by @incertia in https://github.com/crytic/echidna/pull/515#discussion_r526297935_

gustavo-grieco

lets us use `MonadState` for `World` and avoid passing around this `w` parameter everywhere

incertia

Feature request: extend from other config files

1

I find it common for Echidna tests that belong to a specific contract to require a bespoke configuration file. One contract may only be called by an admin, while another...

PaulRBerg

Make "failed with no transactions made" error more explicit

4

I'm getting the following error: > failed with no transactions made ⁉️ I looked at the the [related GitHub issues][1] but I am now even more confused than before. I...

PaulRBerg

Following the discussion [here](https://github.com/crytic/echidna/pull/443#issuecomment-618143485), I think Echidna needs a special mode that we could call `strict`, where every time there is missing contract or a new address, it will cause...

gustavo-grieco

Would it be possible: - To take a list of addresses in `psender`, similar to `sender`, and to call each property with each address - If `sender` is defined, but...

montyly

a lot of functions are hard to understand what the parameters mean at first glance. some haddock would be nice.

incertia