code wiki / _hdl_build / nx_html_sanitize_test.nx

nx_html_sanitize_test.nx

buildroot/runtime/_hdl_build/nx_html_sanitize_test.nx

7522 B115 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic html

docs dependencies structs consts functions

about

nx_html_sanitize_test.nx -- ENGINEER verification of the CMS sanitizer keystone: byte-exact KATs over REAL stored-XSS vectors (script, event handlers, javascript: URLs, case games, unterminated tags, style content, quote-embedded '>'), plus the escape-on-render path. Exit 0 = all green.

dependencies 3 imports · 0 importers

imports: nx_gate_verdict.nxnx_html_sanitize.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

none

functions

8	func ht_w(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 4: ht_kat ht_kat_span ht_kat_esc main calls 1: sys_write
9	func ht_len(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n } called by 3: ht_kat ht_kat_span ht_kat_esc
12	func ht_kat(id: i64, inp: u8, want: u8) -> i64 called by 1: main calls 5: sys_mmap hs_sanitize ht_len ht_w sys_write
33	func ht_kat_span(id: i64, inp: u8, want: u8) -> i64 called by 1: main calls 6: sys_mmap ht_len hs_escape hs_cat_esc_span hs_emit ht_w
55	func ht_kat_esc(id: i64, inp: u8, want: u8) -> i64 called by 1: main calls 4: sys_mmap hs_escape ht_len ht_w
69	func main() -> i64 calls 9: gv_head gv_ctr ht_kat ht_kat_esc ht_kat_span ht_w+3