Rust soundness and use of unsafe in peer reviews

• nomicon

  87 1,685 5.5 CSS

  The Dark Arts of Advanced and Unsafe Rust Programming

  

An easier and more down-to-earth reference on unsafe code is the Rustonomicon. It isn't definitive or fully comprehensive (many issues are not discussed in detail), but it's the best current approximation to the manual of unsafe code. It also doean't concern itself just with references, but rather with all unsafe issues. IMHO anyone who wants to write a line of unsafe for any reason should read the 'Nomicon, preferrably even pass an exam on it. There are many more possible pitfalls than most people would realize.

• miri

  120 3,931 10.0 Rust

  An interpreter for Rust's mid-level intermediate representation

  

Do see how the code behaves under Miri if possible. It may just be a dynamic analyzer akin to LLVM's sanitizers, so it can't catch everything, but if it does complain, "ERROR: This code is invalid" is quite convincing.

• 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.

  

Suggest a related project