darkmacheken / wasmati
A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code
☆28Updated 8 months ago
Alternatives and similar repositories for wasmati:
Users that are interested in wasmati are comparing it to the libraries listed below
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆52Updated 3 weeks ago
- ☆76Updated 2 years ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆68Updated last year
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆37Updated 2 years ago
- A native symbolic execution engine for WebAssembly☆43Updated 9 months ago
- Fuzzer for Wasm and Wasmer☆27Updated 5 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated last month
- The ISLa (Input Specification Language) language & solver.☆63Updated 9 months ago
- ☆17Updated last year
- A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study …☆59Updated 2 years ago
- Thesis code☆26Updated last year
- Variation of american fuzzy lop for testing compilers☆122Updated 3 years ago
- Simple grammar-based test case generator☆31Updated 3 weeks ago
- A Pointer Analysis Framework for Rust☆51Updated 2 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- Software Security Analysis Course☆58Updated last month
- ☆50Updated 2 years ago
- ☆22Updated 2 years ago
- ☆30Updated 2 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 3 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆141Updated 2 months ago
- ☆28Updated 3 years ago
- The notes about programming language theory☆24Updated last year
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- ☆20Updated this week
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆228Updated 3 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆89Updated 3 years ago
- A framework for testing compilers' type checkers☆52Updated 8 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆74Updated 2 years ago
- ☆29Updated last year