"uninitialized memory" and "null checks" is part of flow analysis. UB and out of bound is not part of it.