Is there something like "super-safe" rust?

• kani

  47 1,885 9.5 Rust

  Kani Rust Verifier

  

kani (e.g. used by hifitime)

• no-panic

  12 515 4.2 Rust

  Discontinued Attribute macro to require that the compiler prove a function can't ever panic

/u/dtolnay has a no-panic macro, I don't know its limitations but in older comments they note it pretty much has to be used in release mode, as there are lots of panic codepaths which get optimised out.

• 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

  9 215 0.0 Rust

  A tool to detect code paths leading to Rust's panic handler

  

There is also rustig though it seems quite dead.

• hifitime

  2 297 8.1 Rust

  A high fidelity time management library in Rust

  

kani (e.g. used by hifitime)

• prusti-dev

  23 1,460 8.8 Rust

  A static verifier for Rust, based on the Viper verification infrastructure.

  

prusti

• MIRAI

  9 956 0.0 Rust

  Rust mid-level IR Abstract Interpreter

  

MIRAI

• findpanics

  6 35 0.0 Rust

  Find calls to panic functions in rust executables

findpanics is also unmaintained, but a couple of years younger.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

Suggest a related project