acieroid / wassailLinks
wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.
☆60Updated 5 months ago
Alternatives and similar repositories for wassail
Users that are interested in wassail are comparing it to the libraries listed below
Sorting:
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆31Updated last year
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆81Updated 2 weeks ago
- Simple grammar-based test case generator☆37Updated this week
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆79Updated this week
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆72Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆67Updated 10 months ago
- The Gillian Platform main repository☆93Updated last month
- SFI verifier of Wasm binaries☆84Updated 2 years ago
- Dynamically discover the commands used to create a piece of software☆58Updated 2 months ago
- Thesis code☆26Updated 2 years ago
- ☆43Updated 6 months ago
- Record and Replay for WebAssembly☆34Updated 2 months ago
- A framework for testing compilers' type checkers☆61Updated last year
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆18Updated last week
- Variation of american fuzzy lop for testing compilers☆125Updated 3 years ago
- Symbolic execution tool for Sail ISA specifications☆85Updated last week
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆38Updated 3 years ago
- RustHorn: A CHC-based automated verifier for Rust☆89Updated 10 months ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24Updated 8 months ago
- Verified, Incremental, Binary Editing with Synthesis☆54Updated 2 years ago
- language-agnostic program reducer.☆200Updated last month
- Incremental Program Analysis Framework☆93Updated 4 years ago
- A native symbolic execution engine for WebAssembly☆49Updated last year
- CodeHawk Abstract Interpretation Engine and Analyzers☆72Updated last month
- A randomized program fuzzer for the Rust programming language☆64Updated 2 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 5 years ago
- Seamless bug-finding for C, C++, Rust, Wasm and Zig☆276Updated this week
- Verified Wasm runtime☆30Updated 2 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆126Updated this week
- ☆62Updated 2 years ago