PLSysSec / rlbox_wasm2c_sandbox
☆14Updated 5 months ago
Alternatives and similar repositories for rlbox_wasm2c_sandbox:
Users that are interested in rlbox_wasm2c_sandbox are comparing it to the libraries listed below
- Unofficial clang WebAssembly packages☆16Updated 7 months ago
- Lightweight and performant dynamic binary translation for RISC–V code on x86–64☆60Updated 3 years ago
- Asynchronous and more versatile replacement of posix_spawn☆21Updated 3 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆11Updated 2 years ago
- Sail code model of the CHERIoT ISA☆34Updated last month
- Embedded Universal DSL: a good DSL for us, by us☆32Updated this week
- A tool to monitor and analyze ABI changes in new versions of the Linux kernel☆11Updated 5 years ago
- ☆48Updated 3 months ago
- Sled System Emulator☆28Updated last week
- code for examining determinism of performance counters☆21Updated 3 years ago
- This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…☆14Updated 4 months ago
- Fast WebAssembly Baseline Compiler☆56Updated last year
- LFI: Practical, Efficient, and Secure Software-based Sandboxing☆59Updated last week
- UB-aware interpreter for LLVM debugging☆22Updated this week
- Fast Wasm interpreter in Rust☆18Updated 2 years ago
- Assemble 128-bit RISC-V☆45Updated last year
- Crates for Microsoft Hypervisor ioctls and bindings☆32Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- SerialICE is a flexible, software based system software debugger☆30Updated last year
- minimal libc☆18Updated 12 years ago
- The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…☆45Updated this week
- GitHub Actions self-hosted runners infrastructure☆17Updated 9 months ago
- A collection of virtual input device drivers for Linux☆33Updated 2 years ago
- ☆11Updated 7 years ago
- Convert a dynamically linked binary to a statically linked binary going thorugh LLVM IR, using mcsema☆11Updated 5 years ago
- CoreMark 1.0 ported to WebAssembly☆41Updated 3 years ago
- A utility library to bridge llvm and mlir gaps.☆13Updated last month
- A Secure and Memory-Efficient Heap Allocator☆33Updated 8 months ago