Can't run slither from docker image without interactive mode about eth-security-toolbox

[elopez]

Hi! The Dockerfile ENTRYPOINT is set to bash in the Docker container, so by running it like that, bash is attempting to process the slither binary as a shell script (i.e., docker executes bash slither contracts/....), which is not what you want.

You can get the desired behavior either by using bash's -c option to run a command:

docker run -v $(pwd):/tmp -w /tmp trailofbits/eth-security-toolbox -c "slither contracts/manifold/lazyclaim/ERC721LazyClaim.sol"

or by overriding the entrypoint:

docker run -v $(pwd):/tmp -w /tmp --entrypoint slither trailofbits/eth-security-toolbox contracts/manifold/lazyclaim/ERC721LazyClaim.sol

We also recently updated the slither dockerfile, which is a bit more lightweight and barebones, but you may also find useful:

docker run -v $(pwd):/tmp -w /tmp ghcr.io/crytic/slither:edge slither contracts/manifold/lazyclaim/ERC721LazyClaim.sol

[AthaSSiN]

Thanks a ton!