ASSERT-KTH / slumps
Cool code analysis research for WebAssembly
☆65Updated last year
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 Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆24Updated last month
- SFI verifier of Wasm binaries☆79Updated last year
- Variation of american fuzzy lop for testing compilers☆115Updated 2 years ago
- A framework for testing compilers' type checkers☆49Updated last month
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆157Updated 3 months ago
- Synthesis of Loop-free Programs in Rust☆62Updated 4 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆53Updated 2 weeks ago
- A tool for analyzing LLVM bitcode using Datalog.☆96Updated 3 years ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆37Updated 2 years ago
- Fuzzer for Wasm and Wasmer☆23Updated 4 years ago
- Runtime type and bounds-error checking for C/C++☆101Updated 2 years ago
- Static range analysis for the LLVM compiler infrastructure.☆54Updated 4 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆54Updated this week
- A WebAssembly test case generator☆44Updated 3 years ago
- Root Repo for the RLBox Sandboxing Library Research prototype. Note: this is the original research prototype for this library. For the pr…☆24Updated last year
- Incremental Program Analysis Framework☆89Updated 3 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆63Updated 4 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆134Updated 2 months ago
- The Gillian Platform main repository☆75Updated last week
- Constraint solver based on coverage-guided fuzzing☆240Updated 9 months ago
- A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler☆29Updated 8 months ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆65Updated 2 weeks ago
- WebAssembly module decoder in C++☆106Updated last year
- BREWasm: A general purpose static binary rewriting framework for Wasm.☆18Updated last month
- A library for building abstract interpretation-based analyses☆230Updated 4 months ago
- A native symbolic execution engine for WebAssembly☆37Updated 2 months ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation☆273Updated 5 months ago
- ☆13Updated last year
- ☆60Updated 6 months ago