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
  ☆79Updated 3 years ago
• FuzzingLabs / wasm_runtimes_fuzzing
  Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing
  ☆93Updated last year
• fuzzm / fuzzm-project
  ☆29Updated 3 years ago
• AFLplusplus / cargo-libafl
  Fuzz Rust code with LibAFL
  ☆62Updated 2 years ago
• RUB-SysSec / nautilus
  a grammar based feedback fuzzer
  ☆165Updated 2 years ago
• wasmerio / wasm-fuzz
  Fuzzer for Wasm and Wasmer
  ☆33Updated 5 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆18Updated 4 months ago
• vrthra / F1
  ☆82Updated 3 weeks ago
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆51Updated last year
• jonathanmetzman / wasm-fuzzing-demo
  Demos of and walkthroughs on in-browser fuzzing using WebAssembly
  ☆124Updated 5 years ago
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆232Updated 3 years ago
• sslab-gatech / perf-fuzz
  ☆96Updated 6 years ago
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆123Updated 3 years ago
• adrianherrera / ball-larus-fuzz
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆15Updated 2 years ago
• PKU-ASAL / SeeWasm
  A native symbolic execution engine for WebAssembly
  ☆49Updated last year
• HexHive / Gramatron
  Coverage-guided grammar aware fuzzer that uses grammar automatons
  ☆72Updated 3 years ago
• KennethAdamMiller / superset_disassembler
  Disassemblers with various trimming methodologies
  ☆15Updated 8 months ago
• danleh / wasabi
  A dynamic analysis framework for WebAssembly programs.
  ☆382Updated 5 months ago
• AFLplusplus / fuzzer-challenges
  Challenging testcases for fuzzers
  ☆72Updated last year
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆63Updated 2 years ago
• uds-se / pFuzzer
  The parser-directed Fuzzer
  ☆38Updated 5 years ago
• SoftSec-KAIST / Ankou
  Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
  ☆54Updated 4 years ago
• tlspuffin / tlspuffin
  A Dolev-Yao-model-guided fuzzer for TLS
  ☆143Updated 2 weeks ago
• gamozolabs / basic_mutator
  About as basic of a mutator as you can get, but it does the trick in most situations
  ☆63Updated 5 years ago
• isstac / diffuzz
  ☆40Updated 6 years ago
• ChengyuSong / Kirenenko
  Super Fast Concolic Execution Engine based on Source Code Taint Tracing
  ☆102Updated 3 years ago
• trailofbits / Honeybee
  An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite
  ☆129Updated 3 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆57Updated 5 years ago
• eurecom-s3 / invscov
  The Use of Likely Invariants as Feedback for Fuzzers
  ☆89Updated 3 years ago
• ChijinZ / VisFuzz
  An interactive tool for better understanding and intervening fuzzing process via real-time visualization.
  ☆77Updated 3 years ago