HAECHI AUDIT
Published in

HAECHI AUDIT

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

[Chart 1, Issue Classification]

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

--

--

--

HAECHI AUDIT is the leading smart contract security audit company founded top security experts. Trusted by the industry leaders, HAECHI AUDIT has reached strategic partnerships with global Exchanges and the Fortune global 500 enterprises.

Recommended from Medium

Latest Sprint News: New Website Launch

OpenDAO 721Starter

Crypto Trading 101: Financial Risks 加密货币交易101:财务风险

KDL IDO Tutorial and FAQ’s

How to Buy Gold Rush Community ($GRUSH) — Beginner’s Guide

How to Buy Gold Rush Community ($GRUSH)

How to Buy Will Liu Coin ($LIU) — Beginner’s Guide

How to Buy Will Liu Coin ($LIU)

Introducing IMX Staking

~LIVE@!~Tennessee Titans vs Baltimore Ravens,(Livestream) — FREE WATCH — TV channel 2020^

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
HAECHI AUDIT

HAECHI AUDIT

HAECHI AUDIT은 글로벌 스마트 컨트랙트 보안감사 전문 기업으로, 업계 최고 수준의 스마트 컨트랙트 보안감사 및 개발 서비스를 제공합니다. 고객들의 디지털 자산과 직결되어 있는 스마트 컨트랙트 보안, HAECHI AUDIT과 함께 가장 안전하게 보호하세요.

More from Medium

How is Morris DAO Different from Traditional VC Model?

What is an Initial Exchange Offering?

Vulnhub: DC-9 Walkthrough

Understanding Layout of msg.data in Solidity