PLSysSec / wave
Verified Wasm runtime
☆19Updated 10 months ago
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
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆37Updated 2 years ago
- SFI verifier of Wasm binaries☆79Updated last year
- A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler☆29Updated 8 months ago
- Wasm SpecTec specification tools☆25Updated this week
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆19Updated 2 years ago
- LFI: Practical, Efficient, and Secure Software-based Sandboxing☆38Updated this week
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆28Updated 2 months ago
- Decompose source code into templates and fragments for any language.☆20Updated 2 years ago
- Wasm Analysis Framework For Lightweight Experiments☆30Updated last week
- A benchmark suite and tool to compare different implementations of the same primitives.☆69Updated 3 weeks ago
- Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks☆20Updated 2 weeks ago
- Trophy case for Rudra bugs.☆36Updated 7 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
- A WebAssembly test case generator☆44Updated 3 years ago
- WASI Testsuite☆51Updated this week
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆21Updated this week
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 4 years ago
- A self-generating WebAssembly parser & serializer in Rust.☆15Updated 7 months ago
- Verification of BPF JIT compilers☆54Updated last year
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆77Updated 7 months ago
- Dynamically discover the commands used to create a piece of software☆45Updated 3 months ago
- The C4 Concurrent C Fuzzer☆13Updated 10 months ago
- ☆13Updated last month
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆58Updated 2 weeks ago
- Cool code analysis research for WebAssembly☆65Updated last year
- Easy SMT solver interaction☆24Updated last month
- Some experiments with SMT solvers and GIMPLE IR☆36Updated 11 months ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆71Updated 2 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆42Updated last year