Don't have Telegram yet? Try it now!
https://blog.trailofbits.com/2019/07/03/avoiding-smart-contract-gridlock-with-slither/
Avoiding Smart Contract “Gridlock” with Slither