AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool