Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
☆105Jan 27, 2026Updated last month
Alternatives and similar repositories for lfi
Users that are interested in lfi are comparing it to the libraries listed below
Sorting:
- ☆13Aug 18, 2025Updated 6 months ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆14Aug 25, 2019Updated 6 years ago
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆20Jun 21, 2025Updated 8 months ago
- Record and Replay for WebAssembly☆35Feb 14, 2026Updated 2 weeks ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆28Sep 8, 2025Updated 5 months ago
- Easy SMT solver interaction☆34Feb 3, 2026Updated 3 weeks ago
- The lazypoline syscall interposer☆29May 4, 2025Updated 9 months ago
- ☆21Apr 15, 2022Updated 3 years ago
- ☆58Jul 8, 2025Updated 7 months ago
- Compartmentalised monolithic library OS☆20Jul 15, 2021Updated 4 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Jan 1, 2024Updated 2 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- Source code for the original AT&T UNIX troff(1), circa 1977.☆11May 25, 2019Updated 6 years ago
- ☆15Jul 18, 2023Updated 2 years ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Nov 4, 2022Updated 3 years ago
- A binding of the physics engine Chipmunk for Julia☆10Sep 26, 2015Updated 10 years ago
- A minimal in-place WebAssembly interpreter, written in Rust, almost without use of external dependencies☆35Updated this week
- Rust testing framework for compilers and VMs☆51Feb 24, 2025Updated last year
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- ☆13Oct 10, 2018Updated 7 years ago
- Implement a Stack VM Interpreter with a Register Window☆11Jan 2, 2024Updated 2 years ago
- Strip 64bit elf binaries aggressively☆13Aug 5, 2021Updated 4 years ago
- the toolchain armada☆12Mar 21, 2025Updated 11 months ago
- ☆13Feb 4, 2026Updated 3 weeks ago
- ☆10Mar 16, 2016Updated 9 years ago
- A compiler for Tiger language includes lexical analysis using flexc++, parsing using Bisonc++, type checking, building abstract syntax tr…☆13Jan 18, 2023Updated 3 years ago
- Gemini client with vim-like keybindings☆17Dec 30, 2025Updated 2 months ago
- Neatcc top-level makefile☆13Feb 8, 2026Updated 3 weeks ago
- Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks☆48Apr 6, 2017Updated 8 years ago
- RISC-V Static Binary Translator☆18Mar 6, 2019Updated 6 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆32May 11, 2019Updated 6 years ago
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago
- This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…☆14Oct 26, 2022Updated 3 years ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆21Dec 9, 2025Updated 2 months ago
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆18Sep 30, 2024Updated last year
- Executable memory allocator with support for dual mapping and W^X protection☆13Jul 6, 2023Updated 2 years ago
- Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.☆14Mar 14, 2019Updated 6 years ago