sslab-gatech / Rudra-PoC
Trophy case for Rudra bugs.
☆38Updated last year
Alternatives and similar repositories for Rudra-PoC:
Users that are interested in Rudra-PoC are comparing it to the libraries listed below
- setup for fuzzing the Rust compiler☆58Updated 8 months ago
- automatially find crashes in the rust compiler & tooling☆70Updated 10 months ago
- UB-free and deterministic rustc fuzzer☆73Updated last month
- ☆44Updated 7 months ago
- ☆144Updated 8 months ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆76Updated 2 weeks ago
- Code coverage support for Rust `no_std` and embedded programs☆54Updated 3 months ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- A framework for large scale analysis of the Rust ecosystem.☆38Updated last week
- Effortlessly fuzz libraries with large API surfaces☆69Updated 3 years ago
- A WebAssembly test case generator☆43Updated 4 years ago
- Define compiler intermediate representation usable by external tools☆66Updated 8 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆23Updated 10 months ago
- ☆70Updated 11 months ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆83Updated last year
- New register allocator designed as a successor to regalloc2☆34Updated 2 weeks ago
- Modular register allocator algorithms☆106Updated 2 years ago
- drop-in replacement for libfuzzer☆68Updated 5 months ago
- A curated list of awesome Rust checkers☆26Updated 2 weeks ago
- A framework for writing plugins that integrate with the Rust compiler☆140Updated 2 months ago
- Simple grammar-based test case generator☆30Updated 9 months ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆49Updated 3 weeks ago
- ☆36Updated last month
- Rust bindings for the Linux userfaultfd functionality☆42Updated 3 weeks ago
- SFI verifier of Wasm binaries☆81Updated last year
- Provides easy-to-use Linux seccomp-bpf jailing.☆81Updated last month
- Rust bindings and utilities for LLVM’s libFuzzer☆225Updated 3 weeks ago
- Generates random strings and byte strings matching a regex☆31Updated 3 weeks ago
- Byte-wise atomic memcpy.☆32Updated last week
- A low-level I/O ownership and borrowing library☆100Updated 2 months ago