Alternatives and similar repositories for BREWasm

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

• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆55Updated 2 weeks ago
• yomaytk / elfconv
  AOT binary translator from Linux/ELF to WebAssembly
  ☆218Updated this week
• fuzzm / fuzzm-project
  ☆28Updated 3 years ago
• security-pride / WASMaker
  WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…
  ☆14Updated 9 months ago
• secure-foundations / provably-safe-sandboxing-wasm-usenix22
  Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
  ☆36Updated 2 years ago
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆49Updated 9 months ago
• BenH11235 / rust-re-tour
  A tour of what some Rust language features look like after compilation.
  ☆44Updated last year
• fkie-cad / squid
  RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑
  ☆20Updated 2 weeks ago
• ha1vk / blackhat_wasm
  blackhat usa 2022 I attended
  ☆72Updated 2 years ago
• sola-st / wasm-binary-security
  ☆76Updated 2 years ago
• wfus / WebAssembly-Taint
  Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.
  ☆21Updated 7 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 4 years ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆136Updated last year
• 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
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆30Updated last week
• stg-tud / wasma
  WasmA is a framework to create static analyses for WebAssembly binaries.
  ☆8Updated 2 years ago
• mahaloz / cfgutils
  Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.
  ☆28Updated last month
• br0kej / FASER
  Cross-Architecture Function Similarity Search Model - https://arxiv.org/abs/2310.03605
  ☆14Updated last year
• landaire / lain
  A structured fuzzing framework built in Rust
  ☆26Updated 2 years ago
• PLSysSec / wave
  Verified Wasm runtime
  ☆27Updated last year
• PKU-ASAL / SeeWasm
  A native symbolic execution engine for WebAssembly
  ☆44Updated 10 months ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆46Updated 3 months ago
• woodruffw / llvm-passgen
  A small tool for quickly generating LLVM passes
  ☆28Updated last week
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆27Updated 11 years ago
• two-heart / dumpling-artifact-evaluation
  ☆14Updated 5 months ago
• revng / vscode-llvm-ir
  VSCode extension for the LLVM IR language
  ☆61Updated 11 months ago
• z2-2z / peacock
  Fast and effective grammar-based fuzzing based on Gramatron
  ☆16Updated last month
• langston-barrett / tree-crasher
  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
  ☆68Updated 2 weeks ago
• sola-st / wasm-call-graphs
  ☆17Updated last year
• wasmerio / wasm-fuzz
  Fuzzer for Wasm and Wasmer
  ☆28Updated 5 years ago