sslab-gatech / RudraLinks
Rust Memory Safety & Undefined Behavior Detection
☆1,341Updated last year
Alternatives and similar repositories for Rudra
Users that are interested in Rudra are comparing it to the libraries listed below
Sorting:
- Command line helpers for fuzzing☆1,643Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,646Updated this week
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,491Updated last week
- Rust mid-level IR Abstract Interpreter☆1,010Updated 10 months ago
- Concurrency permutation testing tool for Rust.☆2,386Updated 2 months ago
- Rust tool to collect and aggregate code coverage data for multiple source files☆1,280Updated this week
- rd is a record/replay debugger written in rust☆961Updated 3 years ago
- 🏆 Collection of bugs uncovered by fuzzing Rust code☆435Updated 3 weeks ago
- Kani Rust Verifier☆2,580Updated this week
- Forum for discussion about what unsafe code can and can't do☆698Updated 3 weeks ago
- 🐇 Fuzzing Rust code with American Fuzzy Lop☆1,744Updated this week
- Hypothesis-like property testing for Rust☆1,889Updated this week
- Generating structured data from arbitrary, unstructured input.☆786Updated 2 months ago
- RustSec API & Tooling☆1,695Updated this week
- Defines the Rust borrow checker.☆1,452Updated 2 weeks ago
- Security advisory database for Rust crates published through crates.io☆995Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆1,996Updated 6 months ago
- A precise specification for "Rust lite / MIR plus"☆874Updated last week
- A Rust port of FlameGraph☆1,846Updated last week
- Cranelift based backend for rustc☆1,804Updated this week
- Auditing crates for unsafe code which can be safely replaced☆549Updated 3 years ago
- Safe Rust bindings to POSIX-ish APIs☆1,712Updated this week
- An impish, cross-platform binary parsing crate, written in Rust☆1,300Updated this week
- A fast bump allocation arena for Rust☆1,782Updated 2 weeks ago
- Attribute macro to require that the compiler prove a function can't ever panic☆1,132Updated 3 months ago
- Rust derive-based argument parsing optimized for code size☆1,807Updated last month
- cargo subcommand showing the assembly or llvm-ir generated for Rust code☆1,230Updated last year
- A crate for managing memory bit by bit☆1,311Updated 10 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,940Updated 3 weeks ago
- libgccjit AOT codegen for rustc☆1,004Updated this week