Docs

Install foundry, then run forge install and make build to compile the contracts. See package.json & makefile for the full list of commands/scripts

make lint

make test - compile & test the contracts

make trace - produces a trace of any failing tests

slither src/VestingModule.sol

slither src/VestingModuleFactory.sol

docker run -it --rm -v$(pwd):/home/mythril mythril/myth -v4 analyze src/VestingModule.sol --solc-json mythril.config.json --solv 0.8.13

docker run -it --rm -v$(pwd):/home/mythril mythril/myth -v4 analyze src/VestingModuleFactory.sol --solc-json mythril.config.json --solv 0.8.13