darkmacheken / wasmati
A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code
☆28Updated 7 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 last week
- A native symbolic execution engine for WebAssembly☆43Updated 8 months ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆67Updated last year
- ☆76Updated 2 years ago
- ☆17Updated last year
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆58Updated last year
- ☆28Updated 3 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated last month
- 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
- BREWasm: A general purpose static binary rewriting framework for Wasm.☆22Updated 4 months ago
- Variation of american fuzzy lop for testing compilers☆122Updated 2 years ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆37Updated 2 years ago
- A Pointer Analysis Framework for Rust☆50Updated 2 months ago
- ☆33Updated last year
- ☆30Updated 2 years ago
- The notes about programming language theory☆24Updated last year
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆67Updated last month
- ☆51Updated last year
- CodeHawk Abstract Interpretation Engine and Analyzers☆66Updated 2 weeks ago
- A framework for testing compilers' type checkers☆52Updated 8 months ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- A LLVM Sanitizer for Symbolic Tracing☆219Updated 6 months ago
- Fuzzer for Wasm and Wasmer☆27Updated 5 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 3 years ago
- Public-facing course info for program analysis materials.☆40Updated 3 months ago
- A high-performance, parallel, compilation-based symbolic execution engine☆128Updated last week
- A data dependence analyzer for C program☆21Updated 3 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆57Updated 11 months ago
- Software Security Analysis Course☆53Updated last month