Is There Anyway To Analyze Unsafe Rust Code For Vulnerabilities?

This page summarizes the projects mentioned and recommended in the original post on /r/rust

Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
  • miri

    An interpreter for Rust's mid-level intermediate representation

  • You can use Miri, an interpreter for one of Rust's internal representations, to check your code for undefined behaviour. Miri doesn't catch all undefined behaviour and doesn't work in some cases (ex. most FFI), but it's still a very useful tool.

  • ulid-lite

    Generate unique, yet sortable identifiers

  • You are welcome to take a look: https://github.com/timClicks/ulid-lite/blob/e3e97b55bc3183417f732b435cd8d916a8be339f/src/lib.rs

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • Rudra

    Rust Memory Safety & Undefined Behavior Detection

  • Haven't used it myself, but I remembered a tool called Rudra was recently posted about in the sub

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts