search

crytic / echidna

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

Detect arbitrary delegatecall and create a contract that self destruct #580

Open montyly opened 3 years ago

montyly commented 3 years ago

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 can exploit arbitrary self destruct of a component

ggrieco-tob commented 3 years ago

This is an interesting idea for Echidna 2.0.