Gzmomo001
7 verified skills7 total stars
pintos-list-scaffolder
Safely generates iteration, insertion, and struct extraction logic for Pintos intrusive `list_elem` structures.
tools1
pintos-c-formatter
Enforces Pintos's strict GNU-like C formatting, such as 2-space indents, return types on separate lines, and spaces before parentheses.
development1
pintos-test-analyzer
Runs a specific Pintos test in the dev Docker container, auto-extracts the output on failure, and debugs the kernel issue.
development1
pintos-user-memory-validator
Automatically inserts rigorous validation for user-provided pointers to prevent kernel panics.
development1
pintos-syscall-scaffolder
Autogenerates boilerplate for new system calls in `userprog/syscall.c`, including safe argument extraction and dispatch logic.
tools1
pintos-page-allocator
Audits memory allocations to enforce the use of palloc_get_page(PAL_ZERO) over malloc, ensuring strict NULL checks.
testing1
pintos-sync-auditor
Analyzes concurrency logic to ensure critical sections use correct interrupt disabling or lock primitives without busy waiting. Merges the former pintos-interrupt-guard functionality.
testing1