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 4 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
  ☆35Aug 30, 2022Updated 4 years ago
• lifting-bits / dds

  View on GitHub
  Dr. Disassembler
  ☆38Jan 5, 2022Updated 4 years ago
• 0xeb / libxsql

  View on GitHub
  libxsql core library
  ☆19Oct 20, 2026Updated last week
• 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
• KKGanguly / DataCentricFuzzJS

  View on GitHub
  ☆17May 26, 2026Updated 5 months ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• true-grue / graph-irs

  View on GitHub
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆26Oct 22, 2023Updated 3 years ago
• CISPA-SysSec / wasmfuzz

  View on GitHub
  WebAssembly as a Fuzzing Compilation Target @ FUZZING'24
  ☆22Updated this week
• binsnake / picanha

  View on GitHub
  [WIP] claude opus x86_64 disassembler/lifter/recompiler
  ☆41Feb 12, 2026Updated 8 months ago
• insufficiently-caffeinated / caffeine

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

  View on GitHub
  Tests cases for binary decompilers
  ☆57Aug 26, 2023Updated 3 years ago
• OCamlPro / digodoc

  View on GitHub
  Dig into an opam switch for doc
  ☆10Apr 8, 2022Updated 4 years ago
• ycrypto / nisty

  View on GitHub
  NIST P-256 signatures for Cortex-M4 microcontrollers
  ☆17Mar 14, 2021Updated 5 years ago
• GaloisInc / flexdis86

  View on GitHub
  A library for disassembling x86-64 binaries.
  ☆44May 12, 2026Updated 5 months ago
• kudu-dynamics / blaze-platform

  View on GitHub
  A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…
  ☆58Apr 24, 2026Updated 6 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.
• 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
• AU-COBRA / AUCurves

  View on GitHub
  Synthesis of Formally Verified Cryptographic Primitives
  ☆18Updated this week
• 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 2 years ago
• bvcyber / tpm-sniff-saleae

  View on GitHub
  Two plugins to recover TMP keys from Saleae logic analyser traces
  ☆15Jun 10, 2022Updated 4 years ago
• kaist-hacking / RGFuzz

  View on GitHub
  RGFuzz: Rule-Guided Fuzzer for WebAssembly Runtimes
  ☆25Jan 10, 2026Updated 9 months ago
• ispras / Futag

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

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

  View on GitHub
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆33Oct 22, 2026Updated last week
• draperlaboratory / cozy

  View on GitHub
  ☆19Feb 10, 2026Updated 8 months ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 5 years ago
• rycbar77 / V8-Bytecode-Disassemble

  View on GitHub
  Disassemble V8 Ignition bytecode.
  ☆11Jan 2, 2024Updated 2 years ago
• akshithg / linux-security-papers

  View on GitHub
  ☆24Nov 23, 2019Updated 6 years ago
• buszk / drifuzz-concolic

  View on GitHub
  ☆12Jun 20, 2022Updated 4 years ago
• are-we-cool-yet / debird

  View on GitHub
  🚫🐦 Decrypt Warbird segments.
  ☆17Nov 28, 2025Updated 11 months ago
• llvm / llvm-lnt

  View on GitHub
  ☆36Updated this week
• FuzzingLabs / publications

  View on GitHub
  Fuzzinglabs's audits, publications, workshops and reports
  ☆30May 9, 2025Updated last year
• purplesyringa / brickingot

  View on GitHub
  WIP Java decompiler
  ☆24Dec 3, 2025Updated 10 months ago
• Vector35 / generate_assembler

  View on GitHub
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆37May 11, 2020Updated 6 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• yo-yo-yo-jbo / macho_structure

  View on GitHub
  Mach-O file structure
  ☆14Jul 19, 2026Updated 3 months ago
• DaramG / CGSan

  View on GitHub
  ☆10Sep 10, 2022Updated 4 years ago
• Compass-All / NDSS24-CAGE

  View on GitHub
  ☆17Jan 5, 2024Updated 2 years ago
• ANOTA-Sanitizer / ANOTA

  View on GitHub
  ☆12Updated this week
• oldwalls / pyghidra-PAL

  View on GitHub
  A defensive decompilation layer: Ghidra facts, lifted into runnable Python & artifacts aiding analysis.
  ☆16Aug 7, 2026Updated 2 months ago
• boundless-xyz / blobstream0

  View on GitHub
  ☆13Aug 30, 2025Updated last year
• gooroom / gooroom-browser

  View on GitHub
  ☆10Jun 12, 2026Updated 4 months ago