PintOS_workspace

Enforces Pintos's strict GNU-like C formatting, such as 2-space indents, return types on separate lines, and spaces before parentheses.

Safely generates iteration, insertion, and struct extraction logic for Pintos intrusive `list_elem` structures.

Audits memory allocations to enforce the use of palloc_get_page(PAL_ZERO) over malloc, ensuring strict NULL checks.

Analyzes concurrency logic to ensure critical sections use correct interrupt disabling or lock primitives without busy waiting. Merges the former pintos-interrupt-guard functionality.

Autogenerates boilerplate for new system calls in `userprog/syscall.c`, including safe argument extraction and dispatch logic.

Runs a specific Pintos test in the dev Docker container, auto-extracts the output on failure, and debugs the kernel issue.

Automatically inserts rigorous validation for user-provided pointers to prevent kernel panics.