Rudra: Rust Memory Safety & Undefined Behavior Detection

• Rudra

  11 1,311 5.5 Rust

  Rust Memory Safety & Undefined Behavior Detection

  

• InfluxDB

  www.influxdata.com featured

  Purpose built for real-time analytics at any scale. InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.

  

• advisory-db

  37 900 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!

• Rudra-PoC

  3 36 2.6 Rust

  Trophy case for Rudra bugs.

  

• project-safe-transmute

  7 81 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,728 96,650 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