code wiki / _hdl_build / nx_regex.nx

nx_regex.nx

buildroot/runtime/_hdl_build/nx_regex.nx

4072 B50 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind tooltopic regex
docsdependenciesstructsconstsfunctions

about

nx_regex.nx -- SOVEREIGN linear-time regex GATE, now on the GENERAL nx_regex_lib (rule 15). Linear NFA state-set, NO backtracking => ReDoS-IMMUNE (the RE2/Go design). Subset: literal/./*/+/?/[..]/^/$. (|/() = follow-on.) T1-T6 correctness. T7 EXCEED: ReDoS-pathological match runs in LINEAR steps (measured). T8 teeth: non-match=0. expect_exit: 0 Sovereign: nx_regex_lib (+ nx_syscalls).

dependencies 3 imports · 0 importers

nx_regex_lib.nx nx_itoa_lib.nx nx_syscalls.nx nx_regex.nx

imports: nx_regex_lib.nxnx_itoa_lib.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main g_puts sys_write sys_mmap re_run sys_mmap ↻ re_parse re_setbit re_match sys_mmap ↻ re_close re_getbit re_slen ck g_puts ↻ g_pn nxi_out nxi_fd sys_mmap ↻ ccz_cat_num sys_write ↻ sys_munmap sys_openat_append sys_write ↻ sys_close sys_exit

structs

none

consts

8const K_MAGIC_2000: i64 = 2000

functions

10func g_puts(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
called by 2: ckmain calls 1: sys_write
15func g_pn(v: i64) -> i64 { nxi_out(v); return 0 }
called by 1: main calls 1: nxi_out
16func ck(name: *u8, c: i64) -> i64 { if c==1 { g_puts(" PASS " as *u8) } else { g_puts(" FAIL " as *u8) } g_puts(name); g_puts("\n" as *u8); return c }
called by 1: main calls 1: g_puts
18func main() -> i64
calls 9: g_putssys_mmapre_runckg_pnsys_openat_append+3