Предупреждения с использованием токена ERC20,

Question

Я хочу развернуть свой контракт, но у меня так много предупреждений, что я не знаю всех смыслов.

Потребность в газе функции SpastToken.increaseApproval (адрес, uint256) высокая. (11 раз в других функциях) BasicToken.balanceOf (адрес): переменные имеют очень похожие имена сальдо и сальдо. Примечание. Модификаторы в настоящее время не рассматриваются в этом статическом анализе.

Используйте assert (x), если вы никогда не хотите, чтобы x был ложным, ни при каких обстоятельствах (кроме ошибки в вашем коде). Используйте require (x), если x может быть ложным, например, из-за неверный ввод или неисправный внешний компонент.

contract Ownable {
address public owner;
event OwnershipTransferred(address indexed previousOwner, address indexed 
newOwner);

constructor() public {
owner = msg.sender;
}

modifier onlyOwner() {
require(msg.sender == owner);
_;
}

function transferOwnership(address newOwner) public onlyOwner {
require(newOwner != address(0));
emit OwnershipTransferred(owner, newOwner);
owner = newOwner;
}

}

contract ERC20Basic {
function totalSupply() public view returns (uint256);
function balanceOf(address who) public view returns (uint256);
function transfer(address to, uint256 value) public returns (bool);
event Transfer(address indexed from, address indexed to, uint256 value);
}

/**
* @title ERC20 interface
*/
contract ERC20 is ERC20Basic {
function allowance(address owner, address spender) public view returns 
(uint256);
function transferFrom(address from, address to, uint256 value) public 
returns (bool);
function approve(address spender, uint256 value) public returns (bool);
event Approval(address indexed owner, address indexed spender, uint256 
value);
}
/**
* @title Basic token
*/
contract BasicToken is ERC20Basic {
using SafeMath for uint256;

mapping(address => uint256) balances;

uint256 totalSupply_;

function totalSupply() public view returns (uint256) {
return totalSupply_;
}

function transfer(address _to, uint256 _value) public returns (bool) {
require(_to != address(0));
require(_value <= balances[msg.sender]);
balances[msg.sender] = balances[msg.sender].sub(_value);
balances[_to] = balances[_to].add(_value);
emit Transfer(msg.sender, _to, _value);
return true;
}

function balanceOf(address _owner) public view returns (uint256 balance) {
return balances[_owner];
}
}

/**
* @title Standard ERC20 token
*/
contract StandardToken is ERC20, BasicToken {
mapping (address => mapping (address => uint256)) internal allowed;
function transferFrom(address _from, address _to, uint256 _value) public 
returns (bool) {
require(_to != address(0));
require(_value <= balances[_from]);
require(_value <= allowed[_from][msg.sender]);

balances[_from] = balances[_from].sub(_value);
balances[_to] = balances[_to].add(_value);
allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
emit Transfer(_from, _to, _value);
return true;
}

function approve(address _spender, uint256 _value) public returns (bool) {
allowed[msg.sender][_spender] = _value;
emit Approval(msg.sender, _spender, _value);
return true;
}

function allowance(address _owner, address _spender) public view returns 
(uint256) {
return allowed[_owner][_spender];
}
function increaseApproval(address _spender, uint _addedValue) public returns 
(bool) {
allowed[msg.sender][_spender] = allowed[msg.sender] 
[_spender].add(_addedValue);
emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
return true;
}
function decreaseApproval(address _spender, uint _subtractedValue) public 
returns (bool) {
uint oldValue = allowed[msg.sender][_spender];
if (_subtractedValue > oldValue) {
allowed[msg.sender][_spender] = 0;
} else {
allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
}
emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
return true;
}

}

contract SpastToken is StandardToken, Ownable {

string public name;
string public symbol;
uint8 public decimals;
uint256 public initialSupply;

constructor() public {
name = 'SPAST-Coin';
symbol = 'SPAS';
decimals = 18;
initialSupply = 100000000 * 10 ** uint256(decimals);
totalSupply_ = initialSupply;
balances[owner] = initialSupply;
emit Transfer(0x0, owner, initialSupply);
}
}

Answer 1

Я думаю, что эти предупреждения довольно очевидны. За исключением, может быть, последнего утверждения. В основном это говорит о том, что вы должны использовать assert() для проверки логических ошибок в вашем коде (это было бы чем-то, что вы сделали неправильно), тогда как вы должны использовать require(), чтобы проверить, допустимы ли входные данные (это было бы ошибка вызывающих абонентов). Я не думаю, что остальные предупреждения могут быть объяснены дальше, подумайте над поиском в Google. Тем не менее, тот, который содержит имена переменных, только для того, чтобы помочь вам избежать опечаток из похожих имен переменных и никак не повлияет на выполнение. Предупреждения модификаторов, которые здесь не появляются, пытаются сказать вам, что у вас могли бы быть более строгие модификаторы для ваших функций, которые снова сделали бы чтение кода более простым.