Top 5 Rust Verification Projects
A static verifier for Rust, based on the Viper verification infrastructure.Project mention: What's your strategy for checking that your code is panic free? | reddit.com/r/rust | 2022-05-16
See also https://github.com/viperproject/prusti-dev
Kani Rust VerifierProject mention: Kani Rust Verifier – a bit-precise model-checker for Rust | news.ycombinator.com | 2022-03-23
Looks like that the project has changed its name from "rmc" (Rust Model Checker) to this. Various sources point to rmc as https://github.com/model-checking/rmc (redirected to https://github.com/model-checking/kani) and https://model-checking.github.io/rmc/ (404). Anyone knows why?
Deliver Cleaner and Safer Code - Right in Your IDE of Choice!. SonarLint is a free and open source IDE extension that identifies and catches bugs and vulnerabilities as you code, directly in the IDE. Install from your favorite IDE marketplace today.
Fast and efficient ed25519 signing and verification in Rust.
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!Project mention: What Is Rust's Unsafe? | news.ycombinator.com | 2022-04-10
> I’ve been working on a tool: https://github.com/xldenis/creusot to put this into practice
Note that there are other tools trying to deal with formal statements about Rust code. AIUI, Rust developers are working on forming a proper working group for pursuing these issues. We might get a RFC-standardized way of expressing formal/logical conditions about Rust code, which would be a meaningful first step towards supporting proof-carrying code within Rust.
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.Project mention: AdaCore and Ferrous Systems Joining Forces to Support Rust | news.ycombinator.com | 2022-02-02
I hope someone also picks up the work started in https://project-oak.github.io/rust-verification-tools/ - the idea of having a `cargo verify` tool that supports different backends is great for bridging the academic PoCs with something that an average programmer can integrate into the dev workflow.
Rust Verification related posts
What's your strategy for checking that your code is panic free?
3 projects | reddit.com/r/rust | 16 May 2022
What Is Rust's Unsafe?
5 projects | news.ycombinator.com | 10 Apr 2022
Things I hate about Rust, redux
7 projects | reddit.com/r/rust | 10 Mar 2022
AdaCore and Ferrous Systems Joining Forces to Support Rust
14 projects | news.ycombinator.com | 2 Feb 2022
Uncovered Intermediate Topics
11 projects | reddit.com/r/rust | 18 Dec 2021
Magma, a project I hope will make provably correct software possible for everyone
9 projects | reddit.com/r/rust | 18 Nov 2021
Flowistry helps you understand Rust programs with program analysis
2 projects | news.ycombinator.com | 28 Sep 2021
What are some of the best open-source Verification projects in Rust? This list will help you:
Are you hiring? Post a new remote job listing for free.