Kani Rust Verifier Blog | The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project.

Posts

Dec 10, 2024
Verifying Raw Pointer Arithmetic Operations
Dec 3, 2024
Verifying Safety of Rust's CStr
Dec 2, 2024
Safety of Methods for Numeric Primitive Types
Jan 29, 2024
Function Contracts for Kani
Aug 31, 2023
Using Kani to Validate Security Boundaries in AWS Firecracker
Aug 3, 2023
Turbocharging Rust Code Verification
Jun 30, 2023
Introducing the Kani VS Code Extension
May 30, 2023
How s2n-quic uses Kani to inspire confidence
May 1, 2023
Writing Code with ChatGPT? Improve it with Kani.
Mar 31, 2023
How Kani helped find bugs in Hifitime
Feb 28, 2023
Kani Internship Projects 2022: Function Stubbing
Jan 30, 2023
Checking Code Reachability and Sanity Checking Proof Harnesses with kani::cover
Dec 21, 2022
Easily verify your Rust in CI with Kani and Github Actions
Oct 27, 2022
From Fuzzing to Proof: Using Kani with the Bolero Property-Testing Framework
Sep 22, 2022
Internship Projects 2022: Concrete Playback
Aug 17, 2022
Using the Kani Rust Verifier on Tokio Bytes
Jul 13, 2022
Using the Kani Rust Verifier on a Firecracker Example
Jun 1, 2022
Using the Kani Rust Verifier on a Rust Standard Library CVE
May 4, 2022
Announcing the Kani Rust Verifier Project