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 9 months ago
- automatially find crashes in the rust compiler & tooling☆71Updated 10 months ago
- A WebAssembly test case generator☆43Updated 4 years ago
- ☆36Updated 2 months ago
- UB-free and deterministic rustc fuzzer☆74Updated last month
- ☆145Updated 9 months ago
- Effortlessly fuzz libraries with large API surfaces☆69Updated 3 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆76Updated last week
- Code coverage support for Rust `no_std` and embedded programs☆54Updated 4 months ago
- ☆46Updated 8 months ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆84Updated last year
- ☆70Updated last year
- A framework for large scale analysis of the Rust ecosystem.☆38Updated last week
- Define compiler intermediate representation usable by external tools☆66Updated 8 months ago
- drop-in replacement for libfuzzer☆68Updated 6 months ago
- Modular register allocator algorithms☆106Updated 2 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆24Updated 10 months ago
- New register allocator designed as a successor to regalloc2☆36Updated last week
- SFI verifier of Wasm binaries☆81Updated last year
- A framework for writing plugins that integrate with the Rust compiler☆141Updated this week
- Simple grammar-based test case generator☆30Updated last week
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 4 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- Generates random strings and byte strings matching a regex☆31Updated last month
- Deserialization logic for efficiently processing Clang's `-ast-dump=json` format☆137Updated last week
- Target "triple" support☆50Updated last month
- sptr: The Strict Provenance Polyfill☆76Updated last year
- A low-level I/O ownership and borrowing library☆101Updated 3 months ago
- Find calls to panic functions in rust executables☆35Updated 3 years ago
- Rust bindings for the Linux userfaultfd functionality☆42Updated last month