Alternatives and similar repositories for wave:

Users that are interested in wave 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 last year
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆74Updated last week
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated last year
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 4 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆19Updated this week
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆15Updated last year
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆42Updated 3 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆33Updated this week
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆36Updated 4 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
• bytecodealliance / sightglass
  A benchmark suite and tool to compare different implementations of the same primitives.
  ☆73Updated this week
• bytecodealliance / wasm-score
  A benchmark for standalone WebAssembly
  ☆30Updated 6 months ago
• sola-st / wasm-r3
  Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
  ☆26Updated 3 months ago
• security-pride / BREWasm
  BREWasm: A general purpose static binary rewriting framework for Wasm.
  ☆20Updated 3 months ago
• DLR-FT / wasm-interpreter
  A minimal in-place WebAssembly interpreter, written in Rust, almost without use of external dependencies
  ☆13Updated this week
• secure-foundations / rWasm
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆30Updated last year
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆66Updated last month
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆116Updated last week
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated 2 months ago
• zyedidia / lfi
  LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆60Updated this week
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆65Updated 11 months ago
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆49Updated 10 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 last month
• miestrode / ekege
  A different approach to an E-graph library
  ☆25Updated 4 months ago
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆82Updated 2 months ago
• flyvy-verifier / flyvy
  An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…
  ☆17Updated last month
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆62Updated last month
• cfallin / waffle
  ☆58Updated 5 months ago