This repository is a fork of the official Rust programming language repository, created solely to verify the Rust standard library. It should not be used as an alternative to the official Rust releases.
The goal is to have a verified Rust standard library and prove that it is safe.
The Kani Rust Verifier is a bit-precise model checker for Rust. Kani verifies:
assert!(...)
)unwrap()
on None
values)You can find out more about Kani from the Kani book or the Kani repository on Github.
For questions, suggestions or feedback, feel free to open an issue here.
See SECURITY for more information.
Kani is distributed under the terms of both the MIT license and the Apache License (Version 2.0). See LICENSE-APACHE and LICENSE-MIT for details.
Rust is primarily distributed under the terms of both the MIT license and the Apache License (Version 2.0), with portions covered by various BSD-like licenses.
See the Rust repository for details.