Is Rust Used Safely by Software Developers?

• MIRAI

  9 959 0.0 Rust

  Rust mid-level IR Abstract Interpreter

  

With the mirai_assertions feature, it can use the MIRAI static analyzer (though it requires nightly).

• rfcs

  666 5,700 9.8 Markdown

  RFCs for changes to Rust

  

Check out the tightness crate and accompanying blog post. I believe compile-time value checks is in the realm of dependent types. There has been some discussion about adding dependent types to Rust.

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

  

• rustig

  4 5 0.0 Rust

  A tool to detect code paths leading to Rust's panic handler (by MichaelMauderer)

I didn't have time to read through the whole paper but this bit of the conclusion statement makes it sound like they reinvented Rustig for unsafe.

Suggest a related project