METL Technologies implements an ERC20 token with extensive access control.
The most critical subjects covered in our audit are functional correctness and access control. One highly important issue was uncovered where frozen users were able to unfreeze themselves. The issue was fixed. Hence, security regarding all the aforementioned subjects is high.
The general subjects covered are upgradability, unit testing and gas efficiency. Security regarding all the aforementioned subjects is high. Moreover, the specification was comprehensive and covered the whole codebase. In summary, we find that the codebase provides a high level of security.
It is important to note that security audits are time-boxed and cannot uncover all vulnerabilities. They complement but don’t replace other vital measures to secure a project.
Our report contains an overview of the system, our methodology, the issues uncovered and how they have been addressed.