eth-security-toolbox icon indicating copy to clipboard operation
eth-security-toolbox copied to clipboard

Published 20 hours ago • verified publisher icon trailofbits

Echidna doesn't work

Open ZeframLou opened this issue 3 years ago • 6 comments

Running echidna-test in the container outputs Killed regardless of the input options.

  • Docker version: v20.10.6
  • OS: macOS 11.2.3
  • Processor: Apple M1
  • Image ID: 2ad73f16de91

ZeframLou avatar Jun 03 '21 18:06 ZeframLou

Try to increase RAM in Docker resources.

For future similar issues run container with --privileged option and after the issue run sudo dmesg in container to diagnose the problem.

damianrusinek avatar Oct 19 '21 20:10 damianrusinek

it also not working can you suggest something other than that?

genisis0x avatar Dec 09 '21 05:12 genisis0x

@elopez is taking a look to the Docker containers right now

ggrieco-tob avatar Dec 09 '21 07:12 ggrieco-tob

With the default 2GB of memory given by Docker Desktop, echidna will be Killed due to OOM (Out Of Memory). From my tests on M1 hardware, echidna-test on startup uses around ~7GB by itself. At this time I would recommend setting up Docker Desktop to at least 8GB of memory to allow echidna to run without being killed due to lack of memory: setting up Docker Desktop on Mac M1 to allow up to 8GB of memory

I can confirm that echidna-test runs and can fuzz a simple contract with this configuration and the current eth-security-toolbox amd64 image on an M1 Pro MacBook.

elopez avatar Dec 09 '21 13:12 elopez

Thanks for the fix @elopez !! That worked !!

rac-sri avatar Dec 20 '21 19:12 rac-sri

if you have a bit more than a simple test you need to increase the memory a bit! You can also see the memory hitting around its limits in the desktop monitoring.

vantwoutmaarten avatar Jul 10 '23 07:07 vantwoutmaarten