Overview

Bagus Wallet
Rank #N/A

Skynet Trust Score

80%
  • Project is Relatively Decentralized
  • Large Market Cap (top 25%)
  • Long-running Project
  • Trust Score is #1 amongst all projects
Security Score
80 / 100
Market & Community
80 / 100

Bagus Wallet Info

Audits

Onboarded Date

14/Dec/2022

Contracts

0x07a...0b0c8

How do you feel about this project's security?
Documents
File Name Type Size Upload Date Action
Zip File 4.57 MB 12 Dec 2021
PDF File 8.89 MB 24 Nov 2021
MP4 File 14.62 MB 19 Nov 2021
XSL File 2.38 KB 14 Nov 2021
Floder File 87.24 MB 08 Nov 2021
PNG File 879 KB 02 Nov 2021
Activities
Oliver Phillips New

We talked about a project on linkedin.

Today
N
Nancy Martino In Progress

Create new project Buildng product

Yesterday
Natasha Carey Completed

Adding a new event with attachments

25 Nov
Bethany Johnson

added a new member to velzon dashboard

19 Nov
Your order is placed Out of Delivery

These customers can rest assured their order has been placed.

16 Nov
Lewis Pratt

They all have something to say beyond the words on the page. They can come across as casual or neutral, exotic or graphic.

22 Oct
Monthly sales report

2 days left notification to submit the monthly sales report. Reports Builder

15 Oct
New ticket received Completed

User Erica245 submitted a ticket.

26 Aug
Nancy Martino

Team Leader & HR

225

Projects

197

Tasks

HB
Henry Baird

Full Stack Developer

352

Projects

376

Tasks

Frank Hook

Project Manager

164

Projects

182

Tasks

Jennifer Carter

UI/UX Designer

225

Projects

197

Tasks

ME
Megan Elmore

Team Leader & Web Developer

201

Projects

263

Tasks

Alexis Clarke

Backend Developer

132

Projects

147

Tasks

NC
Nathan Cole

Front-End Developer

352

Projects

376

Tasks

Joseph Parker

Team Leader & HR

64

Projects

93

Tasks

Erica Kernan

Web Designer

345

Projects

298

Tasks

DP
Donald Palmer

Wed Developer

97

Projects

135

Tasks

Showing 1 to 10 of 12 entries

Code Audit History

1 Audit available
Last Audit was delivered on 14 December 2022

Bagus Wallet -Audit

View Findings
5

All Findings

0

Acknowledge

0

Partially

5

Resolved

0
Critical none
0
Major none
3
Medium privilege
1
Minor privilege
0
Optimization none
1
Informational privilege
0
Discussion none

Method

Audited Files/SHA256

Contracts

0x07abe236bb...0b0c8

Manual Review Static Analysis
Audit Timeline
Requested on
14 December 2022
Revisioned on
14 December 2022

Formal Verification Result

9 / 38 Properties True
80%

Token Standard

ERC-20

Functions

6

Verified Contract

Bagus Wallet (BagusWalletToken.sol) 1

Bagus Wallet Smart Contract Code

                        
                        

/**

 *Submitted for verification at BscScan.com on 2021-09-07

*/


// SPDX-License-Identifier: UNLICENSED

pragma solidity ^0.8.3;


interface IBEP20 {

  /**

   * @dev Returns the token name.

   */

  function name() external view returns (string memory);


  /**

   * @dev Returns the token symbol.

   */

  function symbol() external view returns (string memory);


  /**

   * @dev Returns the token decimals.

   */

  function decimals() external view returns (uint8);


  /**

   * @dev Returns the amount of tokens in existence.

   */

  function totalSupply() external view returns (uint256);



  /**

   * @dev Returns the bep token owner.

   */

  function getOwner() external view returns (address);


  /**

   * @dev Returns the amount of tokens owned by `account`.

   */

  function balanceOf(address account) external view returns (uint256);


  /**

   * @dev Moves `amount` tokens from the caller's account to `recipient`.

   *

   * Returns a boolean value indicating whether the operation succeeded.

   *

   * Emits a {Transfer} event.

   */

  function transfer(address recipient, uint256 amount) external returns (bool);


  /**

   * @dev Returns the remaining number of tokens that `spender` will be

   * allowed to spend on behalf of `owner` through {transferFrom}. This is

   * zero by default.

   *

   * This value changes when {approve} or {transferFrom} are called.

   */

  function allowance(address _owner, address spender)

    external

    view

    returns (uint256);


  /**

   * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.

   *

   * Returns a boolean value indicating whether the operation succeeded.

   *

   * IMPORTANT: Beware that changing an allowance with this method brings the risk

   * that someone may use both the old and the new allowance by unfortunate

   * transaction ordering. One possible solution to mitigate this race

   * condition is to first reduce the spender's allowance to 0 and set the

   * desired value afterwards:

   * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729

   *

   * Emits an {Approval} event.

   */

  function approve(address spender, uint256 amount) external returns (bool);


  /**

   * @dev Moves `amount` tokens from `sender` to `recipient` using the

   * allowance mechanism. `amount` is then deducted from the caller's

   * allowance.

   *

   * Returns a boolean value indicating whether the operation succeeded.

   *

   * Emits a {Transfer} event.

   */

  function transferFrom(

    address sender,

    address recipient,

    uint256 amount

  ) external returns (bool);


  /**

   * @dev Emitted when `value` tokens are moved from one account (`from`) to

   * another (`to`).

   *

   * Note that `value` may be zero.

   */

  event Transfer(address indexed from, address indexed to, uint256 value);


  /**

   * @dev Emitted when the allowance of a `spender` for an `owner` is set by

   * a call to {approve}. `value` is the new allowance.

   */

 // SPDX-License-Identifier: UNLICENSED

  event Approval(address indexed owner, address indexed spender, uint256 value);

}

/**

 * @dev Wrappers over Solidity's arithmetic operations with added overflow

 * checks.

 *

 * Arithmetic operations in Solidity wrap on overflow. This can easily result

 * in bugs, because programmers usually assume that an overflow raises an

 * error, which is the standard behavior in high level programming languages.

 * `SafeMath` restores this intuition by reverting the transaction when an

 * operation overflows.

 *

 * Using this library instead of the unchecked operations eliminates an entire

 * class of bugs, so it's recommended to use it always.

 */

library SafeMath {

  /**

   * @dev Returns the addition of two unsigned integers, reverting on

   * overflow.

   *

   * Counterpart to Solidity's `+` operator.

   *

   * Requirements:

   * - Addition cannot overflow.

   */

  function add(uint256 a, uint256 b) internal pure returns (uint256) {

    uint256 c = a + b;

    require(c >= a, 'SafeMath: addition overflow');


    return c;

  }


  /**

   * @dev Returns the subtraction of two unsigned integers, reverting on

   * overflow (when the result is negative).

   *

   * Counterpart to Solidity's `-` operator.

   *

   * Requirements:

   * - Subtraction cannot overflow.

   */

  function sub(uint256 a, uint256 b) internal pure returns (uint256) {

    return sub(a, b, 'SafeMath: subtraction overflow');

  }


  /**

   * @dev Returns the subtraction of two unsigned integers, reverting with custom message on

   * overflow (when the result is negative).

   *

   * Counterpart to Solidity's `-` operator.

   *

   * Requirements:

   * - Subtraction cannot overflow.

   */

  function sub(

    uint256 a,

    uint256 b,

    string memory errorMessage

  ) internal pure returns (uint256) {

    require(b <= a, errorMessage);

    uint256 c = a - b;


    return c;

  }


  /**

   * @dev Returns the multiplication of two unsigned integers, reverting on

   * overflow.

   *

   * Counterpart to Solidity's `*` operator.

   *

   * Requirements:

   * - Multiplication cannot overflow.

   */

  function mul(uint256 a, uint256 b) internal pure returns (uint256) {

    // Gas optimization: this is cheaper than requiring 'a' not being zero, but the

    // benefit is lost if 'b' is also tested.

    // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522

    if (a == 0) {

      return 0;

    }


    uint256 c = a * b;

    require(c / a == b, 'SafeMath: multiplication overflow');


    return c;

  }


  /**

   * @dev Returns the integer division of two unsigned integers. Reverts on

   * division by zero. The result is rounded towards zero.

   *

   * Counterpart to Solidity's `/` operator. Note: this function uses a

   * `revert` opcode (which leaves remaining gas untouched) while Solidity

   * uses an invalid opcode to revert (consuming all remaining gas).

   *

   * Requirements:

   * - The divisor cannot be zero.

   */

  function div(uint256 a, uint256 b) internal pure returns (uint256) {

    return div(a, b, 'SafeMath: division by zero');

  }


  /**

   * @dev Returns the integer division of two unsigned integers. Reverts with custom message on

   * division by zero. The result is rounded towards zero.

   *

   * Counterpart to Solidity's `/` operator. Note: this function uses a

   * `revert` opcode (which leaves remaining gas untouched) while Solidity

   * uses an invalid opcode to revert (consuming all remaining gas).

   *

   * Requirements:

   * - The divisor cannot be zero.

   */

  function div(

    uint256 a,

    uint256 b,

    string memory errorMessage

  ) internal pure returns (uint256) {

    // Solidity only automatically asserts when dividing by 0

    require(b > 0, errorMessage);

    uint256 c = a / b;

    // assert(a == b * c + a % b); // There is no case in which this doesn't hold


    return c;

  }


  /**

   * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),

   * Reverts when dividing by zero.

   *

   * Counterpart to Solidity's `%` operator. This function uses a `revert`

   * opcode (which leaves remaining gas untouched) while Solidity uses an

   * invalid opcode to revert (consuming all remaining gas).

   *

   * Requirements:

   * - The divisor cannot be zero.

   */

  function mod(uint256 a, uint256 b) internal pure returns (uint256) {

    return mod(a, b, 'SafeMath: modulo by zero');

  }


  /**

   * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),

   * Reverts with custom message when dividing by zero.

   *

   * Counterpart to Solidity's `%` operator. This function uses a `revert`

   * opcode (which leaves remaining gas untouched) while Solidity uses an

   * invalid opcode to revert (consuming all remaining gas).

   *

   * Requirements:

   * - The divisor cannot be zero.

   */

  function mod(

    uint256 a,

    uint256 b,

    string memory errorMessage

  ) internal pure returns (uint256) {

    require(b != 0, errorMessage);

    return a % b;

 // SPDX-License-Identifier: UNLICENSED

  }

}

/*

 * @dev Provides information about the current execution context, including the

 * sender of the transaction and its data. While these are generally available

 * via msg.sender and msg.data, they should not be accessed in such a direct

 * manner, since when dealing with GSN meta-transactions the account sending and

 * paying for execution may not be the actual sender (as far as an application

 * is concerned).

 *

 * This contract is only required for intermediate, library-like contracts.

 */

abstract contract Context {

  function _msgSender() internal view virtual returns (address) {

    return msg.sender;

  }


  function _msgData() internal view virtual returns (bytes calldata) {

    this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691

    return msg.data;

 // SPDX-License-Identifier: UNLICENSED

  }

}

/**

 * @dev Contract module which provides a basic access control mechanism, where

 * there is an account (an owner) that can be granted exclusive access to

 * specific functions.

 *

 * By default, the owner account will be the one that deploys the contract. This

 * can later be changed with {transferOwnership}.

 *

 * This module is used through inheritance. It will make available the modifier

 * `onlyOwner`, which can be applied to your functions to restrict their use to

 * the owner.

 */

abstract contract Ownable is Context {

  address private _owner;


  event OwnershipTransferred(

    address indexed previousOwner,

    address indexed newOwner

  );


  /**

   * @dev Initializes the contract setting the deployer as the initial owner.

   */

  constructor() {

    address msgSender = _msgSender();

    _owner = msgSender;

    emit OwnershipTransferred(address(0), msgSender);

  }


  /**

   * @dev Returns the address of the current owner.

   */

  function owner() public view returns (address) {

    return _owner;

  }


  /**

   * @dev Throws if called by any account other than the owner.

   */

  modifier onlyOwner() {

    require(_owner == _msgSender(), 'Ownable: caller is not the owner');

    _;

  }


  /**

   * @dev Leaves the contract without owner. It will not be possible to call

   * `onlyOwner` functions anymore. Can only be called by the current owner.

   *

   * NOTE: Renouncing ownership will leave the contract without an owner,

   * thereby removing any functionality that is only available to the owner.

   */

  function renounceOwnership() public onlyOwner {

    emit OwnershipTransferred(_owner, address(0));

    _owner = address(0);

  }


  /**

   * @dev Transfers ownership of the contract to a new account (`newOwner`).

   * Can only be called by the current owner.

   */

  function transferOwnership(address newOwner) public onlyOwner {

    _transferOwnership(newOwner);

  }


  /**

   * @dev Transfers ownership of the contract to a new account (`newOwner`).

   */

  function _transferOwnership(address newOwner) internal {

    require(newOwner != address(0), 'Ownable: new owner is the zero address');

    emit OwnershipTransferred(_owner, newOwner);

    _owner = newOwner;

 // SPDX-License-Identifier: UNLICENSED

  }

}

contract BagusToken is Context, IBEP20, Ownable {

  using SafeMath for uint256;


  mapping(address => uint256) private _balances;


  mapping(address => mapping(address => uint256)) private _allowances;


  uint256 private _totalSupply;

  uint8 public _decimals;

  string public _symbol;

  string public _name;


  constructor() {

    _name = 'Bagus Token';

    _symbol = 'BG';

    _decimals = 18;

    _totalSupply = 500000000000000000000000000; 

    _balances[msg.sender] = _totalSupply;


    emit Transfer(address(0), msg.sender, _totalSupply);

  }


  /**

   * @dev Returns the bep token owner.

   */

  function getOwner() external view virtual override returns (address) {

    return owner();

  }


  /**

   * @dev Returns the token decimals.

   */

  function decimals() external view virtual override returns (uint8) {

    return _decimals;

  }


  /**

   * @dev Returns the token symbol.

   */

  function symbol() external view virtual override returns (string memory) {

    return _symbol;

  }


  /**

   * @dev Returns the token name.

   */

  function name() external view virtual override returns (string memory) {

    return _name;

  }


  /**

   * @dev See {BEP20-totalSupply}.

   */

  function totalSupply() external view virtual override returns (uint256) {

    return _totalSupply;

  }


  /**

   * @dev See {BEP20-balanceOf}.

   */

  function balanceOf(address account)

    external

    view

    virtual

    override

    returns (uint256)

  {

    return _balances[account];

  }


  /**

   * @dev See {BEP20-transfer}.

   *

   * Requirements:

   *

   * - `recipient` cannot be the zero address.

   * - the caller must have a balance of at least `amount`.

   */

  function transfer(address recipient, uint256 amount)

    external

    override

    returns (bool)

  {

    _transfer(_msgSender(), recipient, amount);

    return true;

  }


  /**

   * @dev See {BEP20-allowance}.

   */

  function allowance(address owner, address spender)

    external

    view

    override

    returns (uint256)

  {

    return _allowances[owner][spender];

  }


  /**

   * @dev See {BEP20-approve}.

   *

   * Requirements:

   *

   * - `spender` cannot be the zero address.

   */

  function approve(address spender, uint256 amount)

    external

    override

    returns (bool)

  {

    _approve(_msgSender(), spender, amount);

    return true;

  }


  /**

   * @dev See {BEP20-transferFrom}.

   *

   * Emits an {Approval} event indicating the updated allowance. This is not

   * required by the EIP. See the note at the beginning of {BEP20};

   *

   * Requirements:

   * - `sender` and `recipient` cannot be the zero address.

   * - `sender` must have a balance of at least `amount`.

   * - the caller must have allowance for `sender`'s tokens of at least

   * `amount`.

   */

  function transferFrom(

    address sender,

    address recipient,

    uint256 amount

  ) external override returns (bool) {

    _transfer(sender, recipient, amount);

    _approve(

      sender,

      _msgSender(),

      _allowances[sender][_msgSender()].sub(

        amount,

        'BEP20: transfer amount exceeds allowance'

      )

    );

    return true;

  }


  /**

   * @dev Atomically increases the allowance granted to `spender` by the caller.

   *

   * This is an alternative to {approve} that can be used as a mitigation for

   * problems described in {BEP20-approve}.

   *

   * Emits an {Approval} event indicating the updated allowance.

   *

   * Requirements:

   *

   * - `spender` cannot be the zero address.

   */

  function increaseAllowance(address spender, uint256 addedValue)

    external

    returns (bool)

  {

    _approve(

      _msgSender(),

      spender,

      _allowances[_msgSender()][spender].add(addedValue)

    );

    return true;

  }


  /**

   * @dev Atomically decreases the allowance granted to `spender` by the caller.

   *

   * This is an alternative to {approve} that can be used as a mitigation for

   * problems described in {BEP20-approve}.

   *

   * Emits an {Approval} event indicating the updated allowance.

   *

   * Requirements:

   *

   * - `spender` cannot be the zero address.

   * - `spender` must have allowance for the caller of at least

   * `subtractedValue`.

   */

  function decreaseAllowance(address spender, uint256 subtractedValue)

    external

    returns (bool)

  {

    _approve(

      _msgSender(),

      spender,

      _allowances[_msgSender()][spender].sub(

        subtractedValue,

        'BEP20: decreased allowance below zero'

      )

    );

    return true;

  }


  /**

   * @dev Destroys `amount` tokens from the caller.

   *

   * See {BEP20-_burn}.

   */

  function burn(uint256 amount) external virtual {

    _burn(_msgSender(), amount);

  }


  /**

   * @dev Destroys `amount` tokens from `account`, deducting from the caller's

   * allowance.

   *

   * See {BEP20-_burn} and {BEP20-allowance}.

   *

   * Requirements:

   *

   * - the caller must have allowance for ``accounts``'s tokens of at least

   * `amount`.

   */

  function burnFrom(address account, uint256 amount) external virtual {

    uint256 decreasedAllowance =

      _allowances[account][_msgSender()].sub(

        amount,

        'BEP20: burn amount exceeds allowance'

      );


    _approve(account, _msgSender(), decreasedAllowance);

    _burn(account, amount);

  }


  /**

   * @dev Moves tokens `amount` from `sender` to `recipient`.

   *

   * This is internal function is equivalent to {transfer}, and can be used to

   * e.g. implement automatic token fees, slashing mechanisms, etc.

   *

   * Emits a {Transfer} event.

   *

   * Requirements:

   *

   * - `sender` cannot be the zero address.

   * - `recipient` cannot be the zero address.

   * - `sender` must have a balance of at least `amount`.

   */

  function _transfer(

    address sender,

    address recipient,

    uint256 amount

  ) internal {

    require(sender != address(0), 'BEP20: transfer from the zero address');

    require(recipient != address(0), 'BEP20: transfer to the zero address');


    _balances[sender] = _balances[sender].sub(

      amount,

      'BEP20: transfer amount exceeds balance'

    );

    _balances[recipient] = _balances[recipient].add(amount);

    emit Transfer(sender, recipient, amount);

  }


  /**

   * @dev Destroys `amount` tokens from `account`, reducing the

   * total supply.

   *

   * Emits a {Transfer} event with `to` set to the zero address.

   *

   * Requirements

   *

   * - `account` cannot be the zero address.

   * - `account` must have at least `amount` tokens.

   */

  function _burn(address account, uint256 amount) internal {

    require(account != address(0), 'BEP20: burn from the zero address');


    _balances[account] = _balances[account].sub(

      amount,

      'BEP20: burn amount exceeds balance'

    );

    _totalSupply = _totalSupply.sub(amount);

    emit Transfer(account, address(0), amount);

  }


  /**

   * @dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.

   *

   * This is internal function is equivalent to `approve`, and can be used to

   * e.g. set automatic allowances for certain subsystems, etc.

   *

   * Emits an {Approval} event.

   *

   * Requirements:

   *

   * - `owner` cannot be the zero address.

   * - `spender` cannot be the zero address.

   */

  function _approve(

    address owner,

    address spender,

    uint256 amount

  ) internal {

    require(owner != address(0), 'BEP20: approve from the zero address');

    require(spender != address(0), 'BEP20: approve to the zero address');


    _allowances[owner][spender] = amount;

    emit Approval(owner, spender, amount);

  }

}

Code Audit Findings

Audits Overview

Context
Project Name
Bagus Wallet
Platform
Language
Codebase
Commit
About Xamer Audits
Delivery Date
Audit Methodology
Core Components
Vulnerability Summary
VULNERABILITY LEVEL PENDING DECLINED ACKNOWLEDGED PARTIALLY RESOLVED MITIGATED RESOLVED TOTAL
Critical 0 0 0 0 0 0 0
Major 0 0 0 0 0 0 0
Medium 0 0 0 0 0 3 3
Minor 0 0 0 0 0 1 1
Optimization 0 0 0 0 0 0 0
Informational 0 0 0 0 0 1 1
Discussion 0 0 0 0 0 0 0
Review Notes

Overview

The provided Solidity code defines a BEP-20 token contract named "Bagus Token" (symbol: BG). It adheres to the BEP-20 standard with standard token functions and includes additional features such as ownership management through an abstract `Ownable` contract and safe arithmetic operations using the `SafeMath` library. The contract allows for the creation, transfer, and burning of tokens, as well as the approval of allowances.

It also emits events for tracking token transfers and allowance approvals. The contract initializes with a specified total supply, and the ownership can be transferred or renounced. It is essential to clarify the licensing terms for the code, and potential updates may be needed to align with the latest Solidity version and best practices in smart contract development.

Privileged Roles

In the provided Solidity code, the concept of privileged roles is implemented through the `Ownable` contract. The `Ownable` contract defines a basic access control mechanism, where certain functions are restricted to the contract owner. The owner is initially set to the account that deploys the contract. The privileged roles are as follows:

Owner Role:

  • The owner has the exclusive right to execute functions modified with the `onlyOwner` modifier.
  • The `onlyOwner` modifier ensures that only the owner can call specific functions, providing a level of control over critical operations.

Ownership Management:

  • The `transferOwnership` function allows the current owner to transfer ownership to another address.
  • The `renounceOwnership` function allows the current owner to renounce ownership, leaving the contract without an owner.

Contract Deployment:

  • During contract deployment, the account that deploys the contract becomes the initial owner.

Access to Administrative Functions:

  • The owner has privileged access to functions like `increaseAllowance`, `decreaseAllowance`, and others that may affect the state of the contract.

These privileged roles ensure that certain actions, such as changing ownership or performing critical administrative functions, are restricted to a designated account, enhancing security and control over the smart contract. It's important to note that these roles and access control mechanisms are implemented to manage and secure the contract's functionality.

Audits Scope

ID FILE SHA256 CHECKSUM
BAW BagusWalletToken.sol AEDB281B6477B3DD3ABE5DD3EAF465B6E719217C0A11E68C7E61E6DE78A3A1A8

BAW-01 | Lack of Input Validation

CATEGORY SEVERITY LOCATIONS STATUS
privilege Medium

function _transfer(
   address sender,
 address recipient,
 uint256 amount
     ) internal {
 require(sender != address(0), 'BEP20: transfer from the zero address');
 require(recipient != address(0), 'BEP20: transfer to the zero address');
 _balances[sender] = _balances[sender].sub(
   amount,
'BEP20: transfer amount exceeds balance'
         );
 _balances[recipient] = _balances[recipient].add(amount);
 emit Transfer(sender, recipient, amount);
         }

RESOLVED
Description

Location in code: Inside the  _transfer Function
Line number: 1158-1185
Description:
The _transfer function does not validate if the sender has a sufficient balance before initiating the transfer. It is essential to include input validation to prevent transferring more tokens than the sender has.

BAW-02 | Lack of Validation on Allowance Change

CATEGORY SEVERITY LOCATIONS STATUS
privilege Minor

function _approve(
  address owner,
 address spender,
 uint256 amount
   ) internal {
require(owner != address(0), 'BEP20: approve from the zero address');
 require(spender != address(0), 'BEP20: approve to the zero address');
 _allowances[owner][spender] = amount;
 emit Approval(owner, spender, amount);
          }

RESOLVED
Description

Location in code: Inside the _approve Function
Line number: 1256-1275
Description:
The _approve function allows any address to set the spending allowance on behalf of the owner. Consider adding additional checks to restrict this action only to specific addresses or implementing a more controlled allowance mechanism.

BAW-03 | Unused Function

CATEGORY SEVERITY LOCATIONS STATUS
privilege Medium

   function _msgData() internal view virtual returns (bytes calldata) {

    this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691

    return msg.data;

 // SPDX-License-Identifier: UNLICENSED

  }

RESOLVED
Description

Location in code: Inside the `_msgData()` function
Line number: 542-550
Description:
The `_msgData()` function in the Context contract is defined but not used. It should be removed if unnecessary.

BAW-04 | Unused Function _transferOwnership()

CATEGORY SEVERITY LOCATIONS STATUS
privilege Informational

  function _transferOwnership(address newOwner) internal {

    require(newOwner != address(0), 'Ownable: new owner is the zero address');

    emit OwnershipTransferred(_owner, newOwner);

    _owner = newOwner;

 // SPDX-License-Identifier: UNLICENSED

  }

RESOLVED
Description

Location in code: Inside the _transferOwnership() function
Line number: 681-691
Description:
The `_transferOwnership()` function in the Ownable contract is defined but not used. It should be removed if unnecessary.

BAW-05 | Lack of Input Validation

CATEGORY SEVERITY LOCATIONS STATUS
privilege Medium

function burn(uint256 amount) external virtual {

    _burn(_msgSender(), amount);

  }

RESOLVED
Description

Location in code: Inside the burn function
Line number: 1081-1085
Description:
The burn function does not validate the input amount, potentially allowing the burning of more tokens than the account holds. Implement input validation to ensure the burn amount is valid.