thanhtoantnt / achecker Goto Github PK
View Code? Open in Web Editor NEWThis project forked from dependablesystemslab/achecker
AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.
License: MIT License