page-table-management
Pass
Audited by Gen Agent Trust Hub on Oct 3, 2026
Risk Level: SAFECOMMAND_EXECUTIONDYNAMIC_EXECUTIONINDIRECT_PROMPT_INJECTION
Full Analysis
- [COMMAND_EXECUTION]: The skill provides instructions to compile and run local C source code using system compilers.\n
- Evidence:
gcc -Wall -Wextra -O2 examples/good/x86_64_walk.c -o /tmp/walk && /tmp/walk 0xffff888012345678inSKILL.mdandevals/README.md.\n- [DYNAMIC_EXECUTION]: The skill performs runtime compilation of provided C examples to verify the structural and mathematical correctness of its page table walk models.\n - Evidence: Compilation of
examples/good/x86_64_walk.cinto a binary for verification purposes.\n- [INDIRECT_PROMPT_INJECTION]: The skill's primary function is to review and analyze virtual memory code, which creates a surface for processing potentially untrusted data.\n - Ingestion points: Analysis and review of user-supplied kernel-level virtual memory code (
SKILL.md).\n - Boundary markers: The skill does not define specific delimiters to isolate untrusted code from instructions.\n
- Capability inventory: The skill utilizes system tools like
gccfor verification of bit-level logic.\n - Sanitization: No specific filtering or sanitization process is defined for the code analysis workflow.
Audit Metadata