Open llooFlashooll opened 2 months ago
It is true that Object
should ideally be an extern
type so that accesses such as this one would be correctly calculated, but extern
types are not yet stable in Rust, so instead we use a ZST, which allow some of the same things (for now).
So nothing for objc
to do here, Rust needs to progress further with extern
types first.
Hi, I am scanning the objc in the latest version with my own static analyzer tool.
Unsafe conversion found at: src/runtime.rs#L506
This unsound implementation would create a misalignment issues if the type size of
Object
is smaller than the type size ofT
.This would potentially cause undefined behaviors in Rust. If we further manipulate the problematic converted types, it would potentially lead to different consequences such as access out-of-bound. I am reporting this issue for your attention.