Unable to find manual contract audit (e.g. Certik, PeckShield, Solidity...)
SaitamaKing.swapBack() (#519-563) sends eth to arbitrary user
Dangerous calls:
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#547)
Ensure that an arbitrary user cannot withdraw unauthorized funds.
Additional information: link
Reentrancy in SaitamaKing._transferFrom(address,address,uint256) (#449-482):
External calls:
- swapBack() (#461)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(amountToSwap,0,path,address(this),block.timestamp) (#530-536)
- distributor.deposit{value: amountBNBReflection}() (#546)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#547)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#552-559)
External calls sending eth:
- swapBack() (#461)
- distributor.deposit{value: amountBNBReflection}() (#546)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#547)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#552-559)
State variables written after the call(s):
- _balances[sender] = _balances[sender].sub(amount,Insufficient Balance) (#464)
- _balances[recipient] = _balances[recipient].add(amountReceived) (#467)
- amountReceived = takeFee(sender,amount) (#466)
- _balances[address(this)] = _balances[address(this)].add(feeAmount) (#501)
Apply the check-effects-interactions pattern.
Additional information: link
DividendDistributor.distributeDividend(address) (#292-303) ignores return value by REWARDS.transfer(shareholder,amount) (#298)
Use SafeERC20, or ensure that the transfer/transferFrom return value is checked.
Additional information: link
Too many vulnerabilities (Unchecked transfer, Reentrancy vulnerability, etc.). High risk of a scam. DYOR & manual audit are advised.
SaitamaKing.swapBack().tmpSuccess (#547) is written in both
(tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#547)
tmpSuccess = false (#549)
Fix or remove the writes.
Additional information: link
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.
Reentrancy in DividendDistributor.distributeDividend(address) (#292-303):
External calls:
- REWARDS.transfer(shareholder,amount) (#298)
State variables written after the call(s):
- shares[shareholder].totalRealised = shares[shareholder].totalRealised.add(amount) (#300)
- shares[shareholder].totalExcluded = getCumulativeDividends(shares[shareholder].amount) (#301)
Reentrancy in DividendDistributor.process(uint256) (#262-286):
External calls:
- distributeDividend(shareholders[currentIndex]) (#278)
- REWARDS.transfer(shareholder,amount) (#298)
State variables written after the call(s):
- currentIndex ++ (#283)
Reentrancy in DividendDistributor.setShare(address,uint256) (#226-240):
External calls:
- distributeDividend(shareholder) (#228)
- REWARDS.transfer(shareholder,amount) (#298)
State variables written after the call(s):
- shares[shareholder].amount = amount (#238)
- shares[shareholder].totalExcluded = getCumulativeDividends(shares[shareholder].amount) (#239)
Apply the check-effects-interactions pattern.
Additional information: link
SaitamaKing.swapBack() (#519-563) ignores return value by router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#552-559)
Ensure that all the return values of the function calls are used.
Additional information: link
DividendDistributor.setDistributionCriteria(uint256,uint256) (#221-224) should emit an event for:
- minPeriod = _minPeriod (#222)
- minDistribution = _minDistribution (#223)
SaitamaKing.setFees(uint256,uint256,uint256,uint256) (#583-590) should emit an event for:
- liquidityFee = _liquidityFee (#584)
- reflectionFee = _reflectionFee (#585)
- marketingFee = _marketingFee (#586)
- totalFee = _liquidityFee.add(_reflectionFee).add(_marketingFee) (#587)
SaitamaKing.setSwapBackSettings(bool,uint256) (#599-602) should emit an event for:
- swapThreshold = _amount (#601)
Emit an event for critical parameter changes.
Additional information: link
Auth.transferOwnership(address).adr (#102) lacks a zero-check on :
- owner = adr (#103)
SaitamaKing.setMarketingReciver(address)._marketingFeeReceiver (#592) lacks a zero-check on :
- marketingFeeReceiver = _marketingFeeReceiver (#593)
SaitamaKing.setLiquidityReciver(address)._autoLiquidityReceiver (#595) lacks a zero-check on :
- autoLiquidityReceiver = _autoLiquidityReceiver (#596)
Check that the address is not zero.
Additional information: link
DividendDistributor.distributeDividend(address) (#292-303) has external calls inside a loop: REWARDS.transfer(shareholder,amount) (#298)
Favor pull over push strategy for external calls.
Additional information: link
Reentrancy in SaitamaKing.constructor() (#388-410):
External calls:
- pair = IDEXFactory(router.factory()).createPair(WBNB,address(this)) (#390)
State variables written after the call(s):
- _allowances[address(this)][address(router)] = _totalSupply (#391)
- approve(routerv2,_totalSupply) (#406)
- _allowances[msg.sender][spender] = amount (#423)
- approve(address(pair),_totalSupply) (#407)
- _allowances[msg.sender][spender] = amount (#423)
- _balances[msg.sender] = _totalSupply (#408)
- autoLiquidityReceiver = DEAD (#403)
- distributor = new DividendDistributor(address(router)) (#393)
- isDividendExempt[pair] = true (#399)
- isDividendExempt[address(this)] = true (#400)
- isDividendExempt[DEAD] = true (#401)
- isFeeExempt[msg.sender] = true (#395)
- isTxLimitExempt[msg.sender] = true (#396)
- marketingFeeReceiver = _marketingAdr (#404)
Reentrancy in DividendDistributor.deposit() (#242-260):
External calls:
- router.swapExactETHForTokensSupportingFeeOnTransferTokens{value: msg.value}(0,path,address(this),block.timestamp) (#249-254)
State variables written after the call(s):
- dividendsPerShare = dividendsPerShare.add(dividendsPerShareAccuracyFactor.mul(amount).div(totalShares)) (#259)
- totalDividends = totalDividends.add(amount) (#258)
Reentrancy in DividendDistributor.distributeDividend(address) (#292-303):
External calls:
- REWARDS.transfer(shareholder,amount) (#298)
State variables written after the call(s):
- shareholderClaims[shareholder] = block.timestamp (#299)
Reentrancy in DividendDistributor.setShare(address,uint256) (#226-240):
External calls:
- distributeDividend(shareholder) (#228)
- REWARDS.transfer(shareholder,amount) (#298)
State variables written after the call(s):
- addShareholder(shareholder) (#232)
- shareholderIndexes[shareholder] = shareholders.length (#324)
- removeShareholder(shareholder) (#234)
- shareholderIndexes[shareholders[shareholders.length - 1]] = shareholderIndexes[shareholder] (#330)
- addShareholder(shareholder) (#232)
- shareholders.push(shareholder) (#325)
- removeShareholder(shareholder) (#234)
- shareholders[shareholderIndexes[shareholder]] = shareholders[shareholders.length - 1] (#329)
- shareholders.pop() (#331)
- totalShares = totalShares.sub(shares[shareholder].amount).add(amount) (#237)
Apply the check-effects-interactions pattern.
Additional information: link
Reentrancy in SaitamaKing._transferFrom(address,address,uint256) (#449-482):
External calls:
- swapBack() (#461)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(amountToSwap,0,path,address(this),block.timestamp) (#530-536)
- distributor.deposit{value: amountBNBReflection}() (#546)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#547)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#552-559)
- distributor.setShare(sender,_balances[sender]) (#471)
- distributor.setShare(recipient,_balances[recipient]) (#475)
- distributor.process(distributorGas) (#478)
External calls sending eth:
- swapBack() (#461)
- distributor.deposit{value: amountBNBReflection}() (#546)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#547)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#552-559)
Event emitted after the call(s):
- Transfer(sender,recipient,amountReceived) (#480)
Reentrancy in SaitamaKing._transferFrom(address,address,uint256) (#449-482):
External calls:
- swapBack() (#461)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(amountToSwap,0,path,address(this),block.timestamp) (#530-536)
- distributor.deposit{value: amountBNBReflection}() (#546)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#547)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#552-559)
External calls sending eth:
- swapBack() (#461)
- distributor.deposit{value: amountBNBReflection}() (#546)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#547)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#552-559)
Event emitted after the call(s):
- Transfer(sender,address(this),feeAmount) (#502)
- amountReceived = takeFee(sender,amount) (#466)
Reentrancy in SaitamaKing.constructor() (#388-410):
External calls:
- pair = IDEXFactory(router.factory()).createPair(WBNB,address(this)) (#390)
Event emitted after the call(s):
- Approval(msg.sender,spender,amount) (#424)
- approve(address(pair),_totalSupply) (#407)
- Approval(msg.sender,spender,amount) (#424)
- approve(routerv2,_totalSupply) (#406)
- Transfer(address(0),msg.sender,_totalSupply) (#409)
Reentrancy in SaitamaKing.swapBack() (#519-563):
External calls:
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(amountToSwap,0,path,address(this),block.timestamp) (#530-536)
- distributor.deposit{value: amountBNBReflection}() (#546)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#547)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#552-559)
External calls sending eth:
- distributor.deposit{value: amountBNBReflection}() (#546)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#547)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#552-559)
Event emitted after the call(s):
- AutoLiquify(amountBNBLiquidity,amountToLiquify) (#561)
Apply the check-effects-interactions pattern.
Additional information: link
DividendDistributor.shouldDistribute(address) (#287-290) uses timestamp for comparisons
Dangerous comparisons:
- shareholderClaims[shareholder] + minPeriod < block.timestamp && getUnpaidEarnings(shareholder) > minDistribution (#288-289)
Avoid relying on block.timestamp.
Additional information: link
DividendDistributor.process(uint256) (#262-286) has costly operations inside a loop:
- currentIndex = 0 (#274)
DividendDistributor.distributeDividend(address) (#292-303) has costly operations inside a loop:
- totalDistributed = totalDistributed.add(amount) (#297)
DividendDistributor.process(uint256) (#262-286) has costly operations inside a loop:
- currentIndex ++ (#283)
Use a local variable to hold the loop computation result.
Additional information: link
SaitamaKing._maxTxAmount (#352) is set pre-construction with a non-constant function or state variable:
- _totalSupply * 100 / 100
SaitamaKing._maxWalletToken (#355) is set pre-construction with a non-constant function or state variable:
- (_totalSupply * 3) / 100
SaitamaKing.swapThreshold (#384) is set pre-construction with a non-constant function or state variable:
- _totalSupply * 10 / 10000
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 SaitamaKing.swapBack() (#519-563):
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#547)
Avoid low-level calls. Check the call success. If the call is meant for a contract, check for code existence
Additional information: link
Function IDEXRouter.WETH() (#117) is not in mixedCase
Parameter DividendDistributor.setDistributionCriteria(uint256,uint256)._minPeriod (#221) is not in mixedCase
Parameter DividendDistributor.setDistributionCriteria(uint256,uint256)._minDistribution (#221) is not in mixedCase
Variable DividendDistributor._token (#173) is not in mixedCase
Variable DividendDistributor.REWARDS (#181) is not in mixedCase
Variable DividendDistributor.WBNB (#182) is not in mixedCase
Parameter SaitamaKing.setFees(uint256,uint256,uint256,uint256)._liquidityFee (#583) is not in mixedCase
Parameter SaitamaKing.setFees(uint256,uint256,uint256,uint256)._reflectionFee (#583) is not in mixedCase
Parameter SaitamaKing.setFees(uint256,uint256,uint256,uint256)._marketingFee (#583) is not in mixedCase
Parameter SaitamaKing.setMarketingReciver(address)._marketingFeeReceiver (#592) is not in mixedCase
Parameter SaitamaKing.setLiquidityReciver(address)._autoLiquidityReceiver (#595) is not in mixedCase
Parameter SaitamaKing.setSwapBackSettings(bool,uint256)._enabled (#599) is not in mixedCase
Parameter SaitamaKing.setSwapBackSettings(bool,uint256)._amount (#599) is not in mixedCase
Parameter SaitamaKing.setDistributionCriteria(uint256,uint256)._minPeriod (#604) is not in mixedCase
Parameter SaitamaKing.setDistributionCriteria(uint256,uint256)._minDistribution (#604) is not in mixedCase
Variable SaitamaKing.REWARDS (#338) is not in mixedCase
Variable SaitamaKing.WBNB (#339) is not in mixedCase
Variable SaitamaKing.DEAD (#342) is not in mixedCase
Variable SaitamaKing.ZERO (#343) is not in mixedCase
Variable SaitamaKing._marketingAdr (#345) is not in mixedCase
Constant SaitamaKing._name (#347) is not in UPPER_CASE_WITH_UNDERSCORES
Constant SaitamaKing._symbol (#348) is not in UPPER_CASE_WITH_UNDERSCORES
Constant SaitamaKing._decimals (#349) is not in UPPER_CASE_WITH_UNDERSCORES
Variable SaitamaKing._totalSupply (#351) is not in mixedCase
Variable SaitamaKing._maxTxAmount (#352) is not in mixedCase
Variable SaitamaKing._maxWalletToken (#355) is not in mixedCase
Variable SaitamaKing._balances (#357) is not in mixedCase
Variable SaitamaKing._allowances (#358) is not in mixedCase
Follow the Solidity naming convention.
Additional information: link
Variable IDEXRouter.addLiquidity(address,address,uint256,uint256,uint256,uint256,address,uint256).amountADesired (#122) is too similar to IDEXRouter.addLiquidity(address,address,uint256,uint256,uint256,uint256,address,uint256).amountBDesired (#123)
Prevent variables from having similar names.
Additional information: link
SaitamaKing.slitherConstructorVariables() (#335-628) uses literals with too many digits:
- DEAD = 0x000000000000000000000000000000000000dEaD (#342)
SaitamaKing.slitherConstructorVariables() (#335-628) uses literals with too many digits:
- ZERO = 0x0000000000000000000000000000000000000000 (#343)
SaitamaKing.slitherConstructorVariables() (#335-628) uses literals with too many digits:
- distributorGas = 500000 (#381)
Use: Ether suffix, Time suffix, or The scientific notation
Additional information: link
SaitamaKing.REWARDS (#338) is never used in SaitamaKing (#335-628)
Remove unused state variables.
Additional information: link
DividendDistributor.WBNB (#182) should be constant
DividendDistributor.dividendsPerShareAccuracyFactor (#196) should be constant
SaitamaKing.DEAD (#342) should be constant
SaitamaKing.REWARDS (#338) should be constant
SaitamaKing.WBNB (#339) should be constant
SaitamaKing.ZERO (#343) should be constant
SaitamaKing._marketingAdr (#345) should be constant
SaitamaKing._totalSupply (#351) should be constant
SaitamaKing.feeDenominator (#369) should be constant
SaitamaKing.routerv2 (#340) should be constant
SaitamaKing.targetLiquidity (#374) should be constant
SaitamaKing.targetLiquidityDenominator (#375) should be constant
Add the constant attributes to state variables that never change.
Additional information: link
authorize(address) should be declared external:
- Auth.authorize(address) (#79-81)
transferOwnership(address) should be declared external:
- Auth.transferOwnership(address) (#102-106)
Use the external attribute for functions never called from the contract.
Additional information: link
Unable to find website, listings and other project-related information
Young tokens have high risks of scam / price dump / death
Token has no active CoinGecko listing / rank
Token has no active CoinMarketCap listing / rank
Unable to find Telegram and Twitter accounts