misaligned pointer dereference in `read_next_value`
shinmao opened this issue · comments
Rafael commented
Hi, I found some potential unsoundness in safe method read_next_value
:
Lines 177 to 185 in f8c0087
In line 184, the code will transmute type of
&u8
to &u32
which will create a misaligned pointer, and the pointer is dereferenced in line 185 which will lead to undefined behavior. Is there any test function for read_next_value
?