sola-st / wasm-r3
Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
☆20Updated 2 weeks ago
Related projects: ⓘ
- A self-generating WebAssembly parser & serializer in Rust.☆15Updated 7 months ago
- SFI verifier of Wasm binaries☆79Updated last year
- Simple grammar-based test case generator☆30Updated 4 months ago
- ☆60Updated last week
- Wasm Analysis Framework For Lightweight Experiments☆30Updated last week
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆44Updated 7 months ago
- Wasm SpecTec specification tools☆25Updated this week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆53Updated 2 weeks ago
- BREWasm: A general purpose static binary rewriting framework for Wasm.☆18Updated last month
- Fast WebAssembly Baseline Compiler☆53Updated last year
- A benchmark suite and tool to compare different implementations of the same primitives.☆69Updated 3 weeks ago
- ☆10Updated 4 years ago
- ☆14Updated 2 weeks ago
- the WebAssembly partial evaluator☆16Updated last week
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆24Updated last month
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆58Updated 2 weeks ago
- world's worst interpreter☆47Updated 2 months ago
- Decompose source code into templates and fragments for any language.☆20Updated 2 years ago
- A WebAssembly test case generator☆44Updated 3 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆77Updated 7 months ago
- Trophy case for Rudra bugs.☆36Updated 7 months ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆50Updated 2 weeks ago
- WASI Testsuite☆51Updated this week
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆65Updated 2 weeks ago
- ☆10Updated 3 weeks ago
- ☆21Updated 2 weeks ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆19Updated 2 years ago
- The C4 Concurrent C Fuzzer☆13Updated 10 months ago
- Verified Wasm runtime☆19Updated 10 months ago
- JEST: N+1-version Differential Testing of Both JavaScript Engines☆13Updated 3 years ago