EDMC project

CertiK7 Feb 2023Files named in the report

CertiK reviewed EDM DanceCoin (EDMC) (EDMC project) on 7 Feb 2023: 10 findings, 0 critical; 6 marked fixed, 2 acknowledged, 2 open.

No open critical findings

Open the report Open EDM DanceCoin (EDMC)’s security record

Report hosted on skynet.certik.com.

Trustblock does not review code.

Findings10

Statuses are the security firm’s own, from its report.

Severity	Open	Acknowledged	Fixed
Critical	0	0	0
High	0	2	0
Medium	0	0	0
Low	2	0	6

LowUnnecessary Use of SafeMathOpen

The `SafeMath` library is used unnecessarily. With Solidity compiler versions 0.8.0 or newer, arithmetic operations will automatically revert in case of integer overflow or underflow. ```solidity=156 library SafeMath { ``` - An implementation of `SafeMath` library is found. --- ```solidity=364 using SafeMath for uint256; ``` - `SafeMath` library is used for `uint256` type in `EDMCToken` contract. ```solidity=491 _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "EDMC: transfer amount exceeds allowance")); ``` - `SafeMath.sub` is called in `transferFrom` function of `EDMCToken` contract. *Note: Only a sample of 2 `SafeMath` library usage in this contract (out of 15) are shown above.*

LowUser-Defined GettersOpen

The linked functions are equivalent to the compiler-generated getter functions for the respective variables.