Alternatives and similar repositories for WebAssembly-Taint

Users that are interested in WebAssembly-Taint are comparing it to the libraries listed below

• sola-st / wasm-binary-security
  ☆78Updated 3 years ago
• FuzzingLabs / wasm_runtimes_fuzzing
  Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing
  ☆97Updated last year
• fuzzm / fuzzm-project
  ☆30Updated 4 years ago
• wasmerio / wasm-fuzz
  Fuzzer for Wasm and Wasmer
  ☆33Updated 5 years ago
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆52Updated last year
• PKU-ASAL / SeeWasm
  A native symbolic execution engine for WebAssembly
  ☆49Updated last year
• HexHive / Gramatron
  Coverage-guided grammar aware fuzzer that uses grammar automatons
  ☆75Updated 4 years ago
• adrianherrera / ball-larus-fuzz
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆15Updated 3 years ago
• isstac / diffuzz
  ☆41Updated 6 years ago
• nettrino / slowfuzz
  ☆53Updated 8 years ago
• gryan11 / PGA
  Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…
  ☆32Updated 4 years ago
• vrthra / F1
  ☆82Updated 5 months ago
• andreafioraldi / libafl_quickjs_fuzzing
  An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing
  ☆47Updated last year
• jonathanmetzman / wasm-fuzzing-demo
  Demos of and walkthroughs on in-browser fuzzing using WebAssembly
  ☆124Updated 6 years ago
• AFLplusplus / cargo-libafl
  Fuzz Rust code with LibAFL
  ☆62Updated 2 years ago
• sslab-gatech / perf-fuzz
  ☆95Updated 6 years ago
• tlspuffin / tlspuffin
  A Dolev-Yao-model-guided fuzzer for TLS
  ☆150Updated this week
• ChengyuSong / Kirenenko
  Super Fast Concolic Execution Engine based on Source Code Taint Tracing
  ☆102Updated 3 years ago
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆236Updated 3 years ago
• eurecom-s3 / invscov
  The Use of Likely Invariants as Feedback for Fuzzers
  ☆93Updated 4 years ago
• Rog3rSm1th / kharma
  Grammar-based fuzzing corpus generator
  ☆41Updated 2 years ago
• atnwalk / atnwalk
  ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…
  ☆11Updated last year
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆126Updated 3 years ago
• AFLplusplus / fuzzer-challenges
  Challenging testcases for fuzzers
  ☆72Updated last year
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆65Updated 3 years ago
• RUB-SysSec / nautilus
  a grammar based feedback fuzzer
  ☆165Updated 2 years ago
• OMH4ck / mufuzz
  ☆37Updated 2 years ago
• SoftSec-KAIST / Ankou
  Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
  ☆54Updated 5 years ago
• AFLplusplus / libafl_paper_artifacts
  ☆19Updated 3 years ago
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆69Updated last year