RexbeatProtocol.addLiquidity(uint256,uint256) (#725-738) sends eth to arbitrary user
Dangerous calls:
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
Ensure that an arbitrary user cannot withdraw unauthorized funds.
Additional information: link
Reentrancy in RexbeatProtocol._transfer(address,address,uint256) (#637-677):
External calls:
- swapAndLiquify(contractTokenBalance) (#661)
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
- uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenAmount,0,path,address(this),block.timestamp) (#714-720)
External calls sending eth:
- swapAndLiquify(contractTokenBalance) (#661)
- recipient.transfer(amount) (#604)
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
State variables written after the call(s):
- _balances[sender] = _balances[sender].sub(amount,Insufficient Balance) (#664)
- _balances[recipient] = _balances[recipient].add(finalAmount) (#672)
- finalAmount = takeFee(sender,recipient,amount) (#666-667)
- _balances[address(this)] = _balances[address(this)].add(feeAmount) (#745)
Apply the check-effects-interactions pattern.
Additional information: link
Unable to find manual contract audit (e.g. Certik, PeckShield, Solidity...)
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.
Contract ownership is not renounced (belongs to a wallet)
RexbeatProtocol.swapAndLiquify(uint256) (#686-703) performs a multiplication on the result of a division:
-tokensForLP = tAmount.div(_totalTaxIfBuying).mul(_liquidityFee).div(2) (#688)
Consider ordering multiplication before division.
Additional information: link
RexbeatProtocol.addLiquidity(uint256,uint256) (#725-738) ignores return value by uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
Ensure that all the return values of the function calls are used.
Additional information: link
RexbeatProtocol.allowance(address,address).owner (#513) shadows:
- Ownable.owner() (#161-163) (function)
RexbeatProtocol._approve(address,address,uint256).owner (#536) shadows:
- Ownable.owner() (#161-163) (function)
Rename the local variables that shadow another component.
Additional information: link
RexbeatProtocol.setTaxes(uint256,uint256,uint256,uint256) (#552-560) should emit an event for:
- _liquidityFee = newLiquidityTax (#553)
- _buyBackFee = newBuyBackTax (#555)
- _totalTaxIfBuying = _liquidityFee.add(_marketingFee).add(_buyBackFee) (#558)
- _totalTaxIfSelling = _totalTaxIfBuying.add(_extraFeeOnSell) (#559)
RexbeatProtocol.setMaxTxAmount(uint256) (#562-564) should emit an event for:
- _maxTxAmount = maxTxAmount (#563)
RexbeatProtocol.setWalletLimit(uint256) (#574-576) should emit an event for:
- _walletMax = newLimit (#575)
RexbeatProtocol.setNumTokensBeforeSwap(uint256) (#578-580) should emit an event for:
- minimumTokensBeforeSwap = newLimit (#579)
Emit an event for critical parameter changes.
Additional information: link
RexbeatProtocol.setMarketingWalletAddress(address).newAddress (#582) lacks a zero-check on :
- marketingWalletAddress = address(newAddress) (#583)
RexbeatProtocol.setbuyBackWalletAddress(address).newAddress (#586) lacks a zero-check on :
- buyBackWalletAddress = address(newAddress) (#587)
Check that the address is not zero.
Additional information: link
Reentrancy in RexbeatProtocol.changeRouterVersion(address) (#607-621):
External calls:
- newPairAddress = IUniswapV2Factory(_uniswapV2Router.factory()).createPair(address(this),_uniswapV2Router.WETH()) (#615-616)
State variables written after the call(s):
- uniswapV2Pair = newPairAddress (#619)
- uniswapV2Router = _uniswapV2Router (#620)
Reentrancy in RexbeatProtocol.constructor() (#467-491):
External calls:
- uniswapV2Pair = IUniswapV2Factory(_uniswapV2Router.factory()).createPair(address(this),_uniswapV2Router.WETH()) (#471-472)
State variables written after the call(s):
- _allowances[address(this)][address(uniswapV2Router)] = _totalSupply (#475)
- _balances[_msgSender()] = _totalSupply (#489)
- _totalTaxIfBuying = _liquidityFee.add(_marketingFee).add(_buyBackFee) (#480)
- _totalTaxIfSelling = _totalTaxIfBuying.add(_extraFeeOnSell) (#481)
- isExcludedFromFee[owner()] = true (#477)
- isExcludedFromFee[address(this)] = true (#478)
- isWalletLimitExempt[owner()] = true (#483)
- isWalletLimitExempt[address(uniswapV2Pair)] = true (#484)
- isWalletLimitExempt[address(this)] = true (#486)
- isWalletLimitExempt[0x000000000000000000000000000000000000dEaD] = true (#487)
- uniswapV2Router = _uniswapV2Router (#474)
Reentrancy in RexbeatProtocol.swapAndLiquify(uint256) (#686-703):
External calls:
- swapTokensForEth(tokensForSwap) (#691)
- uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenAmount,0,path,address(this),block.timestamp) (#714-720)
- addLiquidity(tokensForLP,amountBNBLiquidity) (#702)
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
External calls sending eth:
- transferToAddressETH(marketingWalletAddress,amountBNBMarketing) (#700)
- recipient.transfer(amount) (#604)
- transferToAddressETH(buyBackWalletAddress,amountBNBBuyBack) (#701)
- recipient.transfer(amount) (#604)
- addLiquidity(tokensForLP,amountBNBLiquidity) (#702)
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
State variables written after the call(s):
- addLiquidity(tokensForLP,amountBNBLiquidity) (#702)
- _allowances[owner][spender] = amount (#540)
Reentrancy in RexbeatProtocol.transferFrom(address,address,uint256) (#631-635):
External calls:
- _transfer(sender,recipient,amount) (#632)
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
- uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenAmount,0,path,address(this),block.timestamp) (#714-720)
External calls sending eth:
- _transfer(sender,recipient,amount) (#632)
- recipient.transfer(amount) (#604)
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
State variables written after the call(s):
- _approve(sender,_msgSender(),_allowances[sender][_msgSender()].sub(amount,ERC20: transfer amount exceeds allowance)) (#633)
- _allowances[owner][spender] = amount (#540)
Apply the check-effects-interactions pattern.
Additional information: link
Reentrancy in RexbeatProtocol._transfer(address,address,uint256) (#637-677):
External calls:
- swapAndLiquify(contractTokenBalance) (#661)
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
- uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenAmount,0,path,address(this),block.timestamp) (#714-720)
External calls sending eth:
- swapAndLiquify(contractTokenBalance) (#661)
- recipient.transfer(amount) (#604)
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
Event emitted after the call(s):
- Transfer(sender,address(this),feeAmount) (#746)
- finalAmount = takeFee(sender,recipient,amount) (#666-667)
- Transfer(sender,recipient,finalAmount) (#674)
Reentrancy in RexbeatProtocol.constructor() (#467-491):
External calls:
- uniswapV2Pair = IUniswapV2Factory(_uniswapV2Router.factory()).createPair(address(this),_uniswapV2Router.WETH()) (#471-472)
Event emitted after the call(s):
- Transfer(address(0),_msgSender(),_totalSupply) (#490)
Reentrancy in RexbeatProtocol.swapAndLiquify(uint256) (#686-703):
External calls:
- swapTokensForEth(tokensForSwap) (#691)
- uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenAmount,0,path,address(this),block.timestamp) (#714-720)
- addLiquidity(tokensForLP,amountBNBLiquidity) (#702)
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
External calls sending eth:
- transferToAddressETH(marketingWalletAddress,amountBNBMarketing) (#700)
- recipient.transfer(amount) (#604)
- transferToAddressETH(buyBackWalletAddress,amountBNBBuyBack) (#701)
- recipient.transfer(amount) (#604)
- addLiquidity(tokensForLP,amountBNBLiquidity) (#702)
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
Event emitted after the call(s):
- Approval(owner,spender,amount) (#541)
- addLiquidity(tokensForLP,amountBNBLiquidity) (#702)
Reentrancy in RexbeatProtocol.swapTokensForEth(uint256) (#705-723):
External calls:
- uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenAmount,0,path,address(this),block.timestamp) (#714-720)
Event emitted after the call(s):
- SwapTokensForETH(tokenAmount,path) (#722)
Reentrancy in RexbeatProtocol.transferFrom(address,address,uint256) (#631-635):
External calls:
- _transfer(sender,recipient,amount) (#632)
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
- uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenAmount,0,path,address(this),block.timestamp) (#714-720)
External calls sending eth:
- _transfer(sender,recipient,amount) (#632)
- recipient.transfer(amount) (#604)
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
Event emitted after the call(s):
- Approval(owner,spender,amount) (#541)
- _approve(sender,_msgSender(),_allowances[sender][_msgSender()].sub(amount,ERC20: transfer amount exceeds allowance)) (#633)
Apply the check-effects-interactions pattern.
Additional information: link
Ownable.unlock() (#196-201) uses timestamp for comparisons
Dangerous comparisons:
- require(bool,string)(block.timestamp > _lockTime,Contract is locked until 6 Months) (#198)
Avoid relying on block.timestamp.
Additional information: link
Address.isContract(address) (#92-101) uses assembly
- INLINE ASM (#99)
Address._functionCallWithValue(address,bytes,uint256,string) (#128-145) uses assembly
- INLINE ASM (#137-140)
Do not use evm assembly.
Additional information: link
Address._functionCallWithValue(address,bytes,uint256,string) (#128-145) is never used and should be removed
Address.functionCall(address,bytes) (#111-113) is never used and should be removed
Address.functionCall(address,bytes,string) (#115-117) is never used and should be removed
Address.functionCallWithValue(address,bytes,uint256) (#119-121) is never used and should be removed
Address.functionCallWithValue(address,bytes,uint256,string) (#123-126) is never used and should be removed
Address.isContract(address) (#92-101) is never used and should be removed
Address.sendValue(address,uint256) (#103-109) is never used and should be removed
Context._msgData() (#19-22) is never used and should be removed
SafeMath.mod(uint256,uint256) (#80-82) is never used and should be removed
SafeMath.mod(uint256,uint256,string) (#84-87) is never used and should be removed
Remove unused functions.
Additional information: link
Pragma version^0.8.12 (#11) necessitates a version too recent to be trusted. Consider deploying with 0.6.12/0.7.6/0.8.7
solc-0.8.12 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.sendValue(address,uint256) (#103-109):
- (success) = recipient.call{value: amount}() (#107)
Low level call in Address._functionCallWithValue(address,bytes,uint256,string) (#128-145):
- (success,returndata) = target.call{value: weiValue}(data) (#131)
Avoid low-level calls. Check the call success. If the call is meant for a contract, check for code existence
Additional information: link
Function IUniswapV2Pair.DOMAIN_SEPARATOR() (#235) is not in mixedCase
Function IUniswapV2Pair.PERMIT_TYPEHASH() (#236) is not in mixedCase
Function IUniswapV2Pair.MINIMUM_LIQUIDITY() (#252) is not in mixedCase
Function IUniswapV2Router01.WETH() (#271) is not in mixedCase
Parameter RexbeatProtocol.setSwapAndLiquifyEnabled(bool)._enabled (#590) is not in mixedCase
Variable RexbeatProtocol._balances (#417) is not in mixedCase
Variable RexbeatProtocol._liquidityFee (#424) is not in mixedCase
Variable RexbeatProtocol._marketingFee (#425) is not in mixedCase
Variable RexbeatProtocol._buyBackFee (#426) is not in mixedCase
Variable RexbeatProtocol._extraFeeOnSell (#427) is not in mixedCase
Variable RexbeatProtocol._totalTaxIfBuying (#428) is not in mixedCase
Variable RexbeatProtocol._totalTaxIfSelling (#429) is not in mixedCase
Variable RexbeatProtocol._maxTxAmount (#432) is not in mixedCase
Variable RexbeatProtocol._walletMax (#433) is not in mixedCase
Follow the Solidity naming convention.
Additional information: link
Redundant expression "this (#20)" inContext (#13-23)
Remove redundant statements if they congest code but offer no value.
Additional information: link
Reentrancy in RexbeatProtocol._transfer(address,address,uint256) (#637-677):
External calls:
- swapAndLiquify(contractTokenBalance) (#661)
- recipient.transfer(amount) (#604)
External calls sending eth:
- swapAndLiquify(contractTokenBalance) (#661)
- recipient.transfer(amount) (#604)
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
State variables written after the call(s):
- _balances[sender] = _balances[sender].sub(amount,Insufficient Balance) (#664)
- _balances[recipient] = _balances[recipient].add(finalAmount) (#672)
- finalAmount = takeFee(sender,recipient,amount) (#666-667)
- _balances[address(this)] = _balances[address(this)].add(feeAmount) (#745)
Event emitted after the call(s):
- Transfer(sender,address(this),feeAmount) (#746)
- finalAmount = takeFee(sender,recipient,amount) (#666-667)
- Transfer(sender,recipient,finalAmount) (#674)
Reentrancy in RexbeatProtocol.swapAndLiquify(uint256) (#686-703):
External calls:
- transferToAddressETH(marketingWalletAddress,amountBNBMarketing) (#700)
- recipient.transfer(amount) (#604)
- transferToAddressETH(buyBackWalletAddress,amountBNBBuyBack) (#701)
- recipient.transfer(amount) (#604)
External calls sending eth:
- transferToAddressETH(marketingWalletAddress,amountBNBMarketing) (#700)
- recipient.transfer(amount) (#604)
- transferToAddressETH(buyBackWalletAddress,amountBNBBuyBack) (#701)
- recipient.transfer(amount) (#604)
- addLiquidity(tokensForLP,amountBNBLiquidity) (#702)
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
State variables written after the call(s):
- addLiquidity(tokensForLP,amountBNBLiquidity) (#702)
- _allowances[owner][spender] = amount (#540)
Event emitted after the call(s):
- Approval(owner,spender,amount) (#541)
- addLiquidity(tokensForLP,amountBNBLiquidity) (#702)
Reentrancy in RexbeatProtocol.transferFrom(address,address,uint256) (#631-635):
External calls:
- _transfer(sender,recipient,amount) (#632)
- recipient.transfer(amount) (#604)
External calls sending eth:
- _transfer(sender,recipient,amount) (#632)
- recipient.transfer(amount) (#604)
- uniswapV2Router.addLiquidityETH{value: ethAmount}(address(this),tokenAmount,0,0,owner(),block.timestamp) (#730-737)
State variables written after the call(s):
- _approve(sender,_msgSender(),_allowances[sender][_msgSender()].sub(amount,ERC20: transfer amount exceeds allowance)) (#633)
- _allowances[owner][spender] = amount (#540)
Event emitted after the call(s):
- Approval(owner,spender,amount) (#541)
- _approve(sender,_msgSender(),_allowances[sender][_msgSender()].sub(amount,ERC20: transfer amount exceeds allowance)) (#633)
Apply the check-effects-interactions pattern.
Additional information: link
Variable IUniswapV2Router01.addLiquidity(address,address,uint256,uint256,uint256,uint256,address,uint256).amountADesired (#276) is too similar to IUniswapV2Router01.addLiquidity(address,address,uint256,uint256,uint256,uint256,address,uint256).amountBDesired (#277)
Prevent variables from having similar names.
Additional information: link
RexbeatProtocol.constructor() (#467-491) uses literals with too many digits:
- isWalletLimitExempt[0x000000000000000000000000000000000000dEaD] = true (#487)
RexbeatProtocol.slitherConstructorVariables() (#404-752) uses literals with too many digits:
- deadAddress = 0x000000000000000000000000000000000000dEaD (#415)
RexbeatProtocol.slitherConstructorVariables() (#404-752) uses literals with too many digits:
- _totalSupply = 1000000000000000000000 (#431)
RexbeatProtocol.slitherConstructorVariables() (#404-752) uses literals with too many digits:
- _maxTxAmount = 1000000000000000000000 (#432)
RexbeatProtocol.slitherConstructorVariables() (#404-752) uses literals with too many digits:
- _walletMax = 1000000000000000000000 (#433)
RexbeatProtocol.slitherConstructorVariables() (#404-752) uses literals with too many digits:
- minimumTokensBeforeSwap = 1000000000 (#434)
Use: Ether suffix, Time suffix, or The scientific notation
Additional information: link
RexbeatProtocol._decimals (#411) should be constant
RexbeatProtocol._name (#409) should be constant
RexbeatProtocol._symbol (#410) should be constant
RexbeatProtocol._totalSupply (#431) should be constant
Add the constant attributes to state variables that never change.
Additional information: link
renounceOwnership() should be declared external:
- Ownable.renounceOwnership() (#170-173)
transferOwnership(address) should be declared external:
- Ownable.transferOwnership(address) (#175-179)
getUnlockTime() should be declared external:
- Ownable.getUnlockTime() (#181-183)
getTime() should be declared external:
- Ownable.getTime() (#185-187)
lock(uint256) should be declared external:
- Ownable.lock(uint256) (#189-194)
unlock() should be declared external:
- Ownable.unlock() (#196-201)
name() should be declared external:
- RexbeatProtocol.name() (#493-495)
symbol() should be declared external:
- RexbeatProtocol.symbol() (#497-499)
decimals() should be declared external:
- RexbeatProtocol.decimals() (#501-503)
totalSupply() should be declared external:
- RexbeatProtocol.totalSupply() (#505-507)
allowance(address,address) should be declared external:
- RexbeatProtocol.allowance(address,address) (#513-515)
increaseAllowance(address,uint256) should be declared external:
- RexbeatProtocol.increaseAllowance(address,uint256) (#517-520)
decreaseAllowance(address,uint256) should be declared external:
- RexbeatProtocol.decreaseAllowance(address,uint256) (#522-525)
minimumTokensBeforeSwapAmount() should be declared external:
- RexbeatProtocol.minimumTokensBeforeSwapAmount() (#527-529)
approve(address,uint256) should be declared external:
- RexbeatProtocol.approve(address,uint256) (#531-534)
blacklistAddress(address,bool) should be declared external:
- RexbeatProtocol.blacklistAddress(address,bool) (#544-546)
setIsExcludedFromFee(address,bool) should be declared external:
- RexbeatProtocol.setIsExcludedFromFee(address,bool) (#548-550)
setSwapAndLiquifyEnabled(bool) should be declared external:
- RexbeatProtocol.setSwapAndLiquifyEnabled(bool) (#590-593)
setSwapAndLiquifyByLimitOnly(bool) should be declared external:
- RexbeatProtocol.setSwapAndLiquifyByLimitOnly(bool) (#595-597)
getCirculatingSupply() should be declared external:
- RexbeatProtocol.getCirculatingSupply() (#599-601)
changeRouterVersion(address) should be declared external:
- RexbeatProtocol.changeRouterVersion(address) (#607-621)
transfer(address,uint256) should be declared external:
- RexbeatProtocol.transfer(address,uint256) (#626-629)
transferFrom(address,address,uint256) should be declared external:
- RexbeatProtocol.transferFrom(address,address,uint256) (#631-635)
Use the external attribute for functions never called from the contract.
Additional information: link
Contract ticker ($RXB) contains non-alphanumeric characters.
Not a direct threat, but may indicate unreliable intentions of developer. Non-alphanumeric chars (,.;!#*&") are extremely rare among low risk tokens.
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