sslab-gatech / Rudra
Rust Memory Safety & Undefined Behavior Detection
☆1,329Updated last year
Alternatives and similar repositories for Rudra:
Users that are interested in Rudra are comparing it to the libraries listed below
- Command line helpers for fuzzing☆1,595Updated 2 weeks ago
- Rust mid-level IR Abstract Interpreter☆1,000Updated 7 months ago
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,437Updated 7 months ago
- rd is a record/replay debugger written in rust☆956Updated 2 years ago
- Concurrency permutation testing tool for Rust.☆2,282Updated last month
- Kani Rust Verifier☆2,450Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆1,943Updated 3 months ago
- Security advisory database for Rust crates published through crates.io☆971Updated this week
- 🏆 Collection of bugs uncovered by fuzzing Rust code☆427Updated last month
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,617Updated this week
- Generating structured data from arbitrary, unstructured input.☆745Updated last week
- Rust tool to collect and aggregate code coverage data for multiple source files☆1,237Updated last week
- A precise specification for "Rust lite / MIR plus"☆841Updated last week
- RustSec API & Tooling☆1,641Updated this week
- Defines the Rust borrow checker.☆1,417Updated 9 months ago
- libgccjit AOT codegen for rustc☆959Updated 2 weeks ago
- 🐇 Fuzzing Rust code with American Fuzzy Lop☆1,697Updated last week
- A modern Rust debugging library 🦀☆892Updated 2 years ago
- Make production Rust binaries auditable☆715Updated this week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,272Updated this week
- Forum for discussion about what unsafe code can and can't do☆682Updated 4 months ago
- Auditing crates for unsafe code which can be safely replaced☆548Updated 3 years ago
- A crate for managing memory bit by bit☆1,271Updated 7 months ago
- Attribute macro to require that the compiler prove a function can't ever panic☆1,065Updated 2 weeks ago
- Safe Rust bindings to POSIX-ish APIs☆1,634Updated this week
- Hypothesis-like property testing for Rust☆1,826Updated this week
- Analysis of various tricky Rust code☆1,883Updated 2 months ago
- The `io_uring` library for Rust☆1,295Updated last month
- Cranelift based backend for rustc☆1,723Updated this week
- A next-generation test runner for Rust.☆2,362Updated this week