You can also just use ubsan if you want the runtime checks for overflows in C/C++, no need to switch languages for this.