darkmacheken / wasmatiLinks
A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code
☆31Updated last year
Alternatives and similar repositories for wasmati
Users that are interested in wasmati are comparing it to the libraries listed below
Sorting:
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆60Updated 2 months ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆70Updated 2 years ago
- A native symbolic execution engine for WebAssembly☆49Updated last year
- ☆79Updated 3 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 7 months ago
- Simple grammar-based test case generator☆32Updated this week
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆147Updated 8 months ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆37Updated 3 years ago
- Thesis code☆26Updated 2 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆60Updated last year
- A Pointer Analysis Framework for Rust☆58Updated 4 months ago
- A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study …☆63Updated 3 years ago
- language-agnostic program reducer.☆195Updated 4 months ago
- ☆61Updated 2 years ago
- A high-performance, parallel, compilation-based symbolic execution engine☆140Updated last week
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- ☆27Updated this week
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆282Updated last year
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- ☆34Updated 3 years ago
- ☆53Updated 2 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆70Updated last week
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆22Updated 7 years ago
- ☆157Updated last year
- ☆17Updated 2 years ago
- Fuzzer for Wasm and Wasmer☆33Updated 5 years ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆165Updated 4 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆246Updated last year
- ☆22Updated 2 years ago