PLSysSec / rlboxLinks
RLBox sandboxing framework
☆304Updated 2 weeks ago
Alternatives and similar repositories for rlbox
Users that are interested in rlbox are comparing it to the libraries listed below
Sorting:
- WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.☆327Updated 11 months ago
- Library for wrapping libc functions that require ambient authority☆86Updated 6 years ago
- Conventions supporting interoperatibility between tools working with WebAssembly.☆339Updated last month
- SFI verifier of Wasm binaries☆81Updated 2 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆281Updated this week
- A native non-web embedding of WebAssembly for Windows/Linux☆411Updated last year
- Libsodium WebAssembly benchmarks results.☆83Updated 2 years ago
- Bertie TLS 1.3 Implementation☆124Updated 2 months ago
- A repository for the stack switching proposal.☆173Updated last month
- Proposal for adding basic reference types (anyref)☆165Updated 3 years ago
- A low-level virtualization interface for Linux-based systems using WebAssembly☆124Updated 3 weeks ago
- Sandboxed kernel mode WebAssembly runtime.☆747Updated 5 years ago
- A determinizing tracer using Ptrace☆38Updated 4 years ago
- Proposal to add exception handling to WebAssembly☆169Updated 4 months ago
- Research WebAssembly Engine☆443Updated this week
- Capability-oriented version of the Rust standard library☆703Updated 3 months ago
- Definitions for the CloudABI data types and system calls☆134Updated 4 years ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆276Updated 3 years ago
- Slitter is a C- and Rust-callable slab allocator implemented primarily in Rust, with some C for performance or to avoid unstable Rust fea…☆146Updated 3 years ago
- Lightbeam has moved and now lives in the Wasmtime repository!☆250Updated 5 years ago
- WASI libc implementation for WebAssembly☆933Updated last week
- Magical ELF and Mach-o object file writer backend☆279Updated last year
- Always-Correct and Fast Incremental Builds from Simple Specifications☆90Updated last year
- Findings to help in understading DWARF sections stored in the WebAssembly binaries.☆25Updated 4 years ago
- Web49: WebAssembly Interpeter☆331Updated 2 years ago
- Repository hosting unofficial binary pack files for many commits of LLVM☆140Updated last year
- A specialized hypervisor for Hermit.☆271Updated this week
- Simple Linux seccomp rules without writing any code☆497Updated last month
- WASI Cryptography API Proposal☆171Updated 3 months ago
- n2 ("into"), a ninja compatible build system☆429Updated 2 months ago