sslab-gatech / RudraLinks
Rust Memory Safety & Undefined Behavior Detection
☆1,340Updated 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,635Updated this week
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,480Updated last week
- Rust mid-level IR Abstract Interpreter☆1,008Updated 9 months ago
- rd is a record/replay debugger written in rust☆960Updated 2 years ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,646Updated 2 weeks ago
- Concurrency permutation testing tool for Rust.☆2,352Updated last month
- Kani Rust Verifier☆2,557Updated this week
- 🐇 Fuzzing Rust code with American Fuzzy Lop☆1,736Updated this week
- Generating structured data from arbitrary, unstructured input.☆785Updated last month
- Hypothesis-like property testing for Rust☆1,880Updated this week
- 🏆 Collection of bugs uncovered by fuzzing Rust code☆433Updated last week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆1,989Updated 5 months ago
- Rust tool to collect and aggregate code coverage data for multiple source files☆1,272Updated last week
- Defines the Rust borrow checker.☆1,443Updated 11 months ago
- Safe Rust bindings to POSIX-ish APIs☆1,693Updated last week
- A precise specification for "Rust lite / MIR plus"☆868Updated last week
- Attribute macro to require that the compiler prove a function can't ever panic☆1,132Updated 2 months ago
- "Small vector" optimization for Rust: store up to a small number of items on the stack☆1,473Updated this week
- RustSec API & Tooling☆1,680Updated last week
- A crate for managing memory bit by bit☆1,306Updated 9 months ago
- Compile time static maps for Rust☆1,928Updated 4 months ago
- Security advisory database for Rust crates published through crates.io☆991Updated last week
- Forum for discussion about what unsafe code can and can't do☆696Updated this week
- Cranelift based backend for rustc☆1,773Updated this week
- Website for graphing performance of rustc☆668Updated this week
- A fast bump allocation arena for Rust☆1,753Updated this week
- cargo subcommand showing the assembly or llvm-ir generated for Rust code☆1,229Updated last year
- A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications☆1,567Updated this week
- Fuzz your Rust code with Google-developed Honggfuzz !☆481Updated last month
- Runtime for executing procedural macros as WebAssembly☆1,387Updated 2 weeks ago