RegularPresale - Smart Contract Audit Report

Summary

RegularPresale Audit Report RegularPresale ($REGU) is a new community-driven DeFi token on the Binance Smart Chain.

We reviewed the RegularPresale Token contract at 0xF1ca73caa1C7AD66Af11147bA7d5636243AF0493 on the Binance Smart Chain mainnet.

Notes on the Contract:
  • The total supply of the token is set to 100 million [100,000,000].
  • No mint or burn functions are present; though the circulating supply can be reduced by sending tokens to the 0x..dead address, if desired.
  • At the time of writing this report, 40% of the total supply belongs to the owner.
  • The next five holders own a cumulative 49.84% of the total supply.
  • 8% of the total supply is stored in a token timelock contract.

  • The owner can pause/unpause all trading at any time.
  • The owner can withdraw any $REGU tokens from the contract address balance at any time.
  • The contract complies with the ERC20 token standard
  • As the contract is deployed with Solidity v0.8.x, it is protected from overflows.
  • Some gas optimizations can be achieved through declaring functions external instead of public. As this contract is already deployed, this is merely informational.

Audit Findings Summary
  • No external threats were identified.
  • Please ensure trust in the team as the owner holds a large portion of the total supply.
  • Date: November 11th, 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
 
 + [Lib] SafeMath 
    - [Int] add
    - [Int] sub
    - [Int] sub
    - [Int] mul
    - [Int] div
    - [Int] div
    - [Int] mod
    - [Int] mod

 + [Lib] Address 
    - [Int] isContract
    - [Int] sendValue #
    - [Int] functionCall #
    - [Int] functionCall #
    - [Int] functionCallWithValue #
    - [Int] functionCallWithValue #
    - [Prv] _functionCallWithValue #

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

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

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

 +  HasForeignAsset (Ownable)
    - [Ext] assetBalance
    - [Ext] getAsset #
       - modifiers: onlyOwner

 +  Pausable (Ownable)
    - [Pub] pause #
       - modifiers: onlyOwner,whenNotPaused
    - [Pub] unpause #
       - modifiers: onlyOwner,whenPaused

 +  RegularPresale (IBEP20, HasForeignAsset, Pausable)
    - [Pub]  #
    - [Ext]  ($)
    - [Pub] name
    - [Pub] symbol
    - [Pub] decimals
    - [Pub] totalSupply
    - [Pub] balanceOf
    - [Pub] transfer #
       - modifiers: whenNotPaused
    - [Pub] allowance
    - [Pub] approve #
    - [Pub] transferFrom #
       - modifiers: whenNotPaused
    - [Pub] increaseAllowance #
    - [Pub] decreaseAllowance #
    - [Int] _transfer #
    - [Int] _mintOnce #
    - [Int] _burn #
    - [Pub] burn #
    - [Int] _approve #
    - [Int] _setupDecimals #
    - [Int] _beforeTokenTransfer #