Is there something like "super-safe" rust?

• kani

  47 1,986 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 featured

  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 216 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 300 9.0 Rust

  A high fidelity time management library in Rust

  

kani (e.g. used by hifitime)

• prusti-dev

  23 1,488 8.3 Rust

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

  

prusti

• MIRAI

  9 969 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.

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

Suggest a related project