Update the UBSAN checks according to the KSPP recommendations