bytecodealliance / waffleLinks
Wasm Analysis Framework For Lightweight Experiments
☆46Updated 6 months ago
Alternatives and similar repositories for waffle
Users that are interested in waffle are comparing it to the libraries listed below
Sorting:
- Debugging WebAssembly? Put some Whamm! on it.☆30Updated last week
- ☆58Updated 8 months ago
- the WebAssembly partial evaluator☆55Updated 6 months ago
- Easy SMT solver interaction☆35Updated 2 months ago
- A self-generating WebAssembly parser & serializer in Rust.☆18Updated 3 weeks ago
- We have Crater At Home☆34Updated 7 months ago
- A sandboxed local task runner for Rust☆21Updated 8 months ago
- A different approach to an E-graph library☆25Updated last month
- A draft proposal for spawning threads in WebAssembly☆62Updated 3 months ago
- The WebAssembly Indirect Call Inliner☆27Updated last year
- New register allocator designed as a successor to regalloc2☆38Updated 2 months ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆83Updated 3 weeks ago
- ☆10Updated 5 years ago
- Ambient Authority☆21Updated last year
- A WebAssembly test case generator☆43Updated 4 years ago
- DWARF program analysis crate☆18Updated last year
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆38Updated this week
- Fast Wasm interpreter in Rust☆18Updated 3 years ago
- Atomic `dbg`/`eprintln`/`eprint` macros☆17Updated 2 months ago
- Rust LLVM bindings☆31Updated 2 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆68Updated 3 weeks ago
- Reading DWARF information from wasm files.☆19Updated 6 years ago
- Modular register allocator algorithms☆106Updated 2 years ago
- atomalloc is an asynchronous, atomic, and lock-free memory allocator written in pure safe Rust☆29Updated 2 months ago
- SFI verifier of Wasm binaries☆81Updated 2 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- sptr: The Strict Provenance Polyfill☆76Updated last year
- Ultra-compact storage for collections of enums 🌱☆22Updated 2 years ago
- Transport-polymorphic, asynchronous session types for Rust☆62Updated 2 years ago