darkmacheken / wasmati
A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code
☆24Updated last month
Related projects: ⓘ
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆44Updated 7 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆53Updated 2 weeks ago
- ☆75Updated 2 years ago
- A native symbolic execution engine for WebAssembly☆37Updated 2 months ago
- Cool code analysis research for WebAssembly☆65Updated last year
- ☆28Updated 2 years ago
- BREWasm: A general purpose static binary rewriting framework for Wasm.☆18Updated last month
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆220Updated 2 years ago
- The ISLa (Input Specification Language) language & solver.☆56Updated 2 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆134Updated 2 months ago
- Variation of american fuzzy lop for testing compilers☆115Updated 2 years ago
- A LLVM Sanitizer for Symbolic Tracing☆206Updated last week
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆37Updated 2 years ago
- ☆13Updated last year
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆50Updated 5 months ago
- Thesis code☆25Updated last year
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆85Updated last month
- CodeHawk Abstract Interpretation Engine and Analyzers☆54Updated this week
- autofz: Automated Fuzzer Composition at Runtime☆73Updated last year
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆113Updated 2 years ago
- A CallGraph Generation LLVM Pass for C and C++ program☆18Updated 2 years ago
- ☆20Updated 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 …☆49Updated 2 years ago
- ☆27Updated 2 years ago
- Fuzzer for Wasm and Wasmer☆23Updated 4 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆55Updated 5 months ago
- A Pointer Analysis Framework for Rust☆39Updated 3 weeks ago
- A framework for testing compilers' type checkers☆49Updated last month
- A high-performance, parallel, compilation-based symbolic execution engine☆114Updated last week
- LLVM meets Code Property Graphs☆85Updated 3 years ago