sola-st / wasm-r3Links
Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
☆29Updated last week
Alternatives and similar repositories for wasm-r3
Users that are interested in wasm-r3 are comparing it to the libraries listed below
Sorting:
- Debugging WebAssembly? Put some Whamm! on it.☆30Updated last week
- Wasm Analysis Framework For Lightweight Experiments☆46Updated 6 months ago
- ☆58Updated 8 months ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆55Updated last month
- the WebAssembly partial evaluator☆55Updated 6 months ago
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆13Updated this week
- Fast WebAssembly Baseline Compiler☆56Updated 2 years ago
- SFI verifier of Wasm binaries☆81Updated 2 years ago
- Simple grammar-based test case generator☆31Updated this week
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆68Updated last month
- A benchmark for standalone WebAssembly☆32Updated 9 months ago
- A self-generating WebAssembly parser & serializer in Rust.☆18Updated last month
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆28Updated 9 months ago
- Verified Wasm runtime☆27Updated last year
- A minimal in-place WebAssembly interpreter, written in Rust, almost without use of external dependencies☆18Updated this week
- Wasm SpecTec specification tools☆52Updated 2 weeks ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆69Updated last month
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆68Updated 2 years ago
- Easy SMT solver interaction☆35Updated 2 months ago
- A benchmark suite and tool to compare different implementations of the same primitives.☆75Updated this week
- CIRC: Concurrent Immediate Reference Counting☆51Updated 6 months ago
- ☆23Updated 5 months ago
- The Pulse separation logic DSL for F*☆16Updated this week
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆83Updated last month
- A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler☆34Updated last year
- A WebAssembly test case generator☆43Updated 4 years ago
- A different approach to an E-graph library☆25Updated last month