Omniscia DAFI Protocol Audit

BasicToken Static Analysis Findings

BasicToken Static Analysis Findings

BTN-01S: Transfer Allowance Default Value

TypeSeverityLocation
Gas OptimizationInformationalBasicToken.sol:L15

Description:

The default behaviour of BasicToken is to prevent transfers of tokens as transferAllowance is by default set to false.

Example:

contracts/BasicToken.sol
13uint256 public _totalSupply;
14uint256 public demandFactor;
15bool public transferAllowance;

Recommendation:

We advise whether this trait is desirable and if not, the transferAllowance to be initialized to true.

Alleviation:

The trait was deemed desirable and as such, the default behaviour of the token is to prevent transfers.