https://blog.trailofbits.com/2019/05/27/slither-the-leading-static-analyzer-for-smart-contracts/