wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.
☆62Aug 13, 2025Updated 6 months ago
Alternatives and similar repositories for wassail
Users that are interested in wassail are comparing it to the libraries listed below
Sorting:
- ☆17Sep 1, 2023Updated 2 years ago
- ☆31Oct 25, 2021Updated 4 years ago
- A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study …☆68Jul 20, 2022Updated 3 years ago
- ☆78Jun 13, 2022Updated 3 years ago
- A native symbolic execution engine for WebAssembly☆48Jul 6, 2024Updated last year
- 😎 A curated list of awesome, language-agnostic WebAssembly tools☆517Aug 26, 2024Updated last year
- SFI verifier of Wasm binaries☆84Mar 22, 2023Updated 2 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- BREWasm: A general purpose static binary rewriting framework for Wasm.☆24Nov 28, 2024Updated last year
- ☆14Apr 4, 2024Updated last year
- Translating WebAssembly into the most simple LLVM IR.☆14Jan 6, 2026Updated 2 months ago
- Fast WebAssembly Baseline Compiler☆62Jun 1, 2023Updated 2 years ago
- WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…☆17Jul 27, 2024Updated last year
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 6 years ago
- The WASMonkey magically turns exported WASM functions into imported functions.☆17Jan 29, 2026Updated last month
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated 5 months ago
- PoC exploits against various SGX enclaves☆14May 19, 2022Updated 3 years ago
- a lua client for the aerospace server to reduce latency when interfacing from sketchybar☆20Jan 19, 2026Updated last month
- Malware to gain persistence on a victims machine.☆21Feb 12, 2023Updated 3 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- 《WebAssembly原理与核心技术》WebAssembly解释器的Python实现☆23Sep 17, 2020Updated 5 years ago
- rust-like traits (type erasure) on plain C++☆17Jun 30, 2023Updated 2 years ago
- blackhat usa 2022 I attended☆73Sep 23, 2022Updated 3 years ago
- ☆37Feb 28, 2026Updated last week
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆23Apr 17, 2018Updated 7 years ago
- ☆41Jul 2, 2017Updated 8 years ago
- Binary-only fuzzer for WebAssembly (WASI)☆52Jul 31, 2024Updated last year
- Session Types with Priority in Linear Haskell☆27Jun 11, 2024Updated last year
- Run Clang in WebAssembly 🎉☆65Jul 1, 2021Updated 4 years ago
- User Interfaces for Programming Languages: The Compendium☆28Feb 14, 2021Updated 5 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆29Dec 20, 2024Updated last year
- A mechanisation of Wasm in Coq(Rocq)☆114Feb 22, 2026Updated last week
- Verified Wasm runtime☆30Oct 30, 2023Updated 2 years ago
- ☆31Jul 21, 2020Updated 5 years ago
- WebAssembly module decoder in C++☆117Oct 28, 2022Updated 3 years ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆72May 19, 2023Updated 2 years ago
- Fuzzer for Wasm and Wasmer☆33Feb 17, 2020Updated 6 years ago
- ☆28Sep 9, 2020Updated 5 years ago