secure-foundations/wasm-semantics-fuzzer external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

secure-foundations/wasm-semantics-fuzzer

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/secure-foundations/wasm-semantics-fuzzer)

Close

secure-foundations / wasm-semantics-fuzzerView on GitHubMore

• External links
• Readme badge

An aid for developing correct WebAssembly implementations through generative fuzzing

☆15Aug 30, 2022Updated 3 years ago

Alternatives and similar repositories for wasm-semantics-fuzzer

Users that are interested in wasm-semantics-fuzzer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• secure-foundations / vWasm

  View on GitHub
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆32Aug 30, 2022Updated 3 years ago
• lifting-bits / dds

  View on GitHub
  Dr. Disassembler
  ☆38Jan 5, 2022Updated 4 years ago
• KKGanguly / DataCentricFuzzJS

  View on GitHub
  ☆17May 26, 2026Updated last month
• true-grue / python-dsls

  View on GitHub
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆21Dec 30, 2023Updated 2 years ago
• CISPA-SysSec / wasmfuzz

  View on GitHub
  WebAssembly as a Fuzzing Compilation Target @ FUZZING'24
  ☆20Jul 5, 2026Updated 2 weeks ago
• Open source password manager - Proton Pass • Ad
  Securely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
• insufficiently-caffeinated / caffeine

  View on GitHub
  A symbolic execution engine for LLVM IR
  ☆52Apr 25, 2022Updated 4 years ago
• rfalke / decompiler-subjects

  View on GitHub
  Tests cases for binary decompilers
  ☆57Aug 26, 2023Updated 2 years ago
• binsnake / picanha

  View on GitHub
  [WIP] claude opus x86_64 disassembler/lifter/recompiler
  ☆42Feb 12, 2026Updated 5 months ago
• OCamlPro / digodoc

  View on GitHub
  Dig into an opam switch for doc
  ☆11Apr 8, 2022Updated 4 years ago
• GaloisInc / flexdis86

  View on GitHub
  A library for disassembling x86-64 binaries.
  ☆44May 12, 2026Updated 2 months ago
• bitblaze-fuzzball / d-s-se-directed-tests

  View on GitHub
  Binary dynamic, static, and symbolic execution analysis tools for directed test generation
  ☆22Nov 14, 2019Updated 6 years ago
• fitzgen / mutatis

  View on GitHub
  `mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.
  ☆17Jun 9, 2026Updated last month
• static-analysis-engineering / CodeHawk-C

  View on GitHub
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆33Jun 19, 2026Updated last month
• trailofbits / macroni

  View on GitHub
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Aug 14, 2024Updated last year
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• AU-COBRA / AUCurves

  View on GitHub
  Synthesis of Formally Verified Cryptographic Primitives
  ☆15Jul 1, 2026Updated 2 weeks ago
• janestreet-deprecated / ppx_driver

  View on GitHub
  Deprecated, use ocaml-ppx/ppxlib instead
  ☆14Mar 29, 2018Updated 8 years ago
• ispras / Futag

  View on GitHub
  FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек
  ☆57Apr 3, 2026Updated 3 months ago
• kaist-hacking / RGFuzz

  View on GitHub
  RGFuzz: Rule-Guided Fuzzer for WebAssembly Runtimes
  ☆24Jan 10, 2026Updated 6 months ago
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 5 years ago
• buszk / drifuzz-concolic

  View on GitHub
  ☆12Jun 20, 2022Updated 4 years ago
• llvm / llvm-lnt

  View on GitHub
  ☆36Updated this week
• Vector35 / generate_assembler

  View on GitHub
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆38May 11, 2020Updated 6 years ago
• are-we-cool-yet / debird

  View on GitHub
  🚫🐦 Decrypt Warbird segments.
  ☆16Nov 28, 2025Updated 7 months ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• janestreet / core_unix

  View on GitHub
  Unix-specific portions of Core
  ☆19Jul 10, 2026Updated last week
• nano-o / MultiPaxos

  View on GitHub
  MultiPaxos and Disk Paxos in TLA+ and PlusCal
  ☆13Jan 23, 2023Updated 3 years ago
• DaramG / CGSan

  View on GitHub
  ☆10Sep 10, 2022Updated 3 years ago
• rycbar77 / V8-Bytecode-Disassemble

  View on GitHub
  Disassemble V8 Ignition bytecode.
  ☆11Jan 2, 2024Updated 2 years ago
• purplesyringa / brickingot

  View on GitHub
  WIP Java decompiler
  ☆24Dec 3, 2025Updated 7 months ago
• secure-foundations / rWasm

  View on GitHub
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆48Feb 23, 2026Updated 4 months ago
• CharlyCst / miralis

  View on GitHub
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆48Apr 8, 2026Updated 3 months ago
• PSU-Security-Universe / badass

  View on GitHub
  Demonstrating the BadAss issue.
  ☆17May 19, 2025Updated last year
• pfeodrippe / tla-edn

  View on GitHub
  A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN
  ☆17Dec 28, 2025Updated 6 months ago
• End-to-end encrypted cloud storage - Proton Drive • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
• UVA-LavaLab / BigMap

  View on GitHub
  BigMap integration on AFL++
  ☆15Apr 5, 2021Updated 5 years ago
• squaresLab / SemanticCrashBucketing

  View on GitHub
  Semantic Crash Bucketing
  ☆16Sep 8, 2020Updated 5 years ago
• seclab-yonsei / BoKASAN

  View on GitHub
  BoKASAN: Binary-only Kernel Address Sanitizer for Effective Kernel Fuzzing
  ☆35Jun 26, 2023Updated 3 years ago
• mwillsey / egg

  View on GitHub
  egg is a flexible, high-performance e-graph library
  ☆13Apr 5, 2024Updated 2 years ago
• BinPrey / x86Tester

  View on GitHub
  x86-64 Automated test data generator
  ☆29Updated this week
• dinosaure / spoke

  View on GitHub
  SPAKE2+EE implementation in OCaml
  ☆17Oct 13, 2025Updated 9 months ago
• pietroborrello / RopDaemon

  View on GitHub
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆51Feb 3, 2021Updated 5 years ago