Unable to find manual contract audit (e.g. Certik, PeckShield, Solidity...)
BabyPIGS.swapBack() (#593-637) sends eth to arbitrary user
Dangerous calls:
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#621)
Ensure that an arbitrary user cannot withdraw unauthorized funds.
Additional information: link
Reentrancy in BabyPIGS._transferFrom(address,address,uint256) (#493-541):
External calls:
- swapBack() (#520)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(amountToSwap,0,path,address(this),block.timestamp) (#604-610)
- distributor.deposit{value: amountBNBReflection}() (#620)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#621)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#627-634)
External calls sending eth:
- swapBack() (#520)
- distributor.deposit{value: amountBNBReflection}() (#620)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#621)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#627-634)
State variables written after the call(s):
- _balances[sender] = _balances[sender].sub(amount,Insufficient Balance) (#523)
- _balances[recipient] = _balances[recipient].add(amountReceived) (#526)
- amountReceived = takeFee(sender,amount) (#525)
- _balances[address(this)] = _balances[address(this)].add(feeAmount) (#561)
Apply the check-effects-interactions pattern.
Additional information: link
DividendDistributor.distributeDividend(address) (#322-333) ignores return value by ADA.transfer(shareholder,amount) (#328)
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.
BabyPIGS.swapBack().tmpSuccess (#621) is written in both
(tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#621)
tmpSuccess = false (#624)
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) (#322-333):
External calls:
- ADA.transfer(shareholder,amount) (#328)
State variables written after the call(s):
- shares[shareholder].totalRealised = shares[shareholder].totalRealised.add(amount) (#330)
- shares[shareholder].totalExcluded = getCumulativeDividends(shares[shareholder].amount) (#331)
Reentrancy in DividendDistributor.process(uint256) (#291-315):
External calls:
- distributeDividend(shareholders[currentIndex]) (#307)
- ADA.transfer(shareholder,amount) (#328)
State variables written after the call(s):
- currentIndex ++ (#312)
Reentrancy in DividendDistributor.setShare(address,uint256) (#255-269):
External calls:
- distributeDividend(shareholder) (#257)
- ADA.transfer(shareholder,amount) (#328)
State variables written after the call(s):
- shares[shareholder].amount = amount (#267)
- shares[shareholder].totalExcluded = getCumulativeDividends(shares[shareholder].amount) (#268)
Apply the check-effects-interactions pattern.
Additional information: link
BabyPIGS.swapBack() (#593-637) ignores return value by router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#627-634)
Ensure that all the return values of the function calls are used.
Additional information: link
DividendDistributor.setDistributionCriteria(uint256,uint256) (#250-253) should emit an event for:
- minPeriod = _minPeriod (#251)
- minDistribution = _minDistribution (#252)
BabyPIGS.setTxLimit(uint256) (#640-642) should emit an event for:
- _maxTxAmount = amount (#641)
BabyPIGS.setFees(uint256,uint256,uint256,uint256) (#666-673) should emit an event for:
- liquidityFee = _liquidityFee (#667)
- reflectionFee = _reflectionFee (#668)
- marketingFee = _marketingFee (#669)
- totalFee = _liquidityFee.add(_reflectionFee).add(_marketingFee) (#670)
- feeDenominator = _feeDenominator (#671)
BabyPIGS.setTargetLiquidity(uint256,uint256) (#685-688) should emit an event for:
- targetLiquidity = _target (#686)
- targetLiquidityDenominator = _denominator (#687)
Emit an event for critical parameter changes.
Additional information: link
Auth.transferOwnership(address).adr (#131) lacks a zero-check on :
- owner = adr (#132)
BabyPIGS.setFeeReceivers(address,address)._autoLiquidityReceiver (#675) lacks a zero-check on :
- autoLiquidityReceiver = _autoLiquidityReceiver (#676)
BabyPIGS.setFeeReceivers(address,address)._marketingFeeReceiver (#675) lacks a zero-check on :
- marketingFeeReceiver = _marketingFeeReceiver (#677)
Check that the address is not zero.
Additional information: link
DividendDistributor.distributeDividend(address) (#322-333) has external calls inside a loop: ADA.transfer(shareholder,amount) (#328)
BabyPIGS.airdrop(address,address[],uint256[]) (#716-739) has external calls inside a loop: distributor.setShare(addresses[i_scope_0],_balances[addresses[i_scope_0]]) (#731)
Favor pull over push strategy for external calls.
Additional information: link
Reentrancy in BabyPIGS.constructor() (#423-454):
External calls:
- pair = IDEXFactory(router.factory()).createPair(WBNB,address(this)) (#425)
State variables written after the call(s):
- _allowances[address(this)][address(router)] = uint256(- 1) (#426)
- _balances[msg.sender] = _totalSupply (#452)
- autoLiquidityReceiver = DEAD (#449)
- distributor = new DividendDistributor(address(router)) (#428)
- isDividendExempt[pair] = true (#444)
- isDividendExempt[address(this)] = true (#445)
- isDividendExempt[DEAD] = true (#446)
- isFeeExempt[msg.sender] = true (#430)
- isTimelockExempt[msg.sender] = true (#435)
- isTimelockExempt[DEAD] = true (#436)
- isTimelockExempt[address(this)] = true (#437)
- isTxLimitExempt[msg.sender] = true (#431)
- isTxLimitExempt[DEAD] = true (#432)
- marketingFeeReceiver = msg.sender (#450)
Reentrancy in DividendDistributor.deposit() (#271-289):
External calls:
- router.swapExactETHForTokensSupportingFeeOnTransferTokens{value: msg.value}(0,path,address(this),block.timestamp) (#278-283)
State variables written after the call(s):
- dividendsPerShare = dividendsPerShare.add(dividendsPerShareAccuracyFactor.mul(amount).div(totalShares)) (#288)
- totalDividends = totalDividends.add(amount) (#287)
Reentrancy in DividendDistributor.distributeDividend(address) (#322-333):
External calls:
- ADA.transfer(shareholder,amount) (#328)
State variables written after the call(s):
- shareholderClaims[shareholder] = block.timestamp (#329)
Reentrancy in DividendDistributor.setShare(address,uint256) (#255-269):
External calls:
- distributeDividend(shareholder) (#257)
- ADA.transfer(shareholder,amount) (#328)
State variables written after the call(s):
- addShareholder(shareholder) (#261)
- shareholderIndexes[shareholder] = shareholders.length (#355)
- removeShareholder(shareholder) (#263)
- shareholderIndexes[shareholders[shareholders.length - 1]] = shareholderIndexes[shareholder] (#361)
- addShareholder(shareholder) (#261)
- shareholders.push(shareholder) (#356)
- removeShareholder(shareholder) (#263)
- shareholders[shareholderIndexes[shareholder]] = shareholders[shareholders.length - 1] (#360)
- shareholders.pop() (#362)
- totalShares = totalShares.sub(shares[shareholder].amount).add(amount) (#266)
Apply the check-effects-interactions pattern.
Additional information: link
Reentrancy in BabyPIGS._transferFrom(address,address,uint256) (#493-541):
External calls:
- swapBack() (#520)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(amountToSwap,0,path,address(this),block.timestamp) (#604-610)
- distributor.deposit{value: amountBNBReflection}() (#620)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#621)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#627-634)
- distributor.setShare(sender,_balances[sender]) (#530)
- distributor.setShare(recipient,_balances[recipient]) (#534)
- distributor.process(distributorGas) (#537)
External calls sending eth:
- swapBack() (#520)
- distributor.deposit{value: amountBNBReflection}() (#620)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#621)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#627-634)
Event emitted after the call(s):
- Transfer(sender,recipient,amountReceived) (#539)
Reentrancy in BabyPIGS._transferFrom(address,address,uint256) (#493-541):
External calls:
- swapBack() (#520)
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(amountToSwap,0,path,address(this),block.timestamp) (#604-610)
- distributor.deposit{value: amountBNBReflection}() (#620)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#621)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#627-634)
External calls sending eth:
- swapBack() (#520)
- distributor.deposit{value: amountBNBReflection}() (#620)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#621)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#627-634)
Event emitted after the call(s):
- Transfer(sender,address(this),feeAmount) (#562)
- amountReceived = takeFee(sender,amount) (#525)
Reentrancy in BabyPIGS.constructor() (#423-454):
External calls:
- pair = IDEXFactory(router.factory()).createPair(WBNB,address(this)) (#425)
Event emitted after the call(s):
- Transfer(address(0),msg.sender,_totalSupply) (#453)
Reentrancy in BabyPIGS.swapBack() (#593-637):
External calls:
- router.swapExactTokensForETHSupportingFeeOnTransferTokens(amountToSwap,0,path,address(this),block.timestamp) (#604-610)
- distributor.deposit{value: amountBNBReflection}() (#620)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#621)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#627-634)
External calls sending eth:
- distributor.deposit{value: amountBNBReflection}() (#620)
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#621)
- router.addLiquidityETH{value: amountBNBLiquidity}(address(this),amountToLiquify,0,0,autoLiquidityReceiver,block.timestamp) (#627-634)
Event emitted after the call(s):
- AutoLiquify(amountBNBLiquidity,amountToLiquify) (#635)
Apply the check-effects-interactions pattern.
Additional information: link
DividendDistributor.shouldDistribute(address) (#317-320) uses timestamp for comparisons
Dangerous comparisons:
- shareholderClaims[shareholder] + minPeriod < block.timestamp && getUnpaidEarnings(shareholder) > minDistribution (#318-319)
BabyPIGS._transferFrom(address,address,uint256) (#493-541) uses timestamp for comparisons
Dangerous comparisons:
- require(bool,string)(cooldownTimer[recipient] < block.timestamp,Please wait for cooldown between buys) (#511)
Avoid relying on block.timestamp.
Additional information: link
DividendDistributor.process(uint256) (#291-315) has costly operations inside a loop:
- currentIndex = 0 (#303)
DividendDistributor.distributeDividend(address) (#322-333) has costly operations inside a loop:
- totalDistributed = totalDistributed.add(amount) (#327)
DividendDistributor.process(uint256) (#291-315) has costly operations inside a loop:
- currentIndex ++ (#312)
Use a local variable to hold the loop computation result.
Additional information: link
BabyPIGS._maxTxAmount (#379) is set pre-construction with a non-constant function or state variable:
- (_totalSupply * 2) / 100
BabyPIGS._maxWalletToken (#382) is set pre-construction with a non-constant function or state variable:
- (_totalSupply * 4) / 100
BabyPIGS.swapThreshold (#419) 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 (#14) 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 BabyPIGS.swapBack() (#593-637):
- (tmpSuccess) = address(marketingFeeReceiver).call{gas: 30000,value: amountBNBMarketing}() (#621)
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() (#146) is not in mixedCase
Parameter DividendDistributor.setDistributionCriteria(uint256,uint256)._minPeriod (#250) is not in mixedCase
Parameter DividendDistributor.setDistributionCriteria(uint256,uint256)._minDistribution (#250) is not in mixedCase
Variable DividendDistributor._token (#202) is not in mixedCase
Variable DividendDistributor.ADA (#210) is not in mixedCase
Variable DividendDistributor.WBNB (#211) is not in mixedCase
Parameter BabyPIGS.tradingStatus(bool)._status (#581) is not in mixedCase
Parameter BabyPIGS.cooldownEnabled(bool,uint8)._status (#586) is not in mixedCase
Parameter BabyPIGS.cooldownEnabled(bool,uint8)._interval (#586) is not in mixedCase
Parameter BabyPIGS.setFees(uint256,uint256,uint256,uint256)._liquidityFee (#666) is not in mixedCase
Parameter BabyPIGS.setFees(uint256,uint256,uint256,uint256)._reflectionFee (#666) is not in mixedCase
Parameter BabyPIGS.setFees(uint256,uint256,uint256,uint256)._marketingFee (#666) is not in mixedCase
Parameter BabyPIGS.setFees(uint256,uint256,uint256,uint256)._feeDenominator (#666) is not in mixedCase
Parameter BabyPIGS.setFeeReceivers(address,address)._autoLiquidityReceiver (#675) is not in mixedCase
Parameter BabyPIGS.setFeeReceivers(address,address)._marketingFeeReceiver (#675) is not in mixedCase
Parameter BabyPIGS.setSwapBackSettings(bool,uint256)._enabled (#680) is not in mixedCase
Parameter BabyPIGS.setSwapBackSettings(bool,uint256)._amount (#680) is not in mixedCase
Parameter BabyPIGS.setTargetLiquidity(uint256,uint256)._target (#685) is not in mixedCase
Parameter BabyPIGS.setTargetLiquidity(uint256,uint256)._denominator (#685) is not in mixedCase
Parameter BabyPIGS.setDistributionCriteria(uint256,uint256)._minPeriod (#690) is not in mixedCase
Parameter BabyPIGS.setDistributionCriteria(uint256,uint256)._minDistribution (#690) is not in mixedCase
Variable BabyPIGS.ADA (#369) is not in mixedCase
Variable BabyPIGS.WBNB (#370) is not in mixedCase
Variable BabyPIGS.DEAD (#371) is not in mixedCase
Variable BabyPIGS.ZERO (#372) is not in mixedCase
Constant BabyPIGS._name (#374) is not in UPPER_CASE_WITH_UNDERSCORES
Constant BabyPIGS._symbol (#375) is not in UPPER_CASE_WITH_UNDERSCORES
Constant BabyPIGS._decimals (#376) is not in UPPER_CASE_WITH_UNDERSCORES
Variable BabyPIGS._totalSupply (#378) is not in mixedCase
Variable BabyPIGS._maxTxAmount (#379) is not in mixedCase
Variable BabyPIGS._maxWalletToken (#382) is not in mixedCase
Variable BabyPIGS._balances (#384) is not in mixedCase
Variable BabyPIGS._allowances (#385) is not in mixedCase
Follow the Solidity naming convention.
Additional information: link
Variable IDEXRouter.addLiquidity(address,address,uint256,uint256,uint256,uint256,address,uint256).amountADesired (#151) is too similar to IDEXRouter.addLiquidity(address,address,uint256,uint256,uint256,uint256,address,uint256).amountBDesired (#152)
Prevent variables from having similar names.
Additional information: link
BabyPIGS.slitherConstructorVariables() (#366-744) uses literals with too many digits:
- DEAD = 0x000000000000000000000000000000000000dEaD (#371)
BabyPIGS.slitherConstructorVariables() (#366-744) uses literals with too many digits:
- ZERO = 0x0000000000000000000000000000000000000000 (#372)
BabyPIGS.slitherConstructorVariables() (#366-744) uses literals with too many digits:
- distributorGas = 500000 (#411)
Use: Ether suffix, Time suffix, or The scientific notation
Additional information: link
BabyPIGS.ADA (#369) is never used in BabyPIGS (#366-744)
Remove unused state variables.
Additional information: link
BabyPIGS.ADA (#369) should be constant
BabyPIGS.DEAD (#371) should be constant
BabyPIGS.WBNB (#370) should be constant
BabyPIGS.ZERO (#372) should be constant
BabyPIGS._totalSupply (#378) should be constant
BabyPIGS.launchedAt (#407) should be constant
DividendDistributor.WBNB (#211) should be constant
DividendDistributor.dividendsPerShareAccuracyFactor (#224) 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) (#103-105)
unauthorize(address) should be declared external:
- Auth.unauthorize(address) (#110-112)
transferOwnership(address) should be declared external:
- Auth.transferOwnership(address) (#131-135)
tradingStatus(bool) should be declared external:
- BabyPIGS.tradingStatus(bool) (#581-583)
cooldownEnabled(bool,uint8) should be declared external:
- BabyPIGS.cooldownEnabled(bool,uint8) (#586-589)
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