Intergalactic Coin - Smart Contract Audit Report

Audit Summary

Intergalactic Coin Audit Report Intergalactic Coin ($IGC) is a new ERC-20 token on Polygon that is an automatic liquidity providing protocol that pays out static rewards to holders.

We reviewed the IntergalacticCoin contract at 0x272B270e358d2b426A2082bFFc371e42E9a873b9 on the Polygon mainnet.

Audit Findings

Please ensure trust in the team prior to investing as they have substantial control in the ecosystem.
Date: February 20th, 2022.
Updated: March 1st, 2022 to reflect the contract's newly deployed mainnet address.

Finding #1 - IntergalacticCoin - Low

Description: The owner can use the lock() function to temporarily set ownership to address(0). Ownership is restored after the duration of time determined by the owner has passed and they use the unlock() function.
Risk/Impact: The unlock function has the potential to be used after ownership has been set to address(0), which will restore ownership to the original owner that initially created the ownership lock. This can be used in a nefarious way by the project team to restore ownership and change fee structures.
Recommendation: We recommend that the unlock function be modified to set the previous owner variable equal to address(0) at the end of the unlock function to prevent it from being used more than once per lock.

Finding #2 - IntergalacticCoin - Informational (Resolved)

Description: Several functions are declared public, but are never called internally.
			
name, symbol, decimals, totalSupply, transfer, allowance, approve, transferFrom, increaseAllowance, decreaseAllowance, isExcludedFromReward, totalFees, deliver, reflectionFromToken, isExcludedFromFee, excludeFromFee, includeInFee, setRouterAddress, setSwapAndLiquifyEnabled
Recommendation: We recommend declaring these functions external for additional gas savings on each call.
Resolution: The team has declared the above functions external.

Finding #3 - IntergalacticCoin - Informational (Partially Resolved)

Description: Several state variables can never be modified, but are not declared constant.
			
_decimals, _name, _symbol, _tTotal
Recommendation: These state variables can be declared constant for additional gas savings on each reference and to reduce deployment costs.
Resolution: The team has declared the first three state variables constant.

Finding #4 - IntergalacticCoin - Informational (Resolved)

Description: Although the SafeMath library is utilized, the contract is deployed with Solidity v0.8.5 which has built-in overflow checks.
Recommendation: SafeMath could be safely removed to reduce contract size and deployment costs.
Resolution: The team has removed the SafeMath library.

Contract Overview

  • The total supply of the token is set to 100 million $IGC [100,000,000].
  • No mint or burn functions exist, though the circulating supply can be decreased by sending tokens to the 0x..dead address.
  • At the time of writing this report, 100% of the total supply belongs to the owner.

  • There is a Tax fee, Liquidity fee, Marketing fee, and Prize fee on all transfers where neither the sender nor the recipient is excluded from fees. A separate fee structure can be set by the team to apply different fee percentages depending on whether the user is buying or selling during the transfer.
  • The tokens collected through the Tax fee are removed from the circulating supply; This serves as a frictionless fee redistribution which automatically benefits all token holders at the time of each transaction.
  • The Liquidity fee charged during transfers is stored in the contract address. The tokens are swapped for MATIC for the purpose of funding Uniswap liquidity when the following conditions are met:
    • The automatic liquidity add functionality is enabled by the team.
    • The threshold number of tokens in the contract address (determined by the owner) has been reached.
    • The contract is not currently performing an automatic liquidity add.
    • The transfer is not a buying transaction via Uniswap.
    • Neither the sender nor the recipient is the team's Liquidity wallet.
  • Liquidity-adds are automatically performed by selling the tokens collected as fees, pairing the received MATIC with the token, and adding it as liquidity to the pair.
  • The LP tokens received through this process are sent to the team's Liquidity wallet. We recommend that the team lock these newly acquired LP tokens.
  • The tokens collected from the Marketing fee are swapped for MATIC and sent to the team's Marketing wallet.
  • The tokens collected from the Prize fee are sent to the team's Prize Pool wallet.
  • As the contract is deployed with Solidity v0.8.5, it is protected from overflows/underflows.
  • The contract complies with the ERC-20 token standard.
Ownership Controls:
  • The owner can modify the Tax fee, Liquidity fee, Marketing fee, and Prize fee for both fee structures to any percentages at any time.
  • The owner can exclude and include accounts from transfer fees and reward distribution.
  • The owner can pause transfers for all accounts that are not excluded from fees.
  • The owner can enable/disable automatic liquidity adds at any time.
  • The owner can update the threshold number of tokens needed to trigger an automatic liquidity add to any value at any time.
  • The owner can update the team's Marketing wallet, Liquidity wallet, and Prize Pool wallet to any addresses at any time.
  • The owner can update the Uniswap Router and Automated Market Maker Pair addresses at any time.

External Threat Results

Vulnerability CategoryNotesResult
Arbitrary Storage WriteN/APASS
Arbitrary JumpN/APASS
Centralization of Control
  • The owner can set each fee percentage up to 100%.
  • The owner currently owns 100% of the total supply.
  • WARNING
    Delegate Call to Untrusted ContractN/APASS
    Dependence on Predictable VariablesN/APASS
    Deprecated OpcodesN/APASS
    Ether ThiefN/APASS
    ExceptionsN/APASS
    External CallsN/APASS
    Flash LoansN/APASS
    Integer Over/UnderflowN/APASS
    Logical IssuesN/APASS
    Multiple SendsN/APASS
    OraclesN/APASS
    SuicideN/APASS
    State Change External CallsN/APASS
    Unchecked RetvalN/APASS
    User Supplied AssertionN/APASS
    Critical Solidity CompilerN/APASS
    Overall Contract Safety PASS

    Function Graph

    BEP20 Token Graph

    Inheritance Chart

    Multi-file Token

    Functions Overview

    												
    ($) = payable function
     # = non-constant function
    
     + [Lib] Address 
        - [Int] isContract
        - [Int] sendValue #
        - [Int] functionCall #
        - [Int] functionCall #
        - [Int] functionCallWithValue #
        - [Int] functionCallWithValue #
        - [Int] functionStaticCall
        - [Int] functionStaticCall
        - [Int] functionDelegateCall #
        - [Int] functionDelegateCall #
        - [Prv] _verifyCallResult
    
     + [Int] IERC20 
        - [Ext] totalSupply
        - [Ext] balanceOf
        - [Ext] transfer #
        - [Ext] allowance
        - [Ext] approve #
        - [Ext] transferFrom #
    
     +  Context 
        - [Int] _msgSender
        - [Int] _msgData
    
     +  Ownable (Context)
        - [Pub]  #
        - [Pub] owner
        - [Pub] renounceOwnership #
           - modifiers: onlyOwner
        - [Pub] transferOwnership #
           - modifiers: onlyOwner
        - [Pub] geUnlockTime
        - [Pub] lock #
           - modifiers: onlyOwner
        - [Pub] unlock #
    
     + [Lib] SafeMath 
        - [Int] tryAdd
        - [Int] trySub
        - [Int] tryMul
        - [Int] tryDiv
        - [Int] tryMod
        - [Int] add
        - [Int] sub
        - [Int] mul
        - [Int] div
        - [Int] mod
        - [Int] sub
        - [Int] div
        - [Int] mod
    
     + [Int] IUniswapV2Factory 
        - [Ext] feeTo
        - [Ext] feeToSetter
        - [Ext] getPair
        - [Ext] allPairs
        - [Ext] allPairsLength
        - [Ext] createPair #
        - [Ext] setFeeTo #
        - [Ext] setFeeToSetter #
    
     + [Int] IUniswapV2Pair 
        - [Ext] name
        - [Ext] symbol
        - [Ext] decimals
        - [Ext] totalSupply
        - [Ext] balanceOf
        - [Ext] allowance
        - [Ext] approve #
        - [Ext] transfer #
        - [Ext] transferFrom #
        - [Ext] DOMAIN_SEPARATOR
        - [Ext] PERMIT_TYPEHASH
        - [Ext] nonces
        - [Ext] permit #
        - [Ext] MINIMUM_LIQUIDITY
        - [Ext] factory
        - [Ext] token0
        - [Ext] token1
        - [Ext] getReserves
        - [Ext] price0CumulativeLast
        - [Ext] price1CumulativeLast
        - [Ext] kLast
        - [Ext] mint #
        - [Ext] burn #
        - [Ext] swap #
        - [Ext] skim #
        - [Ext] sync #
        - [Ext] initialize #
    
     + [Int] IUniswapV2Router01 
        - [Ext] factory
        - [Ext] WETH
        - [Ext] addLiquidity #
        - [Ext] addLiquidityETH ($)
        - [Ext] removeLiquidity #
        - [Ext] removeLiquidityETH #
        - [Ext] removeLiquidityWithPermit #
        - [Ext] removeLiquidityETHWithPermit #
        - [Ext] swapExactTokensForTokens #
        - [Ext] swapTokensForExactTokens #
        - [Ext] swapExactETHForTokens ($)
        - [Ext] swapTokensForExactETH #
        - [Ext] swapExactTokensForETH #
        - [Ext] swapETHForExactTokens ($)
        - [Ext] quote
        - [Ext] getAmountOut
        - [Ext] getAmountIn
        - [Ext] getAmountsOut
        - [Ext] getAmountsIn
    
     + [Int] IUniswapV2Router02 (IUniswapV2Router01)
        - [Ext] removeLiquidityETHSupportingFeeOnTransferTokens #
        - [Ext] removeLiquidityETHWithPermitSupportingFeeOnTransferTokens #
        - [Ext] swapExactTokensForTokensSupportingFeeOnTransferTokens #
        - [Ext] swapExactETHForTokensSupportingFeeOnTransferTokens ($)
        - [Ext] swapExactTokensForETHSupportingFeeOnTransferTokens #
    
     +  IntergalacticCoin (Context, IERC20, Ownable)
        - [Pub]  #
        - [Pub] setAutomatedMarketMakerPair #
           - modifiers: onlyOwner
        - [Pub] removeAutomatedMarketMakerPair #
           - modifiers: onlyOwner
        - [Pub] name
        - [Pub] symbol
        - [Pub] decimals
        - [Pub] totalSupply
        - [Pub] balanceOf
        - [Pub] transfer #
        - [Pub] allowance
        - [Pub] approve #
        - [Pub] transferFrom #
        - [Pub] increaseAllowance #
        - [Pub] decreaseAllowance #
        - [Pub] isExcludedFromReward
        - [Pub] totalFees
        - [Pub] deliver #
        - [Pub] reflectionFromToken
        - [Pub] tokenFromReflection
        - [Pub] excludeFromReward #
           - modifiers: onlyOwner
        - [Ext] includeInReward #
           - modifiers: onlyOwner
        - [Ext]  ($)
        - [Prv] _reflectFee #
        - [Prv] _getValues
        - [Prv] _getTValues
        - [Prv] _getRValues
        - [Prv] _getRate
        - [Prv] _getCurrentSupply
        - [Prv] _takeLiquidity #
        - [Prv] _takeMarketingAndPrizePool #
        - [Prv] calculateTaxFee
        - [Prv] calculateLiquidityFee
        - [Prv] calculatePrizePoolFee
        - [Prv] calculateMarketingFee
        - [Prv] restoreAllFee #
        - [Prv] setBuyFee #
        - [Prv] setSellFee #
        - [Ext] enableTrading #
           - modifiers: onlyOwner
        - [Pub] isExcludedFromFee
        - [Prv] _approve #
        - [Prv] _transfer #
        - [Prv] swapAndDistribute #
           - modifiers: lockTheSwap
        - [Prv] sendToPrizePool #
        - [Prv] swapAndSendToFee #
        - [Prv] swapAndLiquify #
        - [Prv] swapTokensForETH #
        - [Prv] addLiquidity #
        - [Prv] _tokenTransfer #
        - [Prv] _transferStandard #
        - [Prv] _transferToExcluded #
        - [Prv] _transferFromExcluded #
        - [Prv] _transferBothExcluded #
        - [Pub] excludeFromFee #
           - modifiers: onlyOwner
        - [Pub] includeInFee #
           - modifiers: onlyOwner
        - [Ext] setMarketingWallet #
           - modifiers: onlyOwner
        - [Ext] setPrizePoolWallet #
           - modifiers: onlyOwner
        - [Ext] setBuyFees #
           - modifiers: onlyOwner
        - [Ext] setSellFees #
           - modifiers: onlyOwner
        - [Pub] setRouterAddress #
           - modifiers: onlyOwner
        - [Pub] setSwapAndLiquifyEnabled #
           - modifiers: onlyOwner
        - [Ext] setSwapTokens #
           - modifiers: onlyOwner