[Change]: Add pointer-related UB

### Change description

We are missing some of the UBs starting from [pointer-to bytes](https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html#pointed-to-bytes)

### Area

types

### Category

New content

### FLS Paragraph ID

_No response_

### Change description (extended)

We should add
* Pointed-to bytes
* Places based on misaligned pointers
* Dangling pointers