REEFER Token

REEFER.addLiquidity(uint256,uint256) (Reefer.sol#463-478) sends eth to arbitrary user
Dangerous calls:
- router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,devWallet,block.timestamp) (Reefer.sol#469-476)
Ensure that an arbitrary user cannot withdraw unauthorized funds.

Additional information: link

Reentrancy in REEFER._transfer(address,address,uint256) (Reefer.sol#363-415):
External calls:
- swapAndLiquify(swapTokensAtAmount) (Reefer.sol#383)
- router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,devWallet,block.timestamp) (Reefer.sol#469-476)
- (success) = recipient.call{value: amount}() (Reefer.sol#15)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenAmount,0,path,address(this),block.timestamp) (Reefer.sol#490-496)
- address(marketingWallet).sendValue(marketingAmt) (Reefer.sol#439)
- address(teamWallet).sendValue(teamAmt) (Reefer.sol#445)
- address(devWallet).sendValue(devAmt) (Reefer.sol#451)
- (success) = address(dividendTracker).call{value: dividends}() (Reefer.sol#457)
External calls sending eth:
- swapAndLiquify(swapTokensAtAmount) (Reefer.sol#383)
- router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,devWallet,block.timestamp) (Reefer.sol#469-476)
- (success) = recipient.call{value: amount}() (Reefer.sol#15)
- (success) = address(dividendTracker).call{value: dividends}() (Reefer.sol#457)
State variables written after the call(s):
- super._transfer(from,address(this),fees) (Reefer.sol#397)
- _balances[sender] = _balances[sender].sub(amount,ERC20: transfer amount exceeds balance) (ERC20.sol#220)
- _balances[recipient] = _balances[recipient].add(amount) (ERC20.sol#221)
- super._transfer(from,to,amount) (Reefer.sol#400)
- _balances[sender] = _balances[sender].sub(amount,ERC20: transfer amount exceeds balance) (ERC20.sol#220)
- _balances[recipient] = _balances[recipient].add(amount) (ERC20.sol#221)
Reentrancy in DividendPayingToken._withdrawDividendOfUser(address) (DividendPayingToken.sol#87-103):
External calls:
- (success) = user.call{gas: 3000,value: _withdrawableDividend}() (DividendPayingToken.sol#92)
State variables written after the call(s):
- withdrawnDividends[user] = withdrawnDividends[user].sub(_withdrawableDividend) (DividendPayingToken.sol#95)
Apply the check-effects-interactions pattern.

Additional information: link

REEFER.rescueBEP20Tokens(address) (Reefer.sol#243-246) ignores return value by IERC20(tokenAddress).transfer(msg.sender,IERC20(tokenAddress).balanceOf(address(this))) (Reefer.sol#245)
Use SafeERC20, or ensure that the transfer/transferFrom return value is checked.

Additional information: link

Unable to verify that contract auditor is trusted: Certik, Quantstamp, Hacken, Solidity, Paladinsec, Openzeppelin, Verichains

Combination 1: Reentrancy vulnerabilities + Functions that send Ether to arbitraty destination. Usual for scams. May be justified by some complex mechanics (e.g. rebase, reflections). DYOR & manual audit are advised.

Combination 2: Unchecked transfer + Functions that send Ether to arbitraty destination. Usual for scams. May be justified by some complex mechanics (e.g. rebase, reflections). DYOR & manual audit are advised.

Combination 3: Reentrancy vulnerabilities + Unchecked transfer vulnerability. Usual for scams. May be justified by some complex mechanics (e.g. rebase, reflections). DYOR & manual audit are advised.

REEFER.swapAndLiquify(uint256) (Reefer.sol#417-461) performs a multiplication on the result of a division:
-unitBalance = deltaBalance / (denominator - liquidityFee) (Reefer.sol#428)
-bnbToAddLiquidityWith = unitBalance * liquidityFee (Reefer.sol#429)
REEFER.swapAndLiquify(uint256) (Reefer.sol#417-461) performs a multiplication on the result of a division:
-unitBalance = deltaBalance / (denominator - liquidityFee) (Reefer.sol#428)
-marketingAmt = (unitBalance * 2 * marketingFee) (Reefer.sol#437)
REEFER.swapAndLiquify(uint256) (Reefer.sol#417-461) performs a multiplication on the result of a division:
-unitBalance = deltaBalance / (denominator - liquidityFee) (Reefer.sol#428)
-teamAmt = (unitBalance * 2 * teamFee) (Reefer.sol#443)
REEFER.swapAndLiquify(uint256) (Reefer.sol#417-461) performs a multiplication on the result of a division:
-unitBalance = deltaBalance / (denominator - liquidityFee) (Reefer.sol#428)
-devAmt = (unitBalance * 2 * devFee) (Reefer.sol#449)
REEFER.swapAndLiquify(uint256) (Reefer.sol#417-461) performs a multiplication on the result of a division:
-unitBalance = deltaBalance / (denominator - liquidityFee) (Reefer.sol#428)
-dividends = unitBalance * 2 * BNBRewardsFee (Reefer.sol#455)
Consider ordering multiplication before division.

Additional information: link

Reentrancy in REEFER.updateDividendTracker(address) (Reefer.sol#177-192):
External calls:
- newDividendTracker.excludeFromDividends(address(newDividendTracker)) (Reefer.sol#184)
- newDividendTracker.excludeFromDividends(address(this)) (Reefer.sol#185)
- newDividendTracker.excludeFromDividends(owner()) (Reefer.sol#186)
- newDividendTracker.excludeFromDividends(address(router)) (Reefer.sol#187)
State variables written after the call(s):
- dividendTracker = newDividendTracker (Reefer.sol#191)
Apply the check-effects-interactions pattern.

Additional information: link

REEFER._transfer(address,address,uint256).iterations (Reefer.sol#408) is a local variable never initialized
REEFER._transfer(address,address,uint256).claims (Reefer.sol#408) is a local variable never initialized
REEFER._transfer(address,address,uint256).lastProcessedIndex (Reefer.sol#408) is a local variable never initialized
Initialize all the variables. If a variable is meant to be initialized to zero, explicitly set it to zero to improve code readability.

Additional information: link

REEFER.claim() (Reefer.sol#315-317) ignores return value by dividendTracker.processAccount(address(msg.sender),false) (Reefer.sol#316)
REEFER._transfer(address,address,uint256) (Reefer.sol#363-415) ignores return value by dividendTracker.process(gas) (Reefer.sol#408-413)
REEFER.addLiquidity(uint256,uint256) (Reefer.sol#463-478) ignores return value by router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,devWallet,block.timestamp) (Reefer.sol#469-476)
Ensure that all the return values of the function calls are used.

Additional information: link

DividendPayingToken.constructor(string,string)._name (DividendPayingToken.sol#44) shadows:
- ERC20._name (ERC20.sol#42) (state variable)
DividendPayingToken.constructor(string,string)._symbol (DividendPayingToken.sol#44) shadows:
- ERC20._symbol (ERC20.sol#43) (state variable)
Rename the local variables that shadow another component.

Additional information: link

REEFER.setPreasaleRate(uint256) (Reefer.sol#147-149) should emit an event for:
- presaleRate = _rate (Reefer.sol#148)
REEFER.setSwapTokensAtAmount(uint256) (Reefer.sol#215-217) should emit an event for:
- swapTokensAtAmount = amount * 10 ** 18 (Reefer.sol#216)
REEFER.setMarketingFee(uint256) (Reefer.sol#327-330) should emit an event for:
- marketingFee = newFee (Reefer.sol#328)
- totalFees = BNBRewardsFee + marketingFee + liquidityFee + teamFee + devFee (Reefer.sol#329)
REEFER.setBNBRewardsFee(uint256) (Reefer.sol#332-335) should emit an event for:
- BNBRewardsFee = newFee (Reefer.sol#333)
- totalFees = BNBRewardsFee + marketingFee + liquidityFee + teamFee + devFee (Reefer.sol#334)
REEFER.setLiquidityFee(uint256) (Reefer.sol#337-340) should emit an event for:
- liquidityFee = newFee (Reefer.sol#338)
- totalFees = BNBRewardsFee + marketingFee + liquidityFee + teamFee + devFee (Reefer.sol#339)
REEFER.setTeamFee(uint256) (Reefer.sol#342-345) should emit an event for:
- teamFee = newFee (Reefer.sol#343)
- totalFees = BNBRewardsFee + marketingFee + liquidityFee + teamFee + devFee (Reefer.sol#344)
Emit an event for critical parameter changes.

Additional information: link

REEFER.setMarketingWallet(address).newWallet (Reefer.sol#348) lacks a zero-check on :
- marketingWallet = newWallet (Reefer.sol#349)
REEFER.setTeamWallet(address).newWallet (Reefer.sol#351) lacks a zero-check on :
- teamWallet = newWallet (Reefer.sol#352)
Check that the address is not zero.

Additional information: link

DividendPayingToken._withdrawDividendOfUser(address) (DividendPayingToken.sol#87-103) has external calls inside a loop: (success) = user.call{gas: 3000,value: _withdrawableDividend}() (DividendPayingToken.sol#92)
Favor pull over push strategy for external calls.

Additional information: link

Variable 'REEFER._transfer(address,address,uint256).claims (Reefer.sol#408)' in REEFER._transfer(address,address,uint256) (Reefer.sol#363-415) potentially used before declaration: ProcessedDividendTracker(iterations,claims,lastProcessedIndex,true,gas,tx.origin) (Reefer.sol#409)
Variable 'REEFER._transfer(address,address,uint256).iterations (Reefer.sol#408)' in REEFER._transfer(address,address,uint256) (Reefer.sol#363-415) potentially used before declaration: ProcessedDividendTracker(iterations,claims,lastProcessedIndex,true,gas,tx.origin) (Reefer.sol#409)
Variable 'REEFER._transfer(address,address,uint256).lastProcessedIndex (Reefer.sol#408)' in REEFER._transfer(address,address,uint256) (Reefer.sol#363-415) potentially used before declaration: ProcessedDividendTracker(iterations,claims,lastProcessedIndex,true,gas,tx.origin) (Reefer.sol#409)
Move all variable declarations prior to any usage of the variable, and ensure that reaching a variable declaration does not depend on some conditional if it is used unconditionally.

Additional information: link

Reentrancy in REEFER.constructor() (Reefer.sol#101-134):
External calls:
- _pair = IFactory(_router.factory()).createPair(address(this),_router.WETH()) (Reefer.sol#107-108)
State variables written after the call(s):
- pair = _pair (Reefer.sol#111)
- router = _router (Reefer.sol#110)
Reentrancy in REEFER.constructor() (Reefer.sol#101-134):
External calls:
- _pair = IFactory(_router.factory()).createPair(address(this),_router.WETH()) (Reefer.sol#107-108)
- _setAutomatedMarketMakerPair(_pair,true) (Reefer.sol#113)
- dividendTracker.excludeFromDividends(newPair) (Reefer.sol#235)
- dividendTracker.excludeFromDividends(address(dividendTracker)) (Reefer.sol#116)
- dividendTracker.excludeFromDividends(address(this)) (Reefer.sol#117)
- dividendTracker.excludeFromDividends(owner()) (Reefer.sol#118)
- dividendTracker.excludeFromDividends(0x000000000000000000000000000000000000dEaD) (Reefer.sol#119)
- dividendTracker.excludeFromDividends(address(_router)) (Reefer.sol#120)
State variables written after the call(s):
- _mint(owner(),1e9 * (10 ** 20)) (Reefer.sol#133)
- _balances[account] = _balances[account].add(amount) (ERC20.sol#240)
- excludeFromFees(owner(),true) (Reefer.sol#123)
- _isExcludedFromFees[account] = excluded (Reefer.sol#202)
- excludeFromFees(address(this),true) (Reefer.sol#124)
- _isExcludedFromFees[account] = excluded (Reefer.sol#202)
- excludeFromFees(marketingWallet,true) (Reefer.sol#125)
- _isExcludedFromFees[account] = excluded (Reefer.sol#202)
- excludeFromFees(devWallet,true) (Reefer.sol#126)
- _isExcludedFromFees[account] = excluded (Reefer.sol#202)
- excludeFromFees(teamWallet,true) (Reefer.sol#127)
- _isExcludedFromFees[account] = excluded (Reefer.sol#202)
- _mint(owner(),1e9 * (10 ** 20)) (Reefer.sol#133)
- _totalSupply = _totalSupply.add(amount) (ERC20.sol#239)
Reentrancy in REEFERDividendTracker.processAccount(address,bool) (Reefer.sol#689-699):
External calls:
- amount = _withdrawDividendOfUser(account) (Reefer.sol#690)
- (success) = user.call{gas: 3000,value: _withdrawableDividend}() (DividendPayingToken.sol#92)
State variables written after the call(s):
- lastClaimTimes[account] = block.timestamp (Reefer.sol#693)
Reentrancy in REEFER.swapAndLiquify(uint256) (Reefer.sol#417-461):
External calls:
- swapTokensForBNB(toSwap) (Reefer.sol#425)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenAmount,0,path,address(this),block.timestamp) (Reefer.sol#490-496)
- addLiquidity(tokensToAddLiquidityWith,bnbToAddLiquidityWith) (Reefer.sol#433)
- router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,devWallet,block.timestamp) (Reefer.sol#469-476)
External calls sending eth:
- addLiquidity(tokensToAddLiquidityWith,bnbToAddLiquidityWith) (Reefer.sol#433)
- router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,devWallet,block.timestamp) (Reefer.sol#469-476)
State variables written after the call(s):
- addLiquidity(tokensToAddLiquidityWith,bnbToAddLiquidityWith) (Reefer.sol#433)
- _allowances[owner][spender] = amount (ERC20.sol#286)
Apply the check-effects-interactions pattern.

Additional information: link

Reentrancy in REEFER._setAutomatedMarketMakerPair(address,bool) (Reefer.sol#230-239):
External calls:
- dividendTracker.excludeFromDividends(newPair) (Reefer.sol#235)
Event emitted after the call(s):
- SetAutomatedMarketMakerPair(newPair,value) (Reefer.sol#238)
Reentrancy in REEFER._transfer(address,address,uint256) (Reefer.sol#363-415):
External calls:
- swapAndLiquify(swapTokensAtAmount) (Reefer.sol#383)
- router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,devWallet,block.timestamp) (Reefer.sol#469-476)
- (success) = recipient.call{value: amount}() (Reefer.sol#15)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenAmount,0,path,address(this),block.timestamp) (Reefer.sol#490-496)
- address(marketingWallet).sendValue(marketingAmt) (Reefer.sol#439)
- address(teamWallet).sendValue(teamAmt) (Reefer.sol#445)
- address(devWallet).sendValue(devAmt) (Reefer.sol#451)
- (success) = address(dividendTracker).call{value: dividends}() (Reefer.sol#457)
External calls sending eth:
- swapAndLiquify(swapTokensAtAmount) (Reefer.sol#383)
- router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,devWallet,block.timestamp) (Reefer.sol#469-476)
- (success) = recipient.call{value: amount}() (Reefer.sol#15)
- (success) = address(dividendTracker).call{value: dividends}() (Reefer.sol#457)
Event emitted after the call(s):
- Transfer(sender,recipient,amount) (ERC20.sol#222)
- super._transfer(from,address(this),fees) (Reefer.sol#397)
- Transfer(sender,recipient,amount) (ERC20.sol#222)
- super._transfer(from,to,amount) (Reefer.sol#400)
Reentrancy in REEFER._transfer(address,address,uint256) (Reefer.sol#363-415):
External calls:
- swapAndLiquify(swapTokensAtAmount) (Reefer.sol#383)
- router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,devWallet,block.timestamp) (Reefer.sol#469-476)
- (success) = recipient.call{value: amount}() (Reefer.sol#15)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenAmount,0,path,address(this),block.timestamp) (Reefer.sol#490-496)
- address(marketingWallet).sendValue(marketingAmt) (Reefer.sol#439)
- address(teamWallet).sendValue(teamAmt) (Reefer.sol#445)
- address(devWallet).sendValue(devAmt) (Reefer.sol#451)
- (success) = address(dividendTracker).call{value: dividends}() (Reefer.sol#457)
- dividendTracker.setBalance(address(from),balanceOf(from)) (Reefer.sol#402)
- dividendTracker.setBalance(address(to),balanceOf(to)) (Reefer.sol#403)
- dividendTracker.process(gas) (Reefer.sol#408-413)
External calls sending eth:
- swapAndLiquify(swapTokensAtAmount) (Reefer.sol#383)
- router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,devWallet,block.timestamp) (Reefer.sol#469-476)
- (success) = recipient.call{value: amount}() (Reefer.sol#15)
- (success) = address(dividendTracker).call{value: dividends}() (Reefer.sol#457)
Event emitted after the call(s):
- ProcessedDividendTracker(iterations,claims,lastProcessedIndex,true,gas,tx.origin) (Reefer.sol#409)
Reentrancy in REEFER.buyTokens() (Reefer.sol#157-167):
External calls:
- dividendTracker.setBalance(address(msg.sender),balanceOf(msg.sender)) (Reefer.sol#165)
Event emitted after the call(s):
- TokensPurchased(msg.sender,tokensAmt,msg.value) (Reefer.sol#166)
Reentrancy in REEFER.constructor() (Reefer.sol#101-134):
External calls:
- _pair = IFactory(_router.factory()).createPair(address(this),_router.WETH()) (Reefer.sol#107-108)
- _setAutomatedMarketMakerPair(_pair,true) (Reefer.sol#113)
- dividendTracker.excludeFromDividends(newPair) (Reefer.sol#235)
Event emitted after the call(s):
- SetAutomatedMarketMakerPair(newPair,value) (Reefer.sol#238)
- _setAutomatedMarketMakerPair(_pair,true) (Reefer.sol#113)
Reentrancy in REEFER.constructor() (Reefer.sol#101-134):
External calls:
- _pair = IFactory(_router.factory()).createPair(address(this),_router.WETH()) (Reefer.sol#107-108)
- _setAutomatedMarketMakerPair(_pair,true) (Reefer.sol#113)
- dividendTracker.excludeFromDividends(newPair) (Reefer.sol#235)
- dividendTracker.excludeFromDividends(address(dividendTracker)) (Reefer.sol#116)
- dividendTracker.excludeFromDividends(address(this)) (Reefer.sol#117)
- dividendTracker.excludeFromDividends(owner()) (Reefer.sol#118)
- dividendTracker.excludeFromDividends(0x000000000000000000000000000000000000dEaD) (Reefer.sol#119)
- dividendTracker.excludeFromDividends(address(_router)) (Reefer.sol#120)
Event emitted after the call(s):
- ExcludeFromFees(account,excluded) (Reefer.sol#204)
- excludeFromFees(teamWallet,true) (Reefer.sol#127)
- ExcludeFromFees(account,excluded) (Reefer.sol#204)
- excludeFromFees(devWallet,true) (Reefer.sol#126)
- ExcludeFromFees(account,excluded) (Reefer.sol#204)
- excludeFromFees(marketingWallet,true) (Reefer.sol#125)
- ExcludeFromFees(account,excluded) (Reefer.sol#204)
- excludeFromFees(address(this),true) (Reefer.sol#124)
- ExcludeFromFees(account,excluded) (Reefer.sol#204)
- excludeFromFees(owner(),true) (Reefer.sol#123)
- Transfer(address(0),account,amount) (ERC20.sol#241)
- _mint(owner(),1e9 * (10 ** 20)) (Reefer.sol#133)
Reentrancy in REEFERDividendTracker.processAccount(address,bool) (Reefer.sol#689-699):
External calls:
- amount = _withdrawDividendOfUser(account) (Reefer.sol#690)
- (success) = user.call{gas: 3000,value: _withdrawableDividend}() (DividendPayingToken.sol#92)
Event emitted after the call(s):
- Claim(account,amount,automatic) (Reefer.sol#694)
Reentrancy in REEFER.processDividendTracker(uint256) (Reefer.sol#310-313):
External calls:
- (iterations,claims,lastProcessedIndex) = dividendTracker.process(gas) (Reefer.sol#311)
Event emitted after the call(s):
- ProcessedDividendTracker(iterations,claims,lastProcessedIndex,false,gas,tx.origin) (Reefer.sol#312)
Reentrancy in REEFER.swapAndLiquify(uint256) (Reefer.sol#417-461):
External calls:
- swapTokensForBNB(toSwap) (Reefer.sol#425)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenAmount,0,path,address(this),block.timestamp) (Reefer.sol#490-496)
- addLiquidity(tokensToAddLiquidityWith,bnbToAddLiquidityWith) (Reefer.sol#433)
- router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,devWallet,block.timestamp) (Reefer.sol#469-476)
External calls sending eth:
- addLiquidity(tokensToAddLiquidityWith,bnbToAddLiquidityWith) (Reefer.sol#433)
- router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,devWallet,block.timestamp) (Reefer.sol#469-476)
Event emitted after the call(s):
- Approval(owner,spender,amount) (ERC20.sol#287)
- addLiquidity(tokensToAddLiquidityWith,bnbToAddLiquidityWith) (Reefer.sol#433)
Reentrancy in REEFER.swapAndLiquify(uint256) (Reefer.sol#417-461):
External calls:
- swapTokensForBNB(toSwap) (Reefer.sol#425)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenAmount,0,path,address(this),block.timestamp) (Reefer.sol#490-496)
- addLiquidity(tokensToAddLiquidityWith,bnbToAddLiquidityWith) (Reefer.sol#433)
- router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,devWallet,block.timestamp) (Reefer.sol#469-476)
- address(marketingWallet).sendValue(marketingAmt) (Reefer.sol#439)
- address(teamWallet).sendValue(teamAmt) (Reefer.sol#445)
- address(devWallet).sendValue(devAmt) (Reefer.sol#451)
- (success) = address(dividendTracker).call{value: dividends}() (Reefer.sol#457)
External calls sending eth:
- addLiquidity(tokensToAddLiquidityWith,bnbToAddLiquidityWith) (Reefer.sol#433)
- router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,devWallet,block.timestamp) (Reefer.sol#469-476)
- (success) = address(dividendTracker).call{value: dividends}() (Reefer.sol#457)
Event emitted after the call(s):
- SendDividends(tokens,dividends) (Reefer.sol#458)
Reentrancy in REEFER.updateDividendTracker(address) (Reefer.sol#177-192):
External calls:
- newDividendTracker.excludeFromDividends(address(newDividendTracker)) (Reefer.sol#184)
- newDividendTracker.excludeFromDividends(address(this)) (Reefer.sol#185)
- newDividendTracker.excludeFromDividends(owner()) (Reefer.sol#186)
- newDividendTracker.excludeFromDividends(address(router)) (Reefer.sol#187)
Event emitted after the call(s):
- UpdateDividendTracker(newAddress,address(dividendTracker)) (Reefer.sol#189)
Apply the check-effects-interactions pattern.

Additional information: link

REEFERDividendTracker.getAccount(address) (Reefer.sol#559-602) uses timestamp for comparisons
Dangerous comparisons:
- nextClaimTime > block.timestamp (Reefer.sol#599-601)
REEFERDividendTracker.canAutoClaim(uint256) (Reefer.sol#623-629) uses timestamp for comparisons
Dangerous comparisons:
- lastClaimTime > block.timestamp (Reefer.sol#624)
- block.timestamp.sub(lastClaimTime) >= claimWait (Reefer.sol#628)
Avoid relying on block.timestamp.

Additional information: link

Context._msgData() (Context.sol#20-23) is never used and should be removed
DividendPayingToken._transfer(address,address,uint256) (DividendPayingToken.sol#143-149) is never used and should be removed
SafeMath.div(uint256,uint256) (SafeMath.sol#90-92) is never used and should be removed
SafeMath.div(uint256,uint256,string) (SafeMath.sol#106-112) is never used and should be removed
SafeMath.mod(uint256,uint256) (SafeMath.sol#126-128) is never used and should be removed
SafeMath.mod(uint256,uint256,string) (SafeMath.sol#142-145) is never used and should be removed
SafeMathInt.abs(int256) (SafeMath.sol#200-203) is never used and should be removed
SafeMathInt.div(int256,int256) (SafeMath.sol#171-177) is never used and should be removed
SafeMathInt.mul(int256,int256) (SafeMath.sol#159-166) is never used and should be removed
Remove unused functions.

Additional information: link

REEFER.totalFees (Reefer.sol#46) is set pre-construction with a non-constant function or state variable:
- BNBRewardsFee + marketingFee + liquidityFee + teamFee + devFee
Remove any initialization of state variables via non-constant state variables or function calls. If variables must be set upon contract deployment, locate initialization in the constructor instead.

Additional information: link

Low level call in DividendPayingToken._withdrawDividendOfUser(address) (DividendPayingToken.sol#87-103):
- (success) = user.call{gas: 3000,value: _withdrawableDividend}() (DividendPayingToken.sol#92)
Low level call in Address.sendValue(address,uint256) (Reefer.sol#12-17):
- (success) = recipient.call{value: amount}() (Reefer.sol#15)
Low level call in REEFER.swapAndLiquify(uint256) (Reefer.sol#417-461):
- (success) = address(dividendTracker).call{value: dividends}() (Reefer.sol#457)
Avoid low-level calls. Check the call success. If the call is meant for a contract, check for code existence

Additional information: link

Parameter DividendPayingToken.dividendOf(address)._owner (DividendPayingToken.sol#109) is not in mixedCase
Parameter DividendPayingToken.withdrawableDividendOf(address)._owner (DividendPayingToken.sol#116) is not in mixedCase
Parameter DividendPayingToken.withdrawnDividendOf(address)._owner (DividendPayingToken.sol#123) is not in mixedCase
Parameter DividendPayingToken.accumulativeDividendOf(address)._owner (DividendPayingToken.sol#133) is not in mixedCase
Constant DividendPayingToken.magnitude (DividendPayingToken.sol#24) is not in UPPER_CASE_WITH_UNDERSCORES
Function IRouter.WETH() (IDex.sol#16) is not in mixedCase
Parameter REEFER.setPreasaleRate(uint256)._rate (Reefer.sol#147) is not in mixedCase
Parameter REEFER.setMaxAndMinPurchase(uint256,uint256)._maxInWei (Reefer.sol#151) is not in mixedCase
Parameter REEFER.setMaxAndMinPurchase(uint256,uint256)._minInWei (Reefer.sol#151) is not in mixedCase
Variable REEFER.BNBRewardsFee (Reefer.sol#41) is not in mixedCase
Parameter REEFERDividendTracker.getAccount(address)._account (Reefer.sol#559) is not in mixedCase
Follow the Solidity naming convention.

Additional information: link

Redundant expression "this (Context.sol#21)" inContext (Context.sol#15-25)
Remove redundant statements if they congest code but offer no value.

Additional information: link

Variable DividendPayingToken._withdrawDividendOfUser(address)._withdrawableDividend (DividendPayingToken.sol#88) is too similar to REEFERDividendTracker.getAccount(address).withdrawableDividends (Reefer.sol#564)
Prevent variables from having similar names.

Additional information: link

REEFER.constructor() (Reefer.sol#101-134) uses literals with too many digits:
- dividendTracker.excludeFromDividends(0x000000000000000000000000000000000000dEaD) (Reefer.sol#119)
REEFER.updateGasForProcessing(uint256) (Reefer.sol#253-258) uses literals with too many digits:
- require(bool,string)(newValue >= 200000 && newValue <= 500000,REEFER: gasForProcessing must be between 200,000 and 500,000) (Reefer.sol#254)
REEFER.slitherConstructorVariables() (Reefer.sol#20-499) uses literals with too many digits:
- gasForProcessing = 300000 (Reefer.sol#53)
REEFERDividendTracker.getAccountAtIndex(uint256) (Reefer.sol#604-621) uses literals with too many digits:
- (0x0000000000000000000000000000000000000000,- 1,- 1,0,0,0,0,0) (Reefer.sol#615)
Use: Ether suffix, Time suffix, or The scientific notation

Additional information: link

SafeMathInt.MAX_INT256 (SafeMath.sol#154) is never used in SafeMathInt (SafeMath.sol#152-210)
Remove unused state variables.

Additional information: link

REEFER.devFee (Reefer.sol#43) should be constant
REEFER.devWallet (Reefer.sol#49) should be constant
Add the constant attributes to state variables that never change.

Additional information: link

withdrawDividend() should be declared external:
- DividendPayingToken.withdrawDividend() (DividendPayingToken.sol#81-83)
- REEFERDividendTracker.withdrawDividend() (Reefer.sol#528-530)
dividendOf(address) should be declared external:
- DividendPayingToken.dividendOf(address) (DividendPayingToken.sol#109-111)
withdrawnDividendOf(address) should be declared external:
- DividendPayingToken.withdrawnDividendOf(address) (DividendPayingToken.sol#123-125)
name() should be declared external:
- ERC20.name() (ERC20.sol#62-64)
symbol() should be declared external:
- ERC20.symbol() (ERC20.sol#70-72)
decimals() should be declared external:
- ERC20.decimals() (ERC20.sol#87-89)
transfer(address,uint256) should be declared external:
- ERC20.transfer(address,uint256) (ERC20.sol#113-116)
allowance(address,address) should be declared external:
- ERC20.allowance(address,address) (ERC20.sol#121-123)
approve(address,uint256) should be declared external:
- ERC20.approve(address,uint256) (ERC20.sol#132-135)
transferFrom(address,address,uint256) should be declared external:
- ERC20.transferFrom(address,address,uint256) (ERC20.sol#150-158)
increaseAllowance(address,uint256) should be declared external:
- ERC20.increaseAllowance(address,uint256) (ERC20.sol#172-175)
decreaseAllowance(address,uint256) should be declared external:
- ERC20.decreaseAllowance(address,uint256) (ERC20.sol#191-194)
get(IterableMapping.Map,address) should be declared external:
- IterableMapping.get(IterableMapping.Map,address) (IterableMapping.sol#13-15)
getIndexOfKey(IterableMapping.Map,address) should be declared external:
- IterableMapping.getIndexOfKey(IterableMapping.Map,address) (IterableMapping.sol#17-22)
getKeyAtIndex(IterableMapping.Map,uint256) should be declared external:
- IterableMapping.getKeyAtIndex(IterableMapping.Map,uint256) (IterableMapping.sol#24-26)
size(IterableMapping.Map) should be declared external:
- IterableMapping.size(IterableMapping.Map) (IterableMapping.sol#30-32)
renounceOwnership() should be declared external:
- Ownable.renounceOwnership() (Ownable.sol#43-46)
transferOwnership(address) should be declared external:
- Ownable.transferOwnership(address) (Ownable.sol#52-56)
updateDividendTracker(address) should be declared external:
- REEFER.updateDividendTracker(address) (Reefer.sol#177-192)
updateRouter(address) should be declared external:
- REEFER.updateRouter(address) (Reefer.sol#194-198)
excludeMultipleAccountsFromFees(address[],bool) should be declared external:
- REEFER.excludeMultipleAccountsFromFees(address[],bool) (Reefer.sol#207-213)
setAutomatedMarketMakerPair(address,bool) should be declared external:
- REEFER.setAutomatedMarketMakerPair(address,bool) (Reefer.sol#220-224)
updateGasForProcessing(uint256) should be declared external:
- REEFER.updateGasForProcessing(uint256) (Reefer.sol#253-258)
isExcludedFromFees(address) should be declared external:
- REEFER.isExcludedFromFees(address) (Reefer.sol#272-274)
withdrawableDividendOf(address) should be declared external:
- REEFER.withdrawableDividendOf(address) (Reefer.sol#276-278)
dividendTokenBalanceOf(address) should be declared external:
- REEFER.dividendTokenBalanceOf(address) (Reefer.sol#280-282)
getAccountAtIndex(uint256) should be declared external:
- REEFERDividendTracker.getAccountAtIndex(uint256) (Reefer.sol#604-621)
process(uint256) should be declared external:
- REEFERDividendTracker.process(uint256) (Reefer.sol#642-687)
Use the external attribute for functions never called from the contract.

Additional information: link

Contract has 11% buy tax and 11% sell tax.
Taxes are high (over 10%) but contract ownership is renounced.

Token is deployed only at one blockchain

Token has only one trading pair

BscScan page for the token does not contain additional info: website, socials, description, etc.

Additional information: link

Unable to find whitepaper link on the website

Unable to find code repository for the project

Young tokens have high risks of scam / price dump / death

Young tokens have high risks of scam / price dump / death

Young tokens have high risks of scam / price dump / death

Young tokens have high risks of scam / price dump / death

Token has relatively low CoinGecko rank

Token has relatively low CoinMarketCap rank