woodruffw / molluscLinks
Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
☆82Updated last year
Alternatives and similar repositories for mollusc
Users that are interested in mollusc are comparing it to the libraries listed below
Sorting:
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- In-memory x86-64 assembler for JIT compiler.☆78Updated 8 months ago
- Synthesis of Loop-free Programs in Rust☆66Updated 5 years ago
- New register allocator designed as a successor to regalloc2☆54Updated last month
- Direct, source-level WebAssembly debugger☆51Updated 4 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆100Updated last week
- ☆74Updated last year
- A WebAssembly test case generator☆43Updated 5 years ago
- Modular register allocator algorithms☆105Updated 3 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆80Updated this week
- Read virtual memory maps from another process☆80Updated 11 months ago
- Proxy LLVM calls into Rust own shared library in runtime☆34Updated last year
- Higher level LLDB bindings for Rust built on lldb-sys.☆60Updated 10 months ago
- Display debugging information☆151Updated 3 months ago
- SFI verifier of Wasm binaries☆83Updated 2 years ago
- A high-level API for interacting with SMT solvers.☆32Updated 2 weeks ago
- Wasm Analysis Framework For Lightweight Experiments☆53Updated 5 months ago
- Simple grammar-based test case generator☆34Updated last week
- Assembler toolkit: encoding and decoding of various architectures☆38Updated last year
- Deserialization logic for efficiently processing Clang's `-ast-dump=json` format☆149Updated this week
- Easy SMT solver interaction☆34Updated 5 months ago
- drop-in replacement for libfuzzer☆72Updated 4 months ago
- C port of the Rust symbol demangler (rustc-demangle)☆44Updated 2 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆62Updated last week
- Compiler optimizer for arbitrary control flow based on equality saturation☆106Updated 3 years ago
- program analysis for machine code☆36Updated 4 years ago
- Deprecated! Use qemu-rs instead :)☆72Updated 2 years ago
- ☆58Updated 5 months ago
- Experimental JIT compiler generator☆28Updated last year
- x86 decoders for the yaxpeax project☆141Updated 2 months ago