🦀 Small exercises to get you used to reading and writing Rust code!

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

Kani Rust Verifier

Verified Rust for low-level systems code

A static verifier for Rust, based on the Viper verification infrastructure.

Source code of Ferrocene, safety-critical Rust toolchain

Creusot helps you prove your code is correct in an automated fashion.

Rust tool to collect and aggregate code coverage data for multiple source files

Implementation of the Cedar Policy Language

Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).

Verifying the Rust standard library

IAM Policy Autopilot is an open source static code analysis tool that helps you quickly create baseline AWS IAM policies that you can refine as your application evolves. This tool is available as a…

Some examples of using the Cedar language to specify authorization

Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.

Mostly complete pure rust implementation of parsing llvm instrumentation profile data