code wiki / (root) / nx_nxa_bounds_gate.nx

nx_nxa_bounds_gate.nx

buildroot/runtime/nx_nxa_bounds_gate.nx

6443 B118 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic nxa
docsdependenciesstructsconstsfunctions

about

NXA v1 section boundaries: malformed inputs must fail before payload access.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_nxa.nx nx_gate_verdict.nx nx_nxa_bounds_gate.nx

imports: nx_syscalls.nxnx_nxa.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ nb_fixture sys_mmap ↻ nxa_magic nxa_tag4 nxa_check2 nb_seal nxa_check2 ↻ nxa_tag4 ↻ gv_check_eq gv_check gv_puts sys_write ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap nxa_find nxa_section_entry nxa_magic ↻ nxa_check2 ↻ nxa_counted_section nxa_section_entry ↻

structs

none

consts

7const NB_WORD: i64 = 8
8const NB_HEADER_WORDS: i64 = 4
9const NB_ENTRY_WORDS: i64 = 4
11const NB_WORD_MULTIPLICATION_WRAP: i64 = 2305843009213693952
12const NB_FIXTURE_WORDS: i64 = NB_HEADER_WORDS + NB_ENTRY_WORDS + 1

functions

14func nb_seal(h: *i64) -> i64
called by 2: nb_fixturemain calls 1: nxa_check2
18func nb_fixture() -> *i64
called by 1: main calls 5: sys_mmapnxa_magicnxa_tag4nxa_check2nb_seal
27func main(argc: i64,argv: *i64) -> i64
calls 14: gv_ctrnb_fixturenxa_tag4gv_check_eqnxa_findnxa_counted_section+8