Rudra: Rust Memory Safety & Undefined Behavior Detection

• Rudra

  11 1,296 5.5 Rust

  Rust Memory Safety & Undefined Behavior Detection

  

• advisory-db

  37 862 9.3

  Security advisory database for Rust crates published through crates.io

  

To clarify, this can analyze unsafe code. It has found 70+ real-world issues to date. I've reviewed many of them for inclusion in https://github.com/rustsec/advisory-db, I'm glad to see the tool used to find them released at last!

• InfluxDB

  www.influxdata.com featured

  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.

  

• Rudra-PoC

  3 33 2.6 Rust

  Trophy case for Rudra bugs.

  

• project-safe-transmute

  7 78 0.0

  Project group working on the "safe transmute" feature

  

One of the biggest notable examples is unsafe transmutes that could be safe. In fact there's a safe transmute working group trying to cover these cases. Just to give an example, if you have a #[repr(transparent)] newtype, it could be possible to safely transmute from a reference of an inner type to the type it wraps (for e.g. 1-tuple or 1-field structs), but doing that now presently requires unsafe.

• rust

  2,686 93,266 10.0 Rust

  Empowering everyone to build reliable and efficient software.

  

Here is the github issue

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

Suggest a related project