ULTI Coin - Smart Contract Audit Report

Summary

UltiCoins Audit Report ULTI Coin ($ULTI) is a new DeFi project that automatically provides rewards to users who hold the token via frictionless fee redistribution.

ULTI Coin is deployed at 0x1635765F9dcaaf678365879a975E9ccF8FD15438 on the Binance Smartchain Testnet.

Notes on the Contract:
  • ULTI Coin's code implements and builds upon the fee-redistribution features pioneered by Reflect Finance.
  • The total supply of the token is 250,000,000,000 $ULTI.
  • There is a burn function that will allow holders to send tokens to the burn address. If the owner does not exclude the burn address after deploying, it will participate in the reward distribution (as a regular holder) and increase proportionally to the reflections it receives. This is often used as a deflationary mechanism.

  • There is a 6% fee on all transactions for any "non-excluded" address that participates in a transfer.
  • There is a 2% fee that is redistributed to existing token holders instantly and automatically at the time of each transaction.
  • There is a 2% burn fee that is applied automatically at the time of each transaction.
  • There is a 2% fee that is automatically added to the liquidity pool.
  • The owner of the contract can exclude and include accounts from transfer fees.
  • The owner of the contract can exclude and include accounts from the reward distribution.
  • There is no maximum to the number of tokens that can be sent on each transaction.
  • Ownership has not been renounced (as ULTI Coin has not been deployed on the mainnet).
  • As the project is implemented with solidity version ^0.8.0, it is protected from overflows.
Audit Findings Summary
  • No external threats were identified.
  • We recommend that the team renounces ownership after a successful launch.
  • As with any token, please ensure trust in the team prior to investing as they have notable control in the ecosystem.
  • Date: June 9th, 2021

Audit Results

Vulnerability CategoryNotesResult
Arbitrary Storage WriteN/APASS
Arbitrary JumpN/APASS
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
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

ERC20 Token Graph


Inheritence Chart

Multi-file Token


Functions Overview


 ($) = payable function
 # = non-constant function
 
 + [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] 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 #

 +  Context 
    - [Int] _msgSender
    - [Int] _msgData

 + [Int] IUniswapV2Router02 (IUniswapV2Router01)
    - [Ext] removeLiquidityETHSupportingFeeOnTransferTokens #
    - [Ext] removeLiquidityETHWithPermitSupportingFeeOnTransferTokens #
    - [Ext] swapExactTokensForTokensSupportingFeeOnTransferTokens #
    - [Ext] swapExactETHForTokensSupportingFeeOnTransferTokens ($)
    - [Ext] swapExactTokensForETHSupportingFeeOnTransferTokens #

 +  SwapAndLiquify (Context)
    - [Pub]  #
    - [Ext]  ($)
    - [Int] isInSwapAndLiquify
    - [Pub] withdrawSwapLeftovers #
    - [Int] _switchSwapAndLiquify #
    - [Int] _swapAndLiquify #
       - modifiers: lockTheSwap
    - [Prv] _swapTokensForETH #
    - [Prv] _addLiquidity #

 + [Lib] EnumerableSet 
    - [Prv] _add #
    - [Prv] _remove #
    - [Prv] _contains
    - [Prv] _length
    - [Prv] _at
    - [Int] add #
    - [Int] remove #
    - [Int] contains
    - [Int] length
    - [Int] at
    - [Int] add #
    - [Int] remove #
    - [Int] contains
    - [Int] length
    - [Int] at
    - [Int] add #
    - [Int] remove #
    - [Int] contains
    - [Int] length
    - [Int] at

 + [Lib] Address 
    - [Int] isContract
    - [Int] sendValue #
    - [Int] functionCall #
    - [Int] functionCall #
    - [Int] functionCallWithValue #
    - [Int] functionCallWithValue #
    - [Int] functionStaticCall
    - [Int] functionStaticCall
    - [Int] functionDelegateCall #
    - [Int] functionDelegateCall #
    - [Prv] _verifyCallResult

 +  Ownable (Context)
    - [Pub]  #
    - [Pub] owner
    - [Pub] renounceOwnership #
       - modifiers: onlyOwner
    - [Pub] transferOwnership #
       - modifiers: onlyOwner

 + [Int] IERC20 
    - [Ext] totalSupply
    - [Ext] balanceOf
    - [Ext] transfer #
    - [Ext] allowance
    - [Ext] approve #
    - [Ext] transferFrom #

 +  UltiCoin (Context, IERC20, Ownable, SwapAndLiquify)
    - [Pub]  #
       - modifiers: SwapAndLiquify
    - [Pub] name
    - [Pub] symbol
    - [Pub] decimals
    - [Pub] totalSupply
    - [Ext] balanceOf
    - [Ext] transfer #
    - [Ext] allowance
    - [Ext] approve #
    - [Ext] transferFrom #
    - [Ext] increaseAllowance #
    - [Ext] decreaseAllowance #
    - [Pub] isExcludedFromReward
    - [Pub] isExcludedFromFee
    - [Pub] totalFees
    - [Pub] totalBurned
    - [Ext] reflect #
    - [Pub] burn #
    - [Pub] burnFrom #
    - [Pub] reflectionFromToken
    - [Pub] tokenFromReflection
    - [Ext] excludeFromReward #
       - modifiers: onlyOwner
    - [Ext] includeInReward #
       - modifiers: onlyOwner
    - [Ext] excludeFromFee #
       - modifiers: onlyOwner
    - [Ext] includeInFee #
       - modifiers: onlyOwner
    - [Ext] switchSwapAndLiquify #
       - modifiers: onlyOwner
    - [Prv] _balanceOf
    - [Prv] _approve #
    - [Int] _burn #
    - [Prv] _transfer #
    - [Prv] _tokenTransfer #
    - [Prv] _transferStandard #
    - [Prv] _transferToExcluded #
    - [Prv] _transferFromExcluded #
    - [Prv] _transferBothExcluded #
    - [Prv] _emitTransfers #
    - [Prv] _takeLiquidity #
    - [Prv] _reflectFeeAndBurn #
    - [Prv] _getValues
    - [Prv] _getValues
    - [Prv] _getTValues
    - [Prv] _getRTransferAmount
    - [Prv] _getRate
    - [Prv] _getCurrentSupply