Since soldity 0.4.16 there is a support for overflow checking:

From the [documentation][1] :

    

> solc now include experimental support for automated overflow and
> assertion checking at compile-time using the SMT solver Z3


  [1]: https://github.com/ethereum/solidity/releases/tag/v0.4.16