Auditing scripts for Slither (https://github.com/trailofbits/slither)
Primary LanguagePythonMIT LicenseMIT