智能合约漏洞——int 溢出校验

 

 

function add(uint256 a, uint256 b) internal pure returns (uint256) { 
   
   uint256 c = a + b;
   require(c >= a); 
   return c;
 }

对于 int 类型的整数溢出不能用这个safemath去校验，目前主流的方法是判断结果是否大于0 ，小于0 证明回绕溢出了

var x int8 = 120；
var y int8 = 8；
var z = x + y；
println(z) // -128