Uninitialized Memory: Unsafe Rust is Too Hard

• miri

  120 3,955 10.0 Rust

  An interpreter for Rust's mid-level intermediate representation

  

Sadly there's no way to tell miri to consider &mut T valid only if T is valid (that choice is not settled yet, AFAIK, at the language design level), in order to demonstrate the difference (https://github.com/rust-lang/miri/issues/1638).

• reference

  22 1,133 8.7 Rust

  The Rust Reference (by rust-lang)

  

I opened an issue about it.

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• project-uninit

  2 2 1.8 Rust

This is where I was going to link to a custom derive that someone has written to generate that kind of transform manually (with the necessary check for safe field access wrt alignment). To my shock, I can't find one. Did I see one and did it have a funny name? (the one thing I did find was a macro crate but unlike a derive those have a harder time checking everything so I had to report https://github.com/youngspe/project-uninit/issues/1)

• rfcs

  666 5,700 9.8 Markdown

  RFCs for changes to Rust

  

Don't believe, read the RFC for nonzero integers https://github.com/rust-lang/rfcs/blob/master/text/2307-concrete-nonzero-types.md

Suggest a related project