SaaSHub helps you find the best software and product alternatives Learn more →
Similar projects and alternatives to kani
A static verifier for Rust, based on the Viper verification infrastructure.
Rust mid-level IR Abstract Interpreter
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
A tool to detect code paths leading to Rust's panic handler
Kani Rust Verifier [Moved to: https://github.com/model-checking/kani]
An ergonomic and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust, with full no_std support.
Runtime for executing procedural macros as WebAssembly
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
Display syntax-diagrams for Rust-macros on docs.rs and doc.rust-lang.org
Empowering everyone to build reliable and efficient software.
A refreshingly simple data-driven game engine built in Rust
🚀 The leading WebAssembly Runtime supporting WASI and Emscripten
An interpreter for Rust's mid-level intermediate representation
Learn Rust by writing Entirely Too Many linked lists
The Dark Arts of Advanced and Unsafe Rust Programming
An implementation of the IETF QUIC protocol
symbolic execution engine for Rust (by dwrensha)
Rust / Wasm framework for building client web apps
State machines and statecharts for the modern web.
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
kani reviews and mentions
Kani 0.28.0 has been released!
2 projects | /r/KaniRustVerifier | 16 May 2023
Here's a summary of what's new in version 0.28.0:
Kani 0.27.0 has been released!
2 projects | /r/KaniRustVerifier | 2 May 2023
However, there may be more down the line since we don't have (1) for now. If you're interested, would you mind commenting to this issue?2 projects | /r/KaniRustVerifier | 2 May 2023
We're excited to announce the release of Kani Rust Verifier v0.27.0! Kani is a bit-precise model checker for Rust, and this new release comes with exciting changes and improvements.
Is there something like "super-safe" rust?
8 projects | /r/rust | 25 Mar 2023
kani (e.g. used by hifitime)8 projects | /r/rust | 25 Mar 2023
Must move types by Niko Matsakis
3 projects | /r/rust | 17 Mar 2023
Doing this legwork for unsafe code is 100% required, and the compiler isn't of much help here (but there are external tools that check unsafe code like kani).
Kani 0.23.0 has been released
2 projects | /r/rust | 9 Mar 2023
change about to be merged.. thanks for the contribution! https://github.com/model-checking/kani/pull/22872 projects | /r/rust | 9 Mar 2023
I did the thing.
Teaching Rust 101 at Imperial College
3 projects | /r/rust | 6 Mar 2023
I would also spend a bit of time talking about how unsafe code can be used appropriately. And along with that you have the responsibility of doing the verification on u u our own using tools like kani
Prop v0.42 released! Don't panic! The answer is... support for dependent types :)
5 projects | /r/rust | 18 Jan 2023
Wow that sounds really cool! I'm not an expert but does that mean that one day you could implement dependend types or refinement types in Rust as a crate ? I currently only know of tools like: Flux Creusot Kani Prusti
A note from our sponsor - #<SponsorshipServiceOld:0x00007f0922e1aaf0>
www.saashub.com | 7 Jun 2023
model-checking/kani is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of kani is Rust.