code wiki / (root) / nx_proc_ctl_gate.nx

nx_proc_ctl_gate.nx

buildroot/runtime/nx_proc_ctl_gate.nx

3111 B42 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic proc
docsdependenciesstructsconstsfunctions

about

nx_proc_ctl_gate.nx -- proves the canonical full-cmdline matcher, including the EXACT disaster case: a 22-char binary name that /proc/<pid>/comm truncates to 15 (so the old nx_proc_kill silently matched nothing). And the safety: an arg mention of the same name (no leading '/') is NOT matched, so it never kills its own command. Uses canonical nx_gate; no live kill (matcher is the safety-critical, deterministic part). license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_proc_ctl_cmdl.nx nx_gate.nx nx_proc_ctl_gate.nx

imports: nx_proc_ctl_cmdl.nxnx_gate.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main gw sys_write tb nx_pctl_cmdl_has gn sys_write ↻ sys_mmap

structs

none

consts

none

functions

9func tb(buf: *u8, s: *u8) -> i64 { var i: i64=0; while s[i]!=(0 as u8){ buf[i]=s[i]; i=i+1 } return i }
called by 1: main
11func main() -> i64