SGAJ to TAKSH Migrator - Smart Contract Audit Report


SGAJ to TAKSH Migrator Audit Report SGAJ to TAKSH Migrator is a new smart contract that facilitates the conversion of SGAJ tokens to TAKSH tokens.

We reviewed the SGAJ to TAKSH Migrator contract at address 0xB50b67AaD53081631137E6823Dc86Ff28098306e on the Polygon mainnet.

Notes on the Contract:
  • The current total supply of SGAJ tokens at the time of this audit is 43.25 million.
  • The current total supply of TAKSH tokens at the time of this audit is 100 million.
  • There is a sufficient amount of TAKSH tokens for all SGAJ tokens in circulation to be migrated, but there must also be a sufficient amount of tokens in the migrator to transfer to users.
  • At the time of this audit, there are 43 million TAKSH tokens in the migrator which is too few to account for all SGAJ in circulation; the TAKSH owner is able to transfer more tokens if needed.
  • The team is unable to withdraw tokens from the migrator.

  • Any address that has SGAJ tokens is able to convert them to TAKSH tokens.
  • The ratio of SGAJ tokens to TAKSH tokens is 1:1.
  • Users will have to give the migrator permission to move their tokens before they can be migrated.
  • There are no fees when using the migrator.
  • There is no minimum amount of SGAJ tokens required to migrate to TAKSH tokens.
  • TAKSH tokens are transferred to the same address that sent the SGAJ tokens. There is no option to migrate to another address.

  • As the project is deployed with Solidity v0.8.0, it is protected from overflows.
  • The SGAJ_TAKSH_RATIO could be declared constant to save on gas.
Audit Findings Summary:
  • No external threats were identified.
  • Date: October 4th, 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
External CallsN/APASS
Flash LoansN/APASS
Integer Over/UnderflowN/APASS
Multiple SendsN/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] IERC20 
    - [Ext] totalSupply
    - [Ext] balanceOf
    - [Ext] transfer #
    - [Ext] allowance
    - [Ext] approve #
    - [Ext] transferFrom #

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

 +  SGAJtoTAKSHMigrator 
    - [Ext] migrateFromSGAJ #