Executive Audit Summery
- According to the standard audit assessment, Customer`s solidity smart contracts are “Secured”. This token contract does contain owner control, which does not make it fully decentralized.
- We used various tools like Slither, Solhint and Remix IDE. At the same time this finding is based on critical analysis of the manual audit.
- We found 0 critical, 0 high, 0 medium and 3 low and some very low level issues.
Sahara DAO Contracts have functions like mint, redeem, recollateralize, addLiquidity, add, set, withdraw, stake, setRewarder, getYTokenPrice, maxTotalSupply, etc. The Sahara DAO contract inherits the ERC20, SafeERC20, Ownable, ReentrancyGuard, Address, IUniswapV2Router02, SafeMath, Math, Initializable, IERC20, IUniswapV2Pair, ERC20Burnable standard smart contracts from the OpenZeppelin library. These OpenZeppelin contracts are considered community-audited and time-tested, and hence are not part of the audit scope.