1 Repo
Software-defined references that decouple memory access from hardware addresses to simulate unsafe behaviors safely.
Distinct from Memory Interface Modeling: Focuses on software-level reference abstraction for simulation, whereas Memory Interface Modeling focuses on the CPU-to-RAM physical interface.
Explore 1 awesome GitHub repository matching operating systems & systems programming · Memory Reference Abstractions. Refine with filters or upvote what's useful.
cve-rs is a memory safety testing framework and vulnerability simulator designed to recreate buffer overflows and segmentation faults. It provides a set of safe memory primitives and a WebAssembly-based security sandbox to evaluate how programs handle unsafe memory access within an isolated execution environment. The project replaces raw pointer manipulation and type transmutation with functional alternatives, allowing for the simulation of memory-unsafe operations. It enables the reinterpretation of data types through memory representation manipulation rather than unsafe casting to study the
Implements an abstracted memory reference model to decouple hardware access from software references for safe vulnerability simulation.