Alternatives and similar repositories for WASMaker

Users that are interested in WASMaker are comparing it to the libraries listed below

• 0xricksanchez / AFL_Runner
  Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more
  ☆64Updated 3 weeks ago
• z2-2z / peacock
  Fast and effective grammar-based fuzzing based on Gramatron
  ☆16Updated 2 months ago
• elManto / LLVMPassesForSecurity
  Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering
  ☆27Updated 2 years ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• novafacing / practical-fuzzing
  Practical fuzzing tutorials and training
  ☆30Updated 11 months ago
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆49Updated 10 months ago
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated 2 years ago
• OctavioGalland / afllive
  ☆14Updated 3 months ago
• eurecom-s3 / predictive-cs-fuzzing
  Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper
  ☆28Updated last year
• softsec-unh / MBA-Solver
  ☆42Updated 4 years ago
• MozillaSecurity / snapshot-fuzzing
  Custom Agent and Tooling for using Nyx with Firefox
  ☆18Updated 10 months ago
• seclab-ucr / Unias
  A Hybrid Alias Analysis
  ☆19Updated last year
• RickdeJager / TrackmaniaFuzzer
  LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!
  ☆41Updated 2 years ago
• vusec / uncontained
  Uncovering Container Confusion in the Linux Kernel
  ☆44Updated last year
• cassanof / safe-llvm
  LLVM Without The ROP Gadgets!
  ☆26Updated last year
• AFLplusplus / libafl_fuzzbench
  Fuzzers implemented with libafl to evaluate several techniques on fuzzbench
  ☆13Updated 8 months ago
• Pusty / ferret
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆20Updated last month
• r3bb1t / bin_lift
  Rust library for lifting raw binary data to LLVM IR
  ☆51Updated 2 months ago
• sekuryti / zafl
  ☆14Updated 3 years ago
• security-pride / BREWasm
  BREWasm: A general purpose static binary rewriting framework for Wasm.
  ☆23Updated 6 months ago
• andreafioraldi / libafl_quickjs_fuzzing
  An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing
  ☆43Updated last year
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆17Updated 2 years ago
• anfedotoff / gdb-command
  Library for manipulating gdb in batch mode
  ☆21Updated last year
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆20Updated 2 years ago
• bajinsheng / ReZZan
  ☆38Updated 2 years ago
• nyx-fuzz / spec-fuzzer
  ☆42Updated 3 years ago
• fkie-cad / squid
  RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑
  ☆20Updated last week
• nyx-fuzz / packer
  ☆20Updated 9 months ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆46Updated 2 weeks ago
• trailofbits / vast-checker
  ☆25Updated 2 years ago