sslab-gatech / Rudra-PoCLinks
Trophy case for Rudra bugs.
☆40Updated last year
Alternatives and similar repositories for Rudra-PoC
Users that are interested in Rudra-PoC are comparing it to the libraries listed below
Sorting:
- setup for fuzzing the Rust compiler☆58Updated 6 months ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆86Updated 2 years ago
- Effortlessly fuzz libraries with large API surfaces☆70Updated 4 years ago
- ☆37Updated 9 months ago
- A WebAssembly test case generator☆43Updated 4 years ago
- UB-free and deterministic rustc fuzzer☆91Updated 2 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- Define compiler intermediate representation usable by external tools☆85Updated last month
- automatially find crashes in the rust compiler & tooling☆75Updated last year
- A framework for writing plugins that integrate with the Rust compiler☆157Updated last week
- Code coverage support for Rust `no_std` and embedded programs☆60Updated 11 months ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆93Updated last week
- ☆155Updated last year
- A graphical debugger for Rust MIR☆195Updated 3 years ago
- sptr: The Strict Provenance Polyfill☆75Updated last year
- A library for generating Graphviz DOT language files for graphs.☆77Updated 6 months ago
- Rust bindings for libgccjit☆23Updated last month
- A framework for large scale analysis of the Rust ecosystem.☆38Updated this week
- home for proposals in and around compile-time function evaluation☆110Updated 2 years ago
- Deserialization logic for efficiently processing Clang's `-ast-dump=json` format☆145Updated 2 weeks ago
- ☆47Updated 3 months ago
- A wrapper for build.rs instructions☆16Updated 2 years ago
- A safe `Pin`-based intrusive doubly-linked list in Rust☆22Updated 6 months ago
- A generic, fixed-size, associative cache☆39Updated 10 months ago
- A low-level I/O ownership and borrowing library☆104Updated last month
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆110Updated last month
- drop-in replacement for libfuzzer☆70Updated last month
- RustPräzi: Representing crates.io as a call-based dependency network☆82Updated 6 years ago
- A symbolic evaluator for MIR☆19Updated 5 years ago
- Modeling NLL and the Rust borrowck☆85Updated 8 years ago