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 …☆59Updated last month
- 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
- ☆17Updated 2 years ago
- ☆79Updated 3 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 7 months ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆60Updated last year
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆146Updated 8 months ago
- The ISLa (Input Specification Language) language & solver.☆71Updated last year
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study …☆62Updated 3 years ago
- ☆53Updated 2 years ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆280Updated last year
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆22Updated 7 years ago
- Thesis code☆26Updated 2 years ago
- Simple grammar-based test case generator☆32Updated this week
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆37Updated 3 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆246Updated 11 months ago
- Fuzzer for Wasm and Wasmer☆33Updated 5 years ago
- ☆155Updated last year
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆232Updated 3 years ago
- A framework for testing compilers' type checkers☆56Updated last year
- A LLVM Sanitizer for Symbolic Tracing☆228Updated 2 months ago
- A Pointer Analysis Framework for Rust☆57Updated 3 months ago
- Whole Program LLVM: wllvm ported to go☆326Updated last year
- language-agnostic program reducer.☆195Updated 3 months ago
- BinTuner☆62Updated 3 years ago
- Recent symbolic execution papers and tools.☆174Updated 4 months ago
- ☆61Updated 2 years ago