/AChecker

AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.

Primary LanguagePythonMIT LicenseMIT

Watchers