acieroid / wassail
wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.
☆48Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for wassail
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆25Updated 2 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆56Updated last week
- CodeHawk Abstract Interpretation Engine and Analyzers☆61Updated last week
- WASP was superseded by: https://github.com/OCamlPro/owi☆14Updated 2 months ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆66Updated last week
- The Gillian Platform main repository☆78Updated last week
- Simple grammar-based test case generator☆29Updated 6 months ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆60Updated last week
- Dynamically discover the commands used to create a piece of software☆46Updated 5 months ago
- Cool code analysis research for WebAssembly☆66Updated last year
- SFI verifier of Wasm binaries☆80Updated last year
- A native symbolic execution engine for WebAssembly☆39Updated 4 months ago
- Thesis code☆25Updated last year
- Symbolic execution tool for Sail ISA specifications☆62Updated last month
- ☆59Updated last month
- Interface with the rustc compiler for the purpose of program verification☆99Updated this week
- BREWasm: A general purpose static binary rewriting framework for Wasm.☆19Updated 3 months ago
- Wasm SpecTec specification tools☆27Updated this week
- A randomized program fuzzer for the Rust programming language☆60Updated last year
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆36Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆137Updated 3 months ago
- A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler☆28Updated 9 months ago
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆17Updated this week
- Cerberus C semantics☆53Updated this week
- RustHorn: A CHC-based automated verifier for Rust☆73Updated last week
- ☆49Updated last year
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- A WebAssembly test case generator☆43Updated 4 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆77Updated 9 months ago