rust-1.97-miri

Undefined behavior detector for unstable Rust
  http://www.rust-lang.org/
  0
  no reviews

no screenshot

Rust is a curly-brace, block-structured expression language. It visually resembles the C language family, but differs significantly in syntactic and semantic details. Its design is oriented toward concerns of "programming in the large", that is, of creating and maintaining boundaries - both abstract and operational - that preserve large-system integrity, availability and concurrency.

It supports a mixture of imperative procedural, concurrent actor, object-oriented and pure functional styles. Rust also supports generic programming and meta-programming, in both static and dynamic styles.

This package distributes the 'cargo-1.97-unstable-miri' binary, a tool which runs binaries and test suites of cargo projects and detects unsafe code which fails to uphold its safety requirements.

Since use of Miri in this manner requires access to unstable toolchain features, use of this tool does not come with the same stability guarantees of stable Rust. Any issues with this package should be directed towards the package maintainers and not to the upstream Rust developers.