CapsLock-lite Prototype

Overview

This repository contains the initial prototype for CapsLock-lite.

Currently, this implementation focuses on Pointer Provenance (tracking allocations) using a global HashMap. This allows the runtime to detect foreign writes and revoke pointers. In the full design, this HashMap will work alongside a Borrow Tree to handle complex Rust aliasing rules.

Project Structure

• src/runtime.rs: Implements the GLOBAL_SHADOW_MAP (Provenance Layer).
• src/bad_actor.c: A C simulation of unsafe code that modifies a pointer and triggers a revocation event.
• src/main.rs: The driver program that demonstrates the "Revoke-on-Write" behavior.

The Demo Scenario

1. Rust allocates memory (Box::new) and registers it, receiving a unique Tag.
2. Rust passes the raw pointer to C.
3. C modifies the memory and triggers a revocation (simulating a free or an instrumented write).
4. Rust attempts to access the memory again using the original Tag.
5. The Runtime detects the tag mismatch and panics with a security violation.

How to Run

cargo run