rust-secure-code / safety-dance

Auditing crates for unsafe code which can be safely replaced

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Audit bytemuck

Lokathor opened this issue · comments

https://crates.io/crates/bytemuck

The 0.1 is released, there's a 0.1.1-alpha sitting in git that doesn't have any particular changes in it at the moment.

Not a great deal of dependents so far, but could be useful as a safe abstraction for other crates. I've been dissatisfied with safe_transmute but this looks much more promising.

Bytemuck has seen independent soundness audit via cargo-crev (e.g. HeroicKatora/crev-proofs@17f1e67). Being a safe abstraction over an inherently unsafe operation, there's not much room for reducing usage of unsafe code. Closing.