code wiki / (root) / nx_zombie_audit_gate.nx

nx_zombie_audit_gate.nx

buildroot/runtime/nx_zombie_audit_gate.nx

1887 B37 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_zombie_audit_gate.nx -- KAT for the zombie detector. Forks a DISTINCTIVE cluster of unreaped children (-> real zombies under this gate), asserts the detector counts that exact cluster, then reaps them and asserts the cluster is gone (neg-control). exit 0 = pass, N = assertion N failed.

dependencies 2 imports · 0 importers

nx_zombie_audit.nx nx_assert.nx nx_zombie_audit_gate.nx

imports: nx_zombie_audit.nxnx_assert.nx

imported by: nobody (leaf or entry point)

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

main sys_fork sys_sleep_ms sys_mmap sys_munmap za_scan sys_openat_rd sys_mmap ↻ sys_getdents64 dirent_reclen dirent_name za_pidnum za_stat sys_mmap ↻ za_readfile sys_mmap ↻ za_n_into sys_mmap ↻ sys_openat_rd ↻ sys_read sys_close sys_close ↻ zg_has_count nx_puts_err sys_write nx_puti_err sys_mmap ↻ sys_write ↻ sys_wait4

structs

none

consts

none

functions

7func zg_has_count(cc: *i64, n: i64, target: i64) -> i64 { var i: i64=0; while i<n { if cc[i]==target { return 1 } i=i+1 } return 0 }
called by 1: main
9func main() -> i64
calls 7: sys_forksys_sleep_msza_scanzg_has_countnx_puts_errnx_puti_err+1