Jan 26, 2021
BadgerDAO Smart Contract Audit
HAECHI AUDIT successfully audits BadgerDAO smart contracts.
BadgerDAO Dev-team asked us to review and audit the BadgerDAO smart contracts. BadgerDAO is a DeFi service pegged to the price of Bitcoin. We looked at the code and now publish our results.
The full report can be found in the link here, and a list of the found issues is as follows:
Audit Result
The code used for the audit can be found at GitHub (https://github.com/badger-finance/badger-system/). The last commit for the code audited is at “537ef9c44196893cb9760beca2dcc501952e9a4a”.
Minor
Minor : RewardPool#notifyRewardAmount() does not check if it received reward.(Found v1.0)
Minor : StakingRewards#notifyRewardAmount() can decrease rewardRate.(Found v1.0)
Minor : Numerators can be larger than denominators.(Found v1.0)
Tips
Tips : Controller#revokeStrategy() can be called on active strategy (Found v1.0)
Tips : Unused Variables (Found v1.0)
Tips : Remove Test events in StakingRewards (Found v1.0)
Conclusion
HAECHI AUDIT found 0 Critical Issue, 0 Major Issue, and 3 Minor Issues. We recommends that the BadgerDAO team resolve all of the issues found.
HAECHI AUDIT Official website: https://audit.haechi.io/
HAECHI AUDIT Twitter: https://twitter.com/haechi_audit
About HAECHI AUDIT
It is HAECHI AUDIT’s mission to help clients develop secure smart contracts by providing the most trustworthy security auditing services.
HAECHI AUDIT is a top smart contract security audit firm consists of blockchain professionals. We provide the most secure smart contract security audit and smart contract development services to our global clients.
Our representative clients include 1inch.exchange, Pickle Finance, Harvest Finance etc. We have been providing audit services with +100 clients.
Trusted by the industry leaders, we have been incubated by the Samsung Electronics and awarded the Ethereum Foundation Grants and Ethereum Community Fund.
Secure your smart contracts with HAECHI AUDIT.
Contact : audit@haechi.io
