sola-st / WasmBenchLinks
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.
☆67Updated 3 years ago
Alternatives and similar repositories for WasmBench
Users that are interested in WasmBench are comparing it to the libraries listed below
Sorting:
- ☆17Updated 2 years ago
- ☆78Updated 3 years ago
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆31Updated last year
- A native symbolic execution engine for WebAssembly☆49Updated last year
- ☆30Updated 4 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆61Updated 5 months ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆72Updated 2 years ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆218Updated last year
- ☆30Updated 4 years ago
- ☆11Updated 3 years ago
- ☆42Updated 3 years ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆22Updated 7 years ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆97Updated last year
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆101Updated 3 months ago
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆18Updated last year
- Fuzzer for Wasm and Wasmer☆33Updated 5 years ago
- ☆68Updated 4 years ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- Static Analysis Course☆86Updated last month
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆29Updated 2 years ago
- ☆12Updated 8 months ago
- User Guided API Misuse Detection☆30Updated 3 years ago
- Creates a CFG from JavaScript source code.☆69Updated last year
- Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.☆12Updated last year
- A Pointer Analysis Framework for Rust☆65Updated 7 months ago
- A dynamic analysis framework for WebAssembly programs.☆392Updated last week
- Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer☆88Updated last year
- ☆13Updated 5 months ago
- Performant taint analysis for Node.js☆56Updated last year
- ☆22Updated 2 years ago