SuperFloki AutoBoost Protocol is built mathematically to do variable buybacks which adjust based on volume in order to maintain stability. AutoBoost will vary based on the transactions over the past 24 hours which will continue to adjust based on the volume. AutoBoost will buy back variable amounts every time a sale occurs with SLOKI Token. This is a one of a kind function which is more powerful than just a standard buyback System
SuperFloki.addLiquidity(uint256,uint256) (#840-853) sends eth to arbitrary user
Dangerous calls:
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#845-852)
Ensure that an arbitrary user cannot withdraw unauthorized funds.
Additional information: link
SuperFloki._transfer(address,address,uint256) (#666-783) uses a weak PRNG: "_bBSLimit = _bBSLimitMin + uint256(keccak256(bytes)(abi.encodePacked(block.timestamp,block.difficulty))) % (_bBSLimitMax - _bBSLimitMin + 1) (#727)"
Do not use block.timestamp, now or blockhash as a source of randomness
Additional information: link
Reentrancy in SuperFloki._transfer(address,address,uint256) (#666-783):
External calls:
- swapTokens(contractTokenBalance) (#695)
- uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenAmount,0,path,address(this),block.timestamp) (#812-818)
- buyBackTokens(_bBSLimit) (#730)
- uniswapV2Router.swapExactETHForTokensSupportingFeeOnTransferTokens{value: amount}(0,path,deadAddress,block.timestamp.add(300)) (#830-835)
External calls sending eth:
- swapTokens(contractTokenBalance) (#695)
- recipient.transfer(amount) (#1136)
- buyBackTokens(_bBSLimit) (#730)
- uniswapV2Router.swapExactETHForTokensSupportingFeeOnTransferTokens{value: amount}(0,path,deadAddress,block.timestamp.add(300)) (#830-835)
State variables written after the call(s):
- _tokenTransfer(from,to,amount,takeFee) (#782)
- _rOwned[address(this)] = _rOwned[address(this)].add(rLiquidity) (#959)
- _rOwned[sender] = _rOwned[sender].sub(rAmount) (#884)
- _rOwned[sender] = _rOwned[sender].sub(rAmount) (#875)
- _rOwned[sender] = _rOwned[sender].sub(rAmount) (#905)
- _rOwned[recipient] = _rOwned[recipient].add(rTransferAmount) (#876)
- _rOwned[sender] = _rOwned[sender].sub(rAmount) (#895)
- _rOwned[recipient] = _rOwned[recipient].add(rTransferAmount) (#896)
- _rOwned[recipient] = _rOwned[recipient].add(rTransferAmount) (#886)
- _rOwned[recipient] = _rOwned[recipient].add(rTransferAmount) (#907)
- _tokenTransfer(from,to,amount,takeFee) (#782)
- _rTotal = _rTotal.sub(rFee) (#914)
- _tokenTransfer(from,to,amount,takeFee) (#782)
- _tOwned[address(this)] = _tOwned[address(this)].add(tLiquidity) (#961)
- _tOwned[sender] = _tOwned[sender].sub(tAmount) (#894)
- _tOwned[sender] = _tOwned[sender].sub(tAmount) (#904)
- _tOwned[recipient] = _tOwned[recipient].add(tTransferAmount) (#885)
- _tOwned[recipient] = _tOwned[recipient].add(tTransferAmount) (#906)
- buyBackTokens(_bBSLimit) (#730)
- inSwapAndLiquify = true (#512)
- inSwapAndLiquify = false (#514)
Apply the check-effects-interactions pattern.
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.
SuperFloki._transfer(address,address,uint256).sellHistory (#682) 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
SuperFloki.addLiquidity(uint256,uint256) (#840-853) ignores return value by uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#845-852)
Ensure that all the return values of the function calls are used.
Additional information: link
SuperFloki._approve(address,address,uint256).owner (#658) shadows:
- Ownable.owner() (#157-159) (function)
Rename the local variables that shadow another component.
Additional information: link
SuperFloki.setNumTokensSellToAddToBuyBack(uint256) (#1098-1100) should emit an event for:
- minimumTokensBeforeSwap = _minimumTokensBeforeSwap (#1099)
Emit an event for critical parameter changes.
Additional information: link
SuperFloki.setMarketingAddress(address)._marketingAddress (#1102) lacks a zero-check on :
- marketingAddress = address(_marketingAddress) (#1103)
Check that the address is not zero.
Additional information: link
Reentrancy in SuperFloki.transferFrom(address,address,uint256) (#576-580):
External calls:
- _transfer(sender,recipient,amount) (#577)
- uniswapV2Router.swapExactETHForTokensSupportingFeeOnTransferTokens{value: amount}(0,path,deadAddress,block.timestamp.add(300)) (#830-835)
- uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenAmount,0,path,address(this),block.timestamp) (#812-818)
External calls sending eth:
- _transfer(sender,recipient,amount) (#577)
- recipient.transfer(amount) (#1136)
- uniswapV2Router.swapExactETHForTokensSupportingFeeOnTransferTokens{value: amount}(0,path,deadAddress,block.timestamp.add(300)) (#830-835)
State variables written after the call(s):
- _approve(sender,_msgSender(),_allowances[sender][_msgSender()].sub(amount,ERC20: transfer amount exceeds allowance)) (#578)
- _allowances[owner][spender] = amount (#662)
Apply the check-effects-interactions pattern.
Additional information: link
Reentrancy in SuperFloki.transferFrom(address,address,uint256) (#576-580):
External calls:
- _transfer(sender,recipient,amount) (#577)
- uniswapV2Router.swapExactETHForTokensSupportingFeeOnTransferTokens{value: amount}(0,path,deadAddress,block.timestamp.add(300)) (#830-835)
- uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenAmount,0,path,address(this),block.timestamp) (#812-818)
External calls sending eth:
- _transfer(sender,recipient,amount) (#577)
- recipient.transfer(amount) (#1136)
- uniswapV2Router.swapExactETHForTokensSupportingFeeOnTransferTokens{value: amount}(0,path,deadAddress,block.timestamp.add(300)) (#830-835)
Event emitted after the call(s):
- Approval(owner,spender,amount) (#663)
- _approve(sender,_msgSender(),_allowances[sender][_msgSender()].sub(amount,ERC20: transfer amount exceeds allowance)) (#578)
Apply the check-effects-interactions pattern.
Additional information: link
SuperFloki._removeOldSellHistories() (#1015-1037) uses timestamp for comparisons
Dangerous comparisons:
- _sellHistories[j].time >= maxStartTimeForHistories (#1021)
Avoid relying on block.timestamp.
Additional information: link
Address._functionCallWithValue(address,bytes,uint256,string) (#124-141) uses assembly
- INLINE ASM (#133-136)
Do not use evm assembly.
Additional information: link
SuperFloki.addLiquidity(uint256,uint256) (#840-853) is never used and should be removed
Remove unused functions.
Additional information: link
SuperFloki._previousLiquidityFee (#453) is set pre-construction with a non-constant function or state variable:
- _liquidityFee
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
solc-0.8.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 Address._functionCallWithValue(address,bytes,uint256,string) (#124-141):
- (success,returndata) = target.call{value: weiValue}(data) (#127)
Avoid low-level calls. Check the call success. If the call is meant for a contract, check for code existence
Additional information: link
Variable SuperFloki._isEnabledBuyBackAndBurn (#489) is not in mixedCase
Follow the Solidity naming convention.
Additional information: link
Redundant expression "this (#11)" inContext (#5-14)
Remove redundant statements if they congest code but offer no value.
Additional information: link
Reentrancy in SuperFloki.transferFrom(address,address,uint256) (#576-580):
External calls:
- _transfer(sender,recipient,amount) (#577)
- recipient.transfer(amount) (#1136)
External calls sending eth:
- _transfer(sender,recipient,amount) (#577)
- recipient.transfer(amount) (#1136)
- uniswapV2Router.swapExactETHForTokensSupportingFeeOnTransferTokens{value: amount}(0,path,deadAddress,block.timestamp.add(300)) (#830-835)
State variables written after the call(s):
- _approve(sender,_msgSender(),_allowances[sender][_msgSender()].sub(amount,ERC20: transfer amount exceeds allowance)) (#578)
- _allowances[owner][spender] = amount (#662)
Event emitted after the call(s):
- Approval(owner,spender,amount) (#663)
- _approve(sender,_msgSender(),_allowances[sender][_msgSender()].sub(amount,ERC20: transfer amount exceeds allowance)) (#578)
Apply the check-effects-interactions pattern.
Additional information: link
Variable SuperFloki._transferToExcluded(address,address,uint256).rTransferAmount (#883) is too similar to SuperFloki._transferStandard(address,address,uint256).tTransferAmount (#874)
Prevent variables from having similar names.
Additional information: link
SuperFloki.slitherConstructorVariables() (#410-1188) uses literals with too many digits:
- minimumTokensBeforeSwap = 40000000 * 10 ** 6 * 10 ** 9 (#472)
Use: Ether suffix, Time suffix, or The scientific notation
Additional information: link
SuperFloki.deadAddress (#415) should be constant
Add the constant attributes to state variables that never change.
Additional information: link
transferForeignToken(address,address) should be declared external:
- SuperFloki.transferForeignToken(address,address) (#1158-1162)
Use the external attribute for functions never called from the contract.
Additional information: link
Average 30d PancakeSwap volume is low.
Average PancakeSwap trading volume, liqudity, number of swaps are low. Token seems to be inactive.
Token is deployed only at one blockchain
Unable to find PancakeSwap trading pair to compute liquidity.
Unable to find PancakeSwap trading pair to compute number of swaps.
BscScan page for the token does not contain additional info: website, socials, description, etc.
Additional information: link
Young tokens have high risks of scam / price dump / death
Young tokens have high risks of scam / price dump / death
Token has a considerable age, but social accounts / website are missing or have few users
Young tokens have high risks of price dump / death
Token has relatively low CoinGecko rank
Token has relatively low CoinMarketCap rank
Twitter account link seems to be invalid
Unable to find Youtube account
Unable to find Discord account