SafeMath
V večini sodobnih programskih jezikov je upoštevana varnost aritmetičnih operacij, zato se o njihovi implementaciji malo razmišlja. Vendar pa v Solidity prelivanja in prelivanja predstavljajo varnostno tveganje.
SafeMath
je knjižnica, ki zagotavlja varne aritmetične operacije tako, da razveljavi transakcijo, če so meje celoštevilskega podatkovnega tipa presežene.
O using
stavek nakazuje prevajalniku, da pogodba uporablja funkcije, definirane v SafeMath
za uint
operacije. Namesto uporabe aritmetičnih operatorjev (+
, -
, *
, /
, %
), uporabite funkcije add()
, sub()
, mul()
, div()
in mod()
.