A native symbolic execution engine for WebAssembly
☆49Jul 6, 2024Updated last year
Alternatives and similar repositories for SeeWasm
Users that are interested in SeeWasm are comparing it to the libraries listed below
Sorting:
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆18Sep 30, 2024Updated last year
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆19Feb 13, 2026Updated 2 weeks ago
- BREWasm: A general purpose static binary rewriting framework for Wasm.☆24Nov 28, 2024Updated last year
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated last year
- ☆31Oct 25, 2021Updated 4 years ago
- MPIWasm is a WebAssembly Embedder based on Wasmer that enables the high-performance execution of MPI applications compiled to Wasm. (ACM …☆20Jan 30, 2024Updated 2 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 …☆67Jul 20, 2022Updated 3 years ago
- ☆13Aug 18, 2025Updated 6 months ago
- ☆15Updated this week
- ☆12Aug 29, 2020Updated 5 years ago
- Verified Wasm runtime☆30Oct 30, 2023Updated 2 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆20Apr 1, 2025Updated 11 months ago
- This repository contains some tools to monitor the UNC_CBO_CACHE_LOOKUP event of the C-Boxes.☆12Oct 11, 2017Updated 8 years ago
- PatchFuzz: Fuzzing for JavaScript Engine Incomplete Security Patches☆19Dec 17, 2025Updated 2 months ago
- MCPCorpus is a comprehensive dataset for analyzing the Model Context Protocol (MCP) ecosystem, containing ~14K MCP servers and 300 MCP cl…☆32Sep 1, 2025Updated 6 months ago
- Use k-means improve seed selection.☆13Apr 7, 2021Updated 4 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆62Aug 13, 2025Updated 6 months ago
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆91May 12, 2022Updated 3 years ago
- Code audit (code review) with VIM.☆17Jan 3, 2025Updated last year
- The Chef symbolic execution platform, based off S2E☆12Nov 1, 2022Updated 3 years ago
- Official repository of SyzRisk [ASIA CCS'24]☆12Aug 20, 2024Updated last year
- Attack & Defense CTF dashboard☆16Oct 7, 2021Updated 4 years ago
- ☆17Sep 1, 2023Updated 2 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Jul 19, 2021Updated 4 years ago
- ☆21Aug 22, 2022Updated 3 years ago
- Practical Data-Only Attack Generation☆44Jun 7, 2024Updated last year
- ☆42Aug 4, 2020Updated 5 years ago
- Parallel ML benchmark suite☆21Dec 8, 2025Updated 2 months ago
- Instantly suspend processes to bypass kernel driver protections.☆20Dec 10, 2024Updated last year
- MLIR dialect for libgccjit☆22Dec 3, 2024Updated last year
- Virtual Inheritance Reverse Engineering☆19Aug 20, 2020Updated 5 years ago
- A toy symbolic execution engine, supporting the blog article ...☆18Sep 8, 2021Updated 4 years ago
- caijiqhx notes☆17Oct 26, 2024Updated last year
- ☆20Jun 7, 2025Updated 8 months ago
- A list of data-only attacks☆21Aug 22, 2025Updated 6 months ago
- ☆19Dec 9, 2022Updated 3 years ago
- This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.☆19Mar 12, 2020Updated 5 years ago
- Binary-only fuzzer for WebAssembly (WASI)☆52Jul 31, 2024Updated last year
- Code for Book "AI for Cybersecurity: A Handbook of Use Case"☆22Aug 10, 2023Updated 2 years ago