PLSysSec / veriwasm
SFI verifier of Wasm binaries
☆79Updated last year
Related projects: ⓘ
- A WebAssembly test case generator☆44Updated 3 years ago
- A Rust toolkit to combine property-based testing and fuzzing.☆136Updated 2 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆63Updated 4 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆77Updated 7 months ago
- A benchmark suite and tool to compare different implementations of the same primitives.☆69Updated 3 weeks ago
- Trophy case for Rudra bugs.☆36Updated 7 months ago
- SAW front end for the MIR language from rustc☆35Updated 3 years ago
- ☆60Updated 6 months ago
- ☆60Updated last week
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆112Updated 3 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆50Updated last year
- A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler☆29Updated 8 months ago
- Synthesis of Loop-free Programs in Rust☆62Updated 4 years ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆65Updated 6 months ago
- Modular register allocator algorithms☆107Updated last year
- Wasm Analysis Framework For Lightweight Experiments☆30Updated last week
- ☆10Updated 4 years ago
- UB-free and deterministic rustc fuzzer☆44Updated 2 months ago
- A library for deadlock-free multiparty session-typed communication in Rust.☆25Updated last month
- Rust bindings for the Linux userfaultfd functionality☆43Updated 8 months ago
- RFC process for Bytecode Alliance projects☆61Updated 2 months ago
- A framework for large scale analysis of the Rust ecosystem.☆35Updated this week
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆50Updated 2 weeks ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆273Updated 2 years ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆71Updated 2 months ago
- Transport-polymorphic, asynchronous session types for Rust☆60Updated last year
- setup for fuzzing the Rust compiler☆56Updated 3 months ago
- Constant-Time WebAssembly☆24Updated 5 years ago
- A determinizing tracer using Ptrace☆33Updated 4 years ago
- A self-generating WebAssembly parser & serializer in Rust.☆15Updated 7 months ago