2 Checks for transmute calls which would receive a null pointer.
5 Transmuting a null pointer is undefined behavior.
8 Not all cases can be detected at the moment of this writing.
9 For example, variables which hold a null pointer and are then fed to a `transmute`
10 call, aren't detectable yet.
14 let null_ref: &u64 = unsafe { std::mem::transmute(0 as *const u64) };