m4riuz / wasm-collector
Collects all WebAssembly modules from a given website
☆26Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for wasm-collector
- A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study …☆53Updated 2 years ago
- ☆74Updated 2 years ago
- ☆27Updated 2 years ago
- Tools used for MineSweeper project☆31Updated 3 years ago
- Cool code analysis research for WebAssembly☆66Updated last year
- ☆13Updated last year
- A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector☆29Updated last year
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆290Updated 4 months ago
- Modular static malicious JavaScript detection system☆65Updated 3 years ago
- Simple WebAssembly binary file explorer☆70Updated last year
- ☆14Updated 5 years ago
- User Guided API Misuse Detection☆27Updated last year
- A dynamic checker for the ECF property incorporated into geth☆14Updated 7 years ago
- ☆50Updated 3 years ago
- ☆17Updated 7 months ago
- ☆12Updated last month
- The dataset used in the experiments for Esh (http://binsim.com)☆20Updated 8 years ago
- TWINE: An Embedded Trusted Runtime for WebAssembly. This is the repository that contains the source code of Twine and the related benchma…☆38Updated 8 months ago
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow☆12Updated last month
- ☆44Updated 2 years ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆25Updated 2 years ago
- This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.☆30Updated 2 years ago
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆25Updated 3 months ago
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆13Updated 4 months ago
- A curated list of awesome directed fuzzing research papers☆474Updated last month
- ☆56Updated 3 years ago
- Symbolic virtual machine for Ethereum☆68Updated 6 years ago
- BREWasm: A general purpose static binary rewriting framework for Wasm.☆19Updated 3 months ago
- Mutation Test Tool for Solidity☆15Updated 2 years ago
- Artifacts for our USENIX Security '24 paper: "Code is not Natural Language: Unlock the Power of Semantics-Oriented Graph Representation f…☆47Updated 2 months ago