Oasis.app implemented an automated management solution for Maker’s collateralized debt positions (vaults). Users manage command triggers which are executed by bots. In the current implementation, users can allow the Automation smart contract to automatically close their vault position should the collateralization go below a certain threshold. All in all, no high severity issues were uncovered. All the issues have been addressed.
The most critical subjects covered in our audit are functional correctness and access control. 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. The specification provided was comprehensive.
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.