pintos-user-memory-validator

What problem does it solve?

It prevents kernel panics by validating user-provided pointers before dereferencing, ensuring system stability and process safety.

Core Features & Use Cases

• Pointer validation in system calls and exception handling to verify user address ranges.
• Buffer safety checks across boundaries to avoid invalid memory access during I/O operations.
• Use Case: When a user program passes a buffer to read or write, this skill checks the buffer's validity to prevent kernel crashes and terminates the offending process if invalid memory is detected.

Quick Start

Use the pintos user memory validator skill to audit and patch syscalls for pointer safety, then compile and test the module.