sslab-gatech / RudraLinks
Rust Memory Safety & Undefined Behavior Detection
☆1,356Updated 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,689Updated last week
- Rust mid-level IR Abstract Interpreter☆1,010Updated last year
- rd is a record/replay debugger written in rust☆960Updated 3 years ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,681Updated 2 weeks ago
- Generating structured data from arbitrary, unstructured input.☆824Updated last month
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,523Updated 2 weeks ago
- 🏆 Collection of bugs uncovered by fuzzing Rust code☆439Updated 4 months ago
- Kani Rust Verifier☆2,686Updated this week
- Forum for discussion about what unsafe code can and can't do☆707Updated last month
- Security advisory database for Rust crates published through crates.io☆1,033Updated this week
- 🐇 Fuzzing Rust code with American Fuzzy Lop☆1,770Updated last week
- Attribute macro to require that the compiler prove a function can't ever panic☆1,151Updated 2 weeks ago
- Defines the Rust borrow checker.☆1,508Updated 3 months ago
- libgccjit AOT codegen for rustc☆1,034Updated this week
- Concurrency permutation testing tool for Rust.☆2,471Updated last month
- Fuzz your Rust code with Google-developed Honggfuzz !☆490Updated last week
- Website for graphing performance of rustc☆687Updated this week
- RustSec API & Tooling☆1,749Updated this week
- A modern Rust debugging library 🦀☆891Updated 3 years ago
- Rust tool to collect and aggregate code coverage data for multiple source files☆1,300Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆2,164Updated last week
- A precise specification for "Rust lite / MIR plus"☆935Updated 3 weeks ago
- An impish, cross-platform binary parsing crate, written in Rust☆1,354Updated 2 weeks ago
- cargo subcommand showing the assembly or llvm-ir generated for Rust code☆1,244Updated last year
- Heap profiling and ad hoc profiling for Rust programs.☆881Updated 7 months ago
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆443Updated 2 months ago
- Auditing crates for unsafe code which can be safely replaced☆558Updated 3 years ago
- Hypothesis-like property testing for Rust☆1,937Updated this week
- Library to analyze and collect metrics on source code☆346Updated last week
- A unified interface for reading and writing object file formats☆768Updated 2 weeks ago