Top 5 Rust Verification Projects
-
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
-
Project 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?
-
SonarLint
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.
-
-
creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
> 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.
-
rust-verification-tools
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-02I 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?
- What Is Rust's Unsafe?
- Things I hate about Rust, redux
- AdaCore and Ferrous Systems Joining Forces to Support Rust
- Uncovered Intermediate Topics
- Magma, a project I hope will make provably correct software possible for everyone
- Flowistry helps you understand Rust programs with program analysis
Index
What are some of the best open-source Verification projects in Rust? This list will help you:
Project | Stars | |
---|---|---|
1 | prusti-dev | 566 |
2 | kani | 517 |
3 | ed25519-dalek | 482 |
4 | creusot | 304 |
5 | rust-verification-tools | 236 |
Are you hiring? Post a new remote job listing for free.