The most critical subjects covered in our audit are functional correctness, integration with OpenZeppelin’s ECR20 token implementation, and access control. Security regarding all the aforementioned subjects is good.
The general subjects covered are code complexity, documentation and event handling. Security regarding all the aforementioned subjects is improvable. Code complexity is improvable due to the custom AddressArray implementation. Documentation is non-existing.
In summary, we find that the codebase provides a satisfactory 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.