Since soldity 0.4.16 there is a support for overflow checking:
From the documentation :
solc now include experimental support for automated overflow and assertion checking at compile-time using the SMT solver Z3
Badr Bellaj ♦
- 18.8k
- 4
- 59
- 75