AdaMarkets Token - Smart Contract Audit Report

Summary

AdaMarkets Token Audit Report AdaMarkets intends to build a social media platform based on blockchain.

For this audit we reviewed the project's token contract using code provided to us by the team, available below.

Notes of the Contract:
  • The total supply of the token is 1 million, delivered to the team upon deployment.
  • The owner can burn unlocked tokens in their control, reducing the total supply.
  • The owner can distribute tokens in a locked manner, so users receive the tokens but cannot transfer them until the locking period expires.
  • Some functions can be declared external instead of public to save a small amount of gas on each call.
  • The contract utilizes Solidity 0.8.4 which has built-in overflow checks, removing the need for SafeMath. SafeMath is used anyway, so it can be removed to save on gas costs.
Audit Findings Summary
  • No issues from external attackers were identified.
  • As with any presale, ensure trust in the team prior to investing. The team is anonymous.
  • Date: May 1st, 2021.

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

Details: Token Contract

ERC20 Token Graph

Multi-file Token


 ($) = payable function
 # = non-constant function
 
 Int = Internal
 Ext = External
 Pub = Public

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

 + [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

 +  Owned (Context)
    - [Pub] transferOwnership #
       - modifiers: onlyOwner
    - [Pub] acceptOwnership #

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

 +  AdaMarkets (IERC20, Owned)
    - [Pub]  #
    - [Pub] name
    - [Pub] symbol
    - [Pub] decimals
    - [Pub] totalSupply
    - [Pub] balanceOf
    - [Pub] unLockedBalanceOf
    - [Pub] transfer #
    - [Pub] allowance
    - [Pub] approve #
    - [Pub] transferFrom #
    - [Prv] _transfer #
    - [Prv] _transferLock #
    - [Pub] burn #
       - modifiers: onlyOwner
    - [Pub] distributeTokens #
       - modifiers: onlyOwner
    - [Prv] _addRecord #
    - [Prv] _updateUnLockedTokens #
    - [Prv] _updateRecord #