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 …
  ☆51Updated 11 months ago
• fuzzm / fuzzm-project
  ☆27Updated 3 years ago
• PKU-ASAL / SeeWasm
  A native symbolic execution engine for WebAssembly
  ☆43Updated 6 months ago
• sola-st / WasmBench
  A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study …
  ☆56Updated 2 years ago
• darkmacheken / wasmati
  A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code
  ☆25Updated 5 months ago
• sola-st / wasm-binary-security
  ☆74Updated 2 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆138Updated 6 months ago
• ASSERT-KTH / slumps
  Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751
  ☆67Updated last year
• yomaytk / elfconv
  An experimental binary translator from Linux/ELF to WebAssembly
  ☆177Updated this week
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆62Updated 2 weeks ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆126Updated last year
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆48Updated 5 months ago
• secure-foundations / provably-safe-sandboxing-wasm-usenix22
  Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
  ☆37Updated 2 years ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆66Updated 3 weeks ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆80Updated last year
• posidron / dharma
  Generation-based, context-free grammar fuzzer.
  ☆48Updated 2 years ago
• wfus / WebAssembly-Taint
  Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.
  ☆21Updated 6 years ago
• axt / cfg-explorer
  CFG explorer for binaries
  ☆79Updated 2 months ago
• 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.
  ☆66Updated 2 weeks ago
• ha1vk / blackhat_wasm
  blackhat usa 2022 I attended
  ☆72Updated 2 years ago
• purseclab / Patcherex2
  A versatile and easy-to-use static binary patching tool.
  ☆33Updated this week
• sola-st / wasm-call-graphs
  ☆16Updated last year
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆212Updated 4 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
• RUB-SysSec / JIT-Picker
  ☆63Updated 2 years ago
• lt-asset / resym
  For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…
  ☆70Updated last month
• garyttierney / intellij-ghidra
  An IntelliJ IDEA plugin for working on Ghidra Extensions.
  ☆98Updated 9 months ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆39Updated last month
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆90Updated 3 years ago
• PeiweiHu / cinspector
  cinspector - a static C source code analysis framework
  ☆26Updated 6 months ago