search

crytic / echidna

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

Opcode "mcopy" not implemented #1218

Open 0xCheetah opened 4 months ago

0xCheetah commented 4 months ago

Describe the issue:

The "mcopy" opcode in inline assembly reverts and produces an "e" in the corpus coverage report.

Code example to reproduce the issue:

assembly ("memory-safe") { mcopy(0, 32, 32) }

Version:

echidna: 2.2.3 slither: 0.10.1

Relevant log output:

"*e" in corpus coverage report.
arcz commented 4 months ago

Tracked in https://github.com/ethereum/hevm/issues/469.