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 WebAssembly, for training machine learning models, and much more.
☆53Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for WasmBench
- ☆13Updated last year
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆48Updated 9 months ago
- BREWasm: A general purpose static binary rewriting framework for Wasm.☆19Updated 3 months ago
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆25Updated 3 months ago
- ☆74Updated 2 years ago
- Cool code analysis research for WebAssembly☆66Updated last year
- A native symbolic execution engine for WebAssembly☆40Updated 4 months ago
- The ISLa (Input Specification Language) language & solver.☆62Updated 4 months ago
- ☆27Updated 2 years ago
- A Pointer Analysis Framework for Rust☆42Updated last month
- ☆27Updated 3 years ago
- Collects all WebAssembly modules from a given website☆26Updated 4 years ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆35Updated 2 years ago
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆12Updated last month
- TaintFlow, a framework for JavaScript dynamic information flow analysis.☆17Updated last year
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆123Updated 3 months ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆190Updated 4 months ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆86Updated 3 months ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆46Updated 6 months ago
- A CallGraph Generation LLVM Pass for C and C++ program☆21Updated 2 years ago
- ☆20Updated last year
- ☆26Updated last year
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆53Updated 2 months ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- Creates a CFG from JavaScript source code.☆66Updated 2 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated 8 months ago
- Performant taint analysis for Node.js☆49Updated 3 months ago
- A fully automated Rust fuzz driver generator☆50Updated last month
- Software Security Analysis Course☆34Updated last month
- Thesis code☆25Updated last year