Rust · Static analysis

Static analysis

• zizmorcore/zizmor on GitHub, opens in a new tab

  6Kstars

  Static analysis tool for GitHub Actions that finds security issues including template injection, credential leakage, excessive permissions, and impostor commits.

  Rust·MIT License·active·3 hours ago

• verus-lang/verus on GitHub, opens in a new tab

  2.9Kstars

  Verified Rust for low-level systems code

  Rust·MIT License·active·3 hours ago

• creusot-rs/creusot on GitHub, opens in a new tab

  1.8Kstars

  A deductive verifier for Rust that proves absence of panics, overflows, and assertion failures by translating code to the Why3 verification platform

  Rust·GNU Lesser General Public License v2.1·active·8 hours ago

• safer-rust/RAPx on GitHub, opens in a new tab

  162stars

  A platform that helps Rust programmers develop and use advanced static analysis tools beyond those provided by the rustc compiler.

  Rust·Mozilla Public License 2.0·active·14 hours ago

• nwiizo/cargo-coupling on GitHub, opens in a new tab

  94stars

  A Rust coupling analysis tool using Vlad Khononov's "Balancing Coupling in Software Design" framework

  Rust·MIT License·active·2 days ago

• Rafaelpta/dupehound on GitHub, opens in a new tab

  87stars

  Duplicate-code detector that fingerprints function bodies (winnowing), so copies survive renaming. Repo slop score, duplication history chart, and a CI gate that points to the original function to reuse. Supports Rust and 11 other languages.

  Rust·MIT License·active·6 days ago