Unable to find manual contract audit (e.g. Certik, PeckShield, Solidity...)
SpookyFace.swapBack() (#594-638) sends eth to arbitrary user
Dangerous calls:
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#622)
Ensure that an arbitrary user cannot withdraw unauthorized funds.
Additional information: link
Reentrancy in SpookyFace._transferFrom(address,address,uint256) (#489-542):
External calls:
- swapBack() (#521)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(amountToSwap,0,path,address(this),block.timestamp) (#605-611)
- distributor.deposit{value: amountBNBReflection}() (#621)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#622)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#628-635)
External calls sending eth:
- swapBack() (#521)
- distributor.deposit{value: amountBNBReflection}() (#621)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#622)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#628-635)
State variables written after the call(s):
- _balances[sender] = _balances[sender].sub(amount,Insufficient Balance) (#524)
- _balances[recipient] = _balances[recipient].add(amountReceived) (#527)
- amountReceived = takeFee(sender,amount) (#526)
- _balances[address(this)] = _balances[address(this)].add(feeAmount) (#562)
Apply the check-effects-interactions pattern.
Additional information: link
DividendDistributor.distributeDividend(address) (#313-324) ignores return value by MATIC.transfer(shareholder,amount) (#319)
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.
SpookyFace.swapBack().tmpSuccess (#622) is written in both
(tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#622)
tmpSuccess = false (#625)
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) (#313-324):
External calls:
- MATIC.transfer(shareholder,amount) (#319)
State variables written after the call(s):
- shares[shareholder].totalRealised = shares[shareholder].totalRealised.add(amount) (#321)
- shares[shareholder].totalExcluded = getCumulativeDividends(shares[shareholder].amount) (#322)
Reentrancy in DividendDistributor.process(uint256) (#282-306):
External calls:
- distributeDividend(shareholders[currentIndex]) (#298)
- MATIC.transfer(shareholder,amount) (#319)
State variables written after the call(s):
- currentIndex ++ (#303)
Reentrancy in DividendDistributor.setShare(address,uint256) (#246-260):
External calls:
- distributeDividend(shareholder) (#248)
- MATIC.transfer(shareholder,amount) (#319)
State variables written after the call(s):
- shares[shareholder].amount = amount (#258)
- shares[shareholder].totalExcluded = getCumulativeDividends(shares[shareholder].amount) (#259)
Apply the check-effects-interactions pattern.
Additional information: link
SpookyFace.manage_blacklist(address[],bool).i (#660) 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
SpookyFace.swapBack() (#594-638) ignores return value by router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#628-635)
Ensure that all the return values of the function calls are used.
Additional information: link
DividendDistributor.setDistributionCriteria(uint256,uint256) (#241-244) should emit an event for:
- minPeriod = _minPeriod (#242)
- minDistribution = _minDistribution (#243)
SpookyFace.setTxLimit(uint256) (#641-643) should emit an event for:
- _maxTxAmount = amount (#642)
SpookyFace.setFees(uint256,uint256,uint256,uint256,uint256) (#681-689) should emit an event for:
- liquidityFee = _liquidityFee (#682)
- reflectionFee = _reflectionFee (#683)
- marketingFee = _marketingFee (#684)
- sellBias = _sellBias (#685)
- totalFee = _liquidityFee.add(_reflectionFee).add(_marketingFee) (#686)
- feeDenominator = _feeDenominator (#687)
SpookyFace.setSwapBackSettings(bool,uint256) (#696-699) should emit an event for:
- swapThreshold = _amount (#698)
SpookyFace.setTargetLiquidity(uint256,uint256) (#701-704) should emit an event for:
- targetLiquidity = _target (#702)
- targetLiquidityDenominator = _denominator (#703)
Emit an event for critical parameter changes.
Additional information: link
Auth.transferOwnership(address).adr (#122) lacks a zero-check on :
- owner = adr (#123)
SpookyFace.setFeeReceivers(address,address)._autoLiquidityReceiver (#691) lacks a zero-check on :
- autoLiquidityReceiver = _autoLiquidityReceiver (#692)
SpookyFace.setFeeReceivers(address,address)._marketingFeeReceiver (#691) lacks a zero-check on :
- marketingFeeReceiver = _marketingFeeReceiver (#693)
Check that the address is not zero.
Additional information: link
DividendDistributor.distributeDividend(address) (#313-324) has external calls inside a loop: MATIC.transfer(shareholder,amount) (#319)
SpookyFace.airdrop(address,address[],uint256[]) (#732-755) has external calls inside a loop: distributor.setShare(addresses[i_scope_0],_balances[addresses[i_scope_0]]) (#747)
Favor pull over push strategy for external calls.
Additional information: link
Reentrancy in SpookyFace.constructor() (#419-450):
External calls:
- pair = IDEXFactory(router.factory()).createPair(WBNB,address(this)) (#421)
State variables written after the call(s):
- _allowances[address(this)][address(router)] = uint256(- 1) (#422)
- _balances[msg.sender] = _totalSupply (#448)
- autoLiquidityReceiver = 0xDf0E24564ec0906dc320B2219CE9643dAF19C759 (#445)
- distributor = new DividendDistributor(address(router)) (#424)
- isDividendExempt[pair] = true (#440)
- isDividendExempt[address(this)] = true (#441)
- isDividendExempt[DEAD] = true (#442)
- isFeeExempt[msg.sender] = true (#426)
- isMaxWalletExempt[msg.sender] = true (#428)
- isTimelockExempt[msg.sender] = true (#431)
- isTimelockExempt[DEAD] = true (#432)
- isTimelockExempt[address(this)] = true (#433)
- isTxLimitExempt[msg.sender] = true (#427)
- marketingFeeReceiver = 0x42E547b1a701EBe3F74833066D241395faB737fd (#446)
Reentrancy in DividendDistributor.deposit() (#262-280):
External calls:
- router.swapExactETHForTokensSupportingFeeOnTransferTokens{value: msg.value}(0,path,address(this),block.timestamp) (#269-274)
State variables written after the call(s):
- dividendsPerShare = dividendsPerShare.add(dividendsPerShareAccuracyFactor.mul(amount).div(totalShares)) (#279)
- totalDividends = totalDividends.add(amount) (#278)
Reentrancy in DividendDistributor.distributeDividend(address) (#313-324):
External calls:
- MATIC.transfer(shareholder,amount) (#319)
State variables written after the call(s):
- shareholderClaims[shareholder] = block.timestamp (#320)
Reentrancy in DividendDistributor.setShare(address,uint256) (#246-260):
External calls:
- distributeDividend(shareholder) (#248)
- MATIC.transfer(shareholder,amount) (#319)
State variables written after the call(s):
- addShareholder(shareholder) (#252)
- shareholderIndexes[shareholder] = shareholders.length (#346)
- removeShareholder(shareholder) (#254)
- shareholderIndexes[shareholders[shareholders.length - 1]] = shareholderIndexes[shareholder] (#352)
- addShareholder(shareholder) (#252)
- shareholders.push(shareholder) (#347)
- removeShareholder(shareholder) (#254)
- shareholders[shareholderIndexes[shareholder]] = shareholders[shareholders.length - 1] (#351)
- shareholders.pop() (#353)
- totalShares = totalShares.sub(shares[shareholder].amount).add(amount) (#257)
Apply the check-effects-interactions pattern.
Additional information: link
Reentrancy in SpookyFace._transferFrom(address,address,uint256) (#489-542):
External calls:
- swapBack() (#521)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(amountToSwap,0,path,address(this),block.timestamp) (#605-611)
- distributor.deposit{value: amountBNBReflection}() (#621)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#622)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#628-635)
- distributor.setShare(sender,_balances[sender]) (#531)
- distributor.setShare(recipient,_balances[recipient]) (#535)
- distributor.process(distributorGas) (#538)
External calls sending eth:
- swapBack() (#521)
- distributor.deposit{value: amountBNBReflection}() (#621)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#622)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#628-635)
Event emitted after the call(s):
- Transfer(sender,recipient,amountReceived) (#540)
Reentrancy in SpookyFace._transferFrom(address,address,uint256) (#489-542):
External calls:
- swapBack() (#521)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(amountToSwap,0,path,address(this),block.timestamp) (#605-611)
- distributor.deposit{value: amountBNBReflection}() (#621)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#622)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#628-635)
External calls sending eth:
- swapBack() (#521)
- distributor.deposit{value: amountBNBReflection}() (#621)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#622)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#628-635)
Event emitted after the call(s):
- Transfer(sender,address(this),feeAmount) (#563)
- amountReceived = takeFee(sender,amount) (#526)
Reentrancy in SpookyFace.constructor() (#419-450):
External calls:
- pair = IDEXFactory(router.factory()).createPair(WBNB,address(this)) (#421)
Event emitted after the call(s):
- Transfer(address(0),msg.sender,_totalSupply) (#449)
Reentrancy in SpookyFace.swapBack() (#594-638):
External calls:
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(amountToSwap,0,path,address(this),block.timestamp) (#605-611)
- distributor.deposit{value: amountBNBReflection}() (#621)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#622)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#628-635)
External calls sending eth:
- distributor.deposit{value: amountBNBReflection}() (#621)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#622)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#628-635)
Event emitted after the call(s):
- AutoLiquify(amountBNBLiquidity,amountToLiquify) (#636)
Apply the check-effects-interactions pattern.
Additional information: link
DividendDistributor.shouldDistribute(address) (#308-311) uses timestamp for comparisons
Dangerous comparisons:
- shareholderClaims[shareholder] + minPeriod < block.timestamp && getUnpaidEarnings(shareholder) > minDistribution (#309-310)
SpookyFace._transferFrom(address,address,uint256) (#489-542) uses timestamp for comparisons
Dangerous comparisons:
- require(bool,string)(cooldownTimer[recipient] < block.timestamp,Please wait for cooldown between buys) (#507)
Avoid relying on block.timestamp.
Additional information: link
DividendDistributor.process(uint256) (#282-306) has costly operations inside a loop:
- currentIndex = 0 (#294)
DividendDistributor.distributeDividend(address) (#313-324) has costly operations inside a loop:
- totalDistributed = totalDistributed.add(amount) (#318)
DividendDistributor.process(uint256) (#282-306) has costly operations inside a loop:
- currentIndex ++ (#303)
Use a local variable to hold the loop computation result.
Additional information: link
SpookyFace._maxTxAmount (#370) is set pre-construction with a non-constant function or state variable:
- _totalSupply * 1 / 100
SpookyFace._maxWalletToken (#376) is set pre-construction with a non-constant function or state variable:
- (_totalSupply * 2) / 100
SpookyFace.swapThreshold (#415) 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
Pragma version^0.7.4 (#6) allows old versions
solc-0.7.4 is not recommended for deployment
Deploy with any of the following Solidity versions: 0.5.16 - 0.5.17, 0.6.11 - 0.6.12, 0.7.5 - 0.7.6 Use a simple pragma version that allows any of these versions. Consider using the latest version of Solidity for testing.
Additional information: link
Low level call in SpookyFace.swapBack() (#594-638):
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#622)
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() (#137) is not in mixedCase
Parameter DividendDistributor.setDistributionCriteria(uint256,uint256)._minPeriod (#241) is not in mixedCase
Parameter DividendDistributor.setDistributionCriteria(uint256,uint256)._minDistribution (#241) is not in mixedCase
Variable DividendDistributor._token (#193) is not in mixedCase
Variable DividendDistributor.MATIC (#201) is not in mixedCase
Variable DividendDistributor.WBNB (#202) is not in mixedCase
Parameter SpookyFace.tradingStatus(bool)._status (#582) is not in mixedCase
Parameter SpookyFace.cooldownEnabled(bool,uint8)._status (#587) is not in mixedCase
Parameter SpookyFace.cooldownEnabled(bool,uint8)._interval (#587) is not in mixedCase
Function SpookyFace.enable_blacklist(bool) (#655-657) is not in mixedCase
Parameter SpookyFace.enable_blacklist(bool)._status (#655) is not in mixedCase
Function SpookyFace.manage_blacklist(address[],bool) (#659-663) is not in mixedCase
Parameter SpookyFace.setFees(uint256,uint256,uint256,uint256,uint256)._liquidityFee (#681) is not in mixedCase
Parameter SpookyFace.setFees(uint256,uint256,uint256,uint256,uint256)._reflectionFee (#681) is not in mixedCase
Parameter SpookyFace.setFees(uint256,uint256,uint256,uint256,uint256)._marketingFee (#681) is not in mixedCase
Parameter SpookyFace.setFees(uint256,uint256,uint256,uint256,uint256)._feeDenominator (#681) is not in mixedCase
Parameter SpookyFace.setFees(uint256,uint256,uint256,uint256,uint256)._sellBias (#681) is not in mixedCase
Parameter SpookyFace.setFeeReceivers(address,address)._autoLiquidityReceiver (#691) is not in mixedCase
Parameter SpookyFace.setFeeReceivers(address,address)._marketingFeeReceiver (#691) is not in mixedCase
Parameter SpookyFace.setSwapBackSettings(bool,uint256)._enabled (#696) is not in mixedCase
Parameter SpookyFace.setSwapBackSettings(bool,uint256)._amount (#696) is not in mixedCase
Parameter SpookyFace.setTargetLiquidity(uint256,uint256)._target (#701) is not in mixedCase
Parameter SpookyFace.setTargetLiquidity(uint256,uint256)._denominator (#701) is not in mixedCase
Parameter SpookyFace.setDistributionCriteria(uint256,uint256)._minPeriod (#706) is not in mixedCase
Parameter SpookyFace.setDistributionCriteria(uint256,uint256)._minDistribution (#706) is not in mixedCase
Variable SpookyFace.MATIC (#360) is not in mixedCase
Variable SpookyFace.WBNB (#361) is not in mixedCase
Variable SpookyFace.DEAD (#362) is not in mixedCase
Variable SpookyFace.ZERO (#363) is not in mixedCase
Constant SpookyFace._name (#365) is not in UPPER_CASE_WITH_UNDERSCORES
Constant SpookyFace._symbol (#366) is not in UPPER_CASE_WITH_UNDERSCORES
Constant SpookyFace._decimals (#367) is not in UPPER_CASE_WITH_UNDERSCORES
Variable SpookyFace._totalSupply (#369) is not in mixedCase
Variable SpookyFace._maxTxAmount (#370) is not in mixedCase
Variable SpookyFace._maxWalletToken (#376) is not in mixedCase
Variable SpookyFace._balances (#378) is not in mixedCase
Variable SpookyFace._allowances (#379) is not in mixedCase
Follow the Solidity naming convention.
Additional information: link
Variable IDEXRouter.addLiquidity(address,address,uint256,uint256,uint256,uint256,address,uint256).amountADesired (#142) is too similar to IDEXRouter.addLiquidity(address,address,uint256,uint256,uint256,uint256,address,uint256).amountBDesired (#143)
Prevent variables from having similar names.
Additional information: link
SpookyFace.slitherConstructorVariables() (#357-760) uses literals with too many digits:
- DEAD = 0x000000000000000000000000000000000000dEaD (#362)
SpookyFace.slitherConstructorVariables() (#357-760) uses literals with too many digits:
- ZERO = 0x0000000000000000000000000000000000000000 (#363)
SpookyFace.slitherConstructorVariables() (#357-760) uses literals with too many digits:
- distributorGas = 500000 (#407)
Use: Ether suffix, Time suffix, or The scientific notation
Additional information: link
SpookyFace.MATIC (#360) is never used in SpookyFace (#357-760)
Remove unused state variables.
Additional information: link
DividendDistributor.WBNB (#202) should be constant
DividendDistributor.dividendsPerShareAccuracyFactor (#215) should be constant
SpookyFace.DEAD (#362) should be constant
SpookyFace.MATIC (#360) should be constant
SpookyFace.WBNB (#361) should be constant
SpookyFace.ZERO (#363) should be constant
SpookyFace._totalSupply (#369) should be constant
SpookyFace.launchedAt (#403) 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) (#94-96)
unauthorize(address) should be declared external:
- Auth.unauthorize(address) (#101-103)
transferOwnership(address) should be declared external:
- Auth.transferOwnership(address) (#122-126)
tradingStatus(bool) should be declared external:
- SpookyFace.tradingStatus(bool) (#582-584)
cooldownEnabled(bool,uint8) should be declared external:
- SpookyFace.cooldownEnabled(bool,uint8) (#587-590)
enable_blacklist(bool) should be declared external:
- SpookyFace.enable_blacklist(bool) (#655-657)
manage_blacklist(address[],bool) should be declared external:
- SpookyFace.manage_blacklist(address[],bool) (#659-663)
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