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.

• lifting-bits / dds

  View on GitHub
  Dr. Disassembler
  ☆38Jan 5, 2022Updated 4 years ago
• secure-foundations / vWasm

  View on GitHub
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆31Aug 30, 2022Updated 3 years ago
• 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 2 months ago
• CISPA-SysSec / wasmfuzz

  View on GitHub
  WebAssembly as a Fuzzing Compilation Target @ FUZZING'24
  ☆21Jul 5, 2026Updated last month
• 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.
• 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
• ycrypto / nisty

  View on GitHub
  NIST P-256 signatures for Cortex-M4 microcontrollers
  ☆17Mar 14, 2021Updated 5 years ago
• 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
• static-analysis-engineering / CodeHawk-C

  View on GitHub
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆33Jun 19, 2026Updated last month
• 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
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• janestreet-deprecated / ppx_driver

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

  View on GitHub
  Synthesis of Formally Verified Cryptographic Primitives
  ☆15Jul 1, 2026Updated last month
• ispras / Futag

  View on GitHub
  FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек
  ☆57Apr 3, 2026Updated 4 months 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 2 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
  ☆35Jul 16, 2026Updated 3 weeks ago
• Vector35 / generate_assembler

  View on GitHub
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆37May 11, 2020Updated 6 years ago
• kaist-hacking / RGFuzz

  View on GitHub
  RGFuzz: Rule-Guided Fuzzer for WebAssembly Runtimes
  ☆24Jan 10, 2026Updated 6 months ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• draperlaboratory / cozy

  View on GitHub
  ☆18Feb 10, 2026Updated 5 months 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
• janestreet / core_unix

  View on GitHub
  Unix-specific portions of Core
  ☆19Jul 10, 2026Updated 3 weeks ago
• purplesyringa / brickingot

  View on GitHub
  WIP Java decompiler
  ☆24Dec 3, 2025Updated 8 months ago
• DaramG / CGSan

  View on GitHub
  ☆10Sep 10, 2022Updated 3 years ago
• nano-o / MultiPaxos

  View on GitHub
  MultiPaxos and Disk Paxos in TLA+ and PlusCal
  ☆13Jan 23, 2023Updated 3 years ago
• are-we-cool-yet / debird

  View on GitHub
  🚫🐦 Decrypt Warbird segments.
  ☆16Nov 28, 2025Updated 8 months ago
• secure-foundations / rWasm

  View on GitHub
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆47Feb 23, 2026Updated 5 months ago
• rycbar77 / V8-Bytecode-Disassemble

  View on GitHub
  Disassemble V8 Ignition bytecode.
  ☆11Jan 2, 2024Updated 2 years ago
• 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.
• FuzzingLabs / publications

  View on GitHub
  Fuzzinglabs's audits, publications, workshops and reports
  ☆29May 9, 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 7 months ago
• Compass-All / NDSS24-CAGE

  View on GitHub
  ☆16Jan 5, 2024Updated 2 years ago
• UVA-LavaLab / BigMap

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

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

  View on GitHub
  Demonstrating the BadAss issue.
  ☆17May 19, 2025Updated last year
• squaresLab / SemanticCrashBucketing

  View on GitHub
  Semantic Crash Bucketing
  ☆16Sep 8, 2020Updated 5 years ago