sola-st / WasmBench

Related projects: ⓘ

• darkmacheken / wasmati
  A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code
  ☆24Updated last month
• sola-st / wasm-call-graphs
  ☆13Updated last year
• security-pride / BREWasm
  BREWasm: A general purpose static binary rewriting framework for Wasm.
  ☆18Updated last month
• sola-st / wasm-binary-security
  ☆75Updated 2 years ago
• ASSERT-KTH / slumps
  Cool code analysis research for WebAssembly
  ☆65Updated last year
• PKU-ASAL / SeeWasm
  A native symbolic execution engine for WebAssembly
  ☆37Updated 2 months ago
• acieroid / wassail
  wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …
  ☆44Updated 7 months ago
• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆186Updated 2 months ago
• js2wasm-obfuscator / translator
  ☆27Updated 2 years 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
• m4riuz / wasm-collector
  Collects all WebAssembly modules from a given website
  ☆26Updated 4 years ago
• FuzzingLabs / wasm_runtimes_fuzzing
  Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing
  ☆85Updated last month
• fuzzm / fuzzm-project
  ☆28Updated 2 years ago
• wasmerio / wasm-fuzz
  Fuzzer for Wasm and Wasmer
  ☆23Updated 4 years ago
• nuprl / augur
  Performant taint analysis for Node.js
  ☆46Updated last month
• Haiyang-Sun / nodeprof.js
  Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.
  ☆52Updated last year
• danbev / learning-wasi
  The sole purpose of this repository is to help me learn about WASI
  ☆62Updated 5 months ago
• wfus / WebAssembly-Taint
  Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.
  ☆21Updated 6 years ago
• Artisan-Lab / RULF
  A fully automated Rust fuzz driver generator
  ☆49Updated last week
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆55Updated 5 months ago
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆39Updated 3 weeks ago
• secure-foundations / rWasm
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆29Updated 8 months ago
• LiHRaM / taint
  Thesis code
  ☆25Updated last year
• danleh / wasabi
  A dynamic analysis framework for WebAssembly programs.
  ☆361Updated last month
• axt / cfg-explorer
  CFG explorer for binaries
  ☆75Updated 7 months ago
• julianjensen / ast-flow-graph
  Creates a CFG from JavaScript source code.
  ☆65Updated last week
• PKU-ASAL / PKUWA
  ☆12Updated 2 months ago
• Lancern / llvm-anderson
  Anderson points-to analysis implementation based on LLVM
  ☆12Updated 3 years ago
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆206Updated last week
• umnsec / mlta
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆76Updated 5 months ago