Unable to find manual contract audit (e.g. Certik, PeckShield, Solidity...)
BitLibra.swapBack() (#609-653) sends eth to arbitrary user
Dangerous calls:
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#637)
Ensure that an arbitrary user cannot withdraw unauthorized funds.
Additional information: link
Reentrancy in BitLibra._transferFrom(address,address,uint256) (#485-556):
External calls:
- swapBack() (#512)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(amountToSwap,0,path,address(this),block.timestamp) (#620-626)
- distributor.deposit{value: amountBNBReflection}() (#636)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#637)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#643-650)
External calls sending eth:
- swapBack() (#512)
- distributor.deposit{value: amountBNBReflection}() (#636)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#637)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#643-650)
State variables written after the call(s):
- _balances[sender] = _balances[sender].sub(amount,Insufficient Balance) (#515)
- _balances[recipient] = _balances[recipient].add(amountReceived) (#526)
- _balances[marketingFeeReceiver] = _balances[marketingFeeReceiver].add(taxn) (#534)
- _balances[recipient] = _balances[recipient].add(amountReceived) (#539)
- amountReceived = takeFee(sender,amount) (#521)
- _balances[address(this)] = _balances[address(this)].add(feeAmount) (#577)
Apply the check-effects-interactions pattern.
Additional information: link
DividendDistributor.distributeDividend(address) (#311-322) ignores return value by CAKE.transfer(shareholder,amount) (#317)
BitLibra.safeOtherTokens(address,address,uint256) (#704-706) ignores return value by IBEP20(token).transfer(receiv,amount) (#705)
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.
BitLibra.swapBack().tmpSuccess (#637) is written in both
(tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#637)
tmpSuccess = false (#640)
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) (#311-322):
External calls:
- CAKE.transfer(shareholder,amount) (#317)
State variables written after the call(s):
- shares[shareholder].totalRealised = shares[shareholder].totalRealised.add(amount) (#319)
- shares[shareholder].totalExcluded = getCumulativeDividends(shares[shareholder].amount) (#320)
Reentrancy in DividendDistributor.process(uint256) (#280-304):
External calls:
- distributeDividend(shareholders[currentIndex]) (#296)
- CAKE.transfer(shareholder,amount) (#317)
State variables written after the call(s):
- currentIndex ++ (#301)
Reentrancy in DividendDistributor.setShare(address,uint256) (#244-258):
External calls:
- distributeDividend(shareholder) (#246)
- CAKE.transfer(shareholder,amount) (#317)
State variables written after the call(s):
- shares[shareholder].amount = amount (#256)
- shares[shareholder].totalExcluded = getCumulativeDividends(shares[shareholder].amount) (#257)
Apply the check-effects-interactions pattern.
Additional information: link
BitLibra.swapBack() (#609-653) ignores return value by router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#643-650)
Ensure that all the return values of the function calls are used.
Additional information: link
DividendDistributor.setDistributionCriteria(uint256,uint256) (#239-242) should emit an event for:
- minPeriod = _minPeriod (#240)
- minDistribution = _minDistribution (#241)
BitLibra.setTxLimit(uint256) (#656-658) should emit an event for:
- _maxTxAmount = amount (#657)
BitLibra.setFees(uint256,uint256,uint256,uint256,uint256,bool) (#682-693) should emit an event for:
- liquidityFee = _liquidityFee (#683)
- reflectionFee = _reflectionFee (#684)
- marketingFee = _marketingFee (#685)
- totalFee = _liquidityFee.add(_reflectionFee).add(_marketingFee) (#686)
- feeDenominator = _feeDenominator (#687)
BitLibra.setTargetLiquidity(uint256,uint256) (#713-716) should emit an event for:
- targetLiquidity = _target (#714)
- targetLiquidityDenominator = _denominator (#715)
Emit an event for critical parameter changes.
Additional information: link
Auth.transferOwnership(address).adr (#120) lacks a zero-check on :
- owner = adr (#121)
BitLibra.setFeeReceivers(address,address)._autoLiquidityReceiver (#695) lacks a zero-check on :
- autoLiquidityReceiver = _autoLiquidityReceiver (#696)
BitLibra.setFeeReceivers(address,address)._marketingFeeReceiver (#695) lacks a zero-check on :
- marketingFeeReceiver = _marketingFeeReceiver (#697)
BitLibra.setNewPairLiquidityPool(address)._newPair (#700) lacks a zero-check on :
- pair = _newPair (#701)
BitLibra.safeOtherTokens(address,address,uint256).receiv (#704) lacks a zero-check on :
- receiv.transfer(amount) (#705)
Check that the address is not zero.
Additional information: link
DividendDistributor.distributeDividend(address) (#311-322) has external calls inside a loop: CAKE.transfer(shareholder,amount) (#317)
BitLibra.airdrop(address,address[],uint256[]) (#744-767) has external calls inside a loop: distributor.setShare(addresses[i_scope_0],_balances[addresses[i_scope_0]]) (#759)
Favor pull over push strategy for external calls.
Additional information: link
Reentrancy in BitLibra.constructor() (#415-446):
External calls:
- pair = IDEXFactory(router.factory()).createPair(WBNB,address(this)) (#417)
State variables written after the call(s):
- _allowances[address(this)][address(router)] = uint256(- 1) (#418)
- _balances[msg.sender] = _totalSupply (#444)
- autoLiquidityReceiver = DEAD (#441)
- distributor = new DividendDistributor(address(router)) (#420)
- isDividendExempt[pair] = true (#436)
- isDividendExempt[address(this)] = true (#437)
- isDividendExempt[DEAD] = true (#438)
- isFeeExempt[msg.sender] = true (#422)
- isTimelockExempt[msg.sender] = true (#427)
- isTimelockExempt[DEAD] = true (#428)
- isTimelockExempt[address(this)] = true (#429)
- isTxLimitExempt[msg.sender] = true (#423)
- isTxLimitExempt[DEAD] = true (#424)
- marketingFeeReceiver = 0xaB6604023b2E3a3F1DaFb335fC1b2F0D2Ee53411 (#442)
Reentrancy in DividendDistributor.deposit() (#260-278):
External calls:
- router.swapExactETHForTokensSupportingFeeOnTransferTokens{value: msg.value}(0,path,address(this),block.timestamp) (#267-272)
State variables written after the call(s):
- dividendsPerShare = dividendsPerShare.add(dividendsPerShareAccuracyFactor.mul(amount).div(totalShares)) (#277)
- totalDividends = totalDividends.add(amount) (#276)
Reentrancy in DividendDistributor.distributeDividend(address) (#311-322):
External calls:
- CAKE.transfer(shareholder,amount) (#317)
State variables written after the call(s):
- shareholderClaims[shareholder] = block.timestamp (#318)
Reentrancy in DividendDistributor.setShare(address,uint256) (#244-258):
External calls:
- distributeDividend(shareholder) (#246)
- CAKE.transfer(shareholder,amount) (#317)
State variables written after the call(s):
- addShareholder(shareholder) (#250)
- shareholderIndexes[shareholder] = shareholders.length (#344)
- removeShareholder(shareholder) (#252)
- shareholderIndexes[shareholders[shareholders.length - 1]] = shareholderIndexes[shareholder] (#350)
- addShareholder(shareholder) (#250)
- shareholders.push(shareholder) (#345)
- removeShareholder(shareholder) (#252)
- shareholders[shareholderIndexes[shareholder]] = shareholders[shareholders.length - 1] (#349)
- shareholders.pop() (#351)
- totalShares = totalShares.sub(shares[shareholder].amount).add(amount) (#255)
Apply the check-effects-interactions pattern.
Additional information: link
Reentrancy in BitLibra._transferFrom(address,address,uint256) (#485-556):
External calls:
- swapBack() (#512)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(amountToSwap,0,path,address(this),block.timestamp) (#620-626)
- distributor.deposit{value: amountBNBReflection}() (#636)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#637)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#643-650)
External calls sending eth:
- swapBack() (#512)
- distributor.deposit{value: amountBNBReflection}() (#636)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#637)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#643-650)
Event emitted after the call(s):
- Transfer(sender,address(this),feeAmount) (#578)
- amountReceived = takeFee(sender,amount) (#521)
- Transfer(sender,marketingFeeReceiver,taxn) (#535)
Reentrancy in BitLibra._transferFrom(address,address,uint256) (#485-556):
External calls:
- swapBack() (#512)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(amountToSwap,0,path,address(this),block.timestamp) (#620-626)
- distributor.deposit{value: amountBNBReflection}() (#636)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#637)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#643-650)
- distributor.setShare(sender,_balances[sender]) (#545)
- distributor.setShare(recipient,_balances[recipient]) (#549)
- distributor.process(distributorGas) (#552)
External calls sending eth:
- swapBack() (#512)
- distributor.deposit{value: amountBNBReflection}() (#636)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#637)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#643-650)
Event emitted after the call(s):
- Transfer(sender,recipient,amountReceived) (#554)
Reentrancy in BitLibra.constructor() (#415-446):
External calls:
- pair = IDEXFactory(router.factory()).createPair(WBNB,address(this)) (#417)
Event emitted after the call(s):
- Transfer(address(0),msg.sender,_totalSupply) (#445)
Reentrancy in BitLibra.swapBack() (#609-653):
External calls:
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(amountToSwap,0,path,address(this),block.timestamp) (#620-626)
- distributor.deposit{value: amountBNBReflection}() (#636)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#637)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#643-650)
External calls sending eth:
- distributor.deposit{value: amountBNBReflection}() (#636)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#637)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#643-650)
Event emitted after the call(s):
- AutoLiquify(amountBNBLiquidity,amountToLiquify) (#651)
Apply the check-effects-interactions pattern.
Additional information: link
DividendDistributor.shouldDistribute(address) (#306-309) uses timestamp for comparisons
Dangerous comparisons:
- shareholderClaims[shareholder] + minPeriod < block.timestamp && getUnpaidEarnings(shareholder) > minDistribution (#307-308)
BitLibra._transferFrom(address,address,uint256) (#485-556) uses timestamp for comparisons
Dangerous comparisons:
- require(bool,string)(cooldownTimer[recipient] < block.timestamp,Please wait for cooldown between buys) (#503)
Avoid relying on block.timestamp.
Additional information: link
DividendDistributor.process(uint256) (#280-304) has costly operations inside a loop:
- currentIndex = 0 (#292)
DividendDistributor.distributeDividend(address) (#311-322) has costly operations inside a loop:
- totalDistributed = totalDistributed.add(amount) (#316)
DividendDistributor.process(uint256) (#280-304) has costly operations inside a loop:
- currentIndex ++ (#301)
Use a local variable to hold the loop computation result.
Additional information: link
BitLibra._maxTxAmount (#368) is set pre-construction with a non-constant function or state variable:
- (_totalSupply * 2) / 100
BitLibra._maxWalletToken (#371) is set pre-construction with a non-constant function or state variable:
- (_totalSupply * 4) / 100
BitLibra.swapThreshold (#411) 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 (#3) 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 BitLibra.swapBack() (#609-653):
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#637)
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() (#135) is not in mixedCase
Parameter DividendDistributor.setDistributionCriteria(uint256,uint256)._minPeriod (#239) is not in mixedCase
Parameter DividendDistributor.setDistributionCriteria(uint256,uint256)._minDistribution (#239) is not in mixedCase
Variable DividendDistributor._token (#191) is not in mixedCase
Variable DividendDistributor.CAKE (#199) is not in mixedCase
Variable DividendDistributor.WBNB (#200) is not in mixedCase
Parameter BitLibra.tradingStatus(bool)._status (#596) is not in mixedCase
Parameter BitLibra.cooldownEnabled(bool,uint8)._status (#601) is not in mixedCase
Parameter BitLibra.cooldownEnabled(bool,uint8)._interval (#601) is not in mixedCase
Parameter BitLibra.setFees(uint256,uint256,uint256,uint256,uint256,bool)._liquidityFee (#682) is not in mixedCase
Parameter BitLibra.setFees(uint256,uint256,uint256,uint256,uint256,bool)._reflectionFee (#682) is not in mixedCase
Parameter BitLibra.setFees(uint256,uint256,uint256,uint256,uint256,bool)._marketingFee (#682) is not in mixedCase
Parameter BitLibra.setFees(uint256,uint256,uint256,uint256,uint256,bool)._feeDenominator (#682) is not in mixedCase
Parameter BitLibra.setFees(uint256,uint256,uint256,uint256,uint256,bool)._marketingNative (#682) is not in mixedCase
Parameter BitLibra.setFees(uint256,uint256,uint256,uint256,uint256,bool)._nativeMarketing (#682) is not in mixedCase
Parameter BitLibra.setFeeReceivers(address,address)._autoLiquidityReceiver (#695) is not in mixedCase
Parameter BitLibra.setFeeReceivers(address,address)._marketingFeeReceiver (#695) is not in mixedCase
Parameter BitLibra.setNewPairLiquidityPool(address)._newPair (#700) is not in mixedCase
Parameter BitLibra.setSwapBackSettings(bool,uint256)._enabled (#708) is not in mixedCase
Parameter BitLibra.setSwapBackSettings(bool,uint256)._amount (#708) is not in mixedCase
Parameter BitLibra.setTargetLiquidity(uint256,uint256)._target (#713) is not in mixedCase
Parameter BitLibra.setTargetLiquidity(uint256,uint256)._denominator (#713) is not in mixedCase
Parameter BitLibra.setDistributionCriteria(uint256,uint256)._minPeriod (#718) is not in mixedCase
Parameter BitLibra.setDistributionCriteria(uint256,uint256)._minDistribution (#718) is not in mixedCase
Variable BitLibra.CAKE (#358) is not in mixedCase
Variable BitLibra.WBNB (#359) is not in mixedCase
Variable BitLibra.DEAD (#360) is not in mixedCase
Variable BitLibra.ZERO (#361) is not in mixedCase
Constant BitLibra._name (#363) is not in UPPER_CASE_WITH_UNDERSCORES
Constant BitLibra._symbol (#364) is not in UPPER_CASE_WITH_UNDERSCORES
Constant BitLibra._decimals (#365) is not in UPPER_CASE_WITH_UNDERSCORES
Variable BitLibra._totalSupply (#367) is not in mixedCase
Variable BitLibra._maxTxAmount (#368) is not in mixedCase
Variable BitLibra._maxWalletToken (#371) is not in mixedCase
Variable BitLibra._balances (#373) is not in mixedCase
Variable BitLibra._allowances (#374) is not in mixedCase
Follow the Solidity naming convention.
Additional information: link
Variable IDEXRouter.addLiquidity(address,address,uint256,uint256,uint256,uint256,address,uint256).amountADesired (#140) is too similar to IDEXRouter.addLiquidity(address,address,uint256,uint256,uint256,uint256,address,uint256).amountBDesired (#141)
Prevent variables from having similar names.
Additional information: link
BitLibra.slitherConstructorVariables() (#355-772) uses literals with too many digits:
- DEAD = 0x000000000000000000000000000000000000dEaD (#360)
BitLibra.slitherConstructorVariables() (#355-772) uses literals with too many digits:
- ZERO = 0x0000000000000000000000000000000000000000 (#361)
BitLibra.slitherConstructorVariables() (#355-772) uses literals with too many digits:
- distributorGas = 500000 (#403)
Use: Ether suffix, Time suffix, or The scientific notation
Additional information: link
BitLibra.CAKE (#358) is never used in BitLibra (#355-772)
Remove unused state variables.
Additional information: link
BitLibra.CAKE (#358) should be constant
BitLibra.DEAD (#360) should be constant
BitLibra.WBNB (#359) should be constant
BitLibra.ZERO (#361) should be constant
BitLibra._totalSupply (#367) should be constant
BitLibra.launchedAt (#399) should be constant
DividendDistributor.WBNB (#200) should be constant
DividendDistributor.dividendsPerShareAccuracyFactor (#213) 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) (#92-94)
unauthorize(address) should be declared external:
- Auth.unauthorize(address) (#99-101)
transferOwnership(address) should be declared external:
- Auth.transferOwnership(address) (#120-124)
tradingStatus(bool) should be declared external:
- BitLibra.tradingStatus(bool) (#596-598)
cooldownEnabled(bool,uint8) should be declared external:
- BitLibra.cooldownEnabled(bool,uint8) (#601-604)
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