$ cd front-end;
$ npm run deploy;
- Install slither
$ docker pull trailofbits/eth-security-toolbox
- Share the contracts directory in the container
$ docker run -it -v /{path-to-project}/smart-contracts:/share trailofbits/eth-security-toolbox
- Flatten contracts
$ ./truffle_flatten.sh
- Test it works
$ slither /share/flat/TimeLockTokenEscrow.sol --print human-summary
- Various other forms of printer can be found here https://github.com/crytic/slither/wiki/Printer-documentation
- Run some simple tests
$ slither /share/flat/TimeLockTokenEscrow.sol