Slitherin: Our Very Own Slither detectors
Too Long; Didn't Read
In short, Slither is a Python-based contract security framework and it can be used to build a code model for smart contracts. It can also be used as a tool to help with code review and audit process!