sslab-gatech / RudraLinks
Rust Memory Safety & Undefined Behavior Detection
☆1,346Updated 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,675Updated last month
- Rust mid-level IR Abstract Interpreter☆1,011Updated last year
- Detects usage of unsafe Rust in a Rust crate and its dependencies.☆1,505Updated last week
- rd is a record/replay debugger written in rust☆959Updated 3 years ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,669Updated last week
- 🏆 Collection of bugs uncovered by fuzzing Rust code☆438Updated 3 months ago
- Forum for discussion about what unsafe code can and can't do☆701Updated last week
- Generating structured data from arbitrary, unstructured input.☆815Updated last week
- Kani Rust Verifier☆2,641Updated this week
- 🐇 Fuzzing Rust code with American Fuzzy Lop☆1,763Updated this week
- Rust tool to collect and aggregate code coverage data for multiple source files☆1,286Updated last week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆2,011Updated 8 months ago
- Security advisory database for Rust crates published through crates.io☆1,011Updated last week
- Defines the Rust borrow checker.☆1,489Updated 2 months ago
- RustSec API & Tooling☆1,725Updated this week
- Concurrency permutation testing tool for Rust.☆2,445Updated 2 weeks ago
- A precise specification for "Rust lite / MIR plus"☆922Updated this week
- An impish, cross-platform binary parsing crate, written in Rust☆1,334Updated last week
- Auditing crates for unsafe code which can be safely replaced☆551Updated 3 years ago
- A free book about developing secure and robust systems software.☆1,362Updated last month
- Attribute macro to require that the compiler prove a function can't ever panic☆1,143Updated this week
- libgccjit AOT codegen for rustc☆1,024Updated last week
- Heap profiling and ad hoc profiling for Rust programs.☆871Updated 6 months ago
- Fuzz your Rust code with Google-developed Honggfuzz !☆489Updated 3 weeks ago
- Hypothesis-like property testing for Rust☆1,914Updated last month
- cargo subcommand showing the assembly or llvm-ir generated for Rust code☆1,234Updated last year
- Library to analyze and collect metrics on source code☆334Updated last month
- Analysis of various tricky Rust code☆1,941Updated 2 months ago
- Safe Rust bindings to POSIX-ish APIs☆1,752Updated 2 weeks ago
- A crate for managing memory bit by bit☆1,319Updated last year