code wiki / (root) / nx_tls13_ch_adversarial_test.nx

nx_tls13_ch_adversarial_test.nx

buildroot/runtime/nx_tls13_ch_adversarial_test.nx

5784 B145 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic tls13
docsdependenciesstructsconstsfunctions

about

nx_tls13_ch_adversarial_test.nx -- Phase A2 of S-class hardening. Adversarial fuzzing of tls13_client_hello_parse, the parser exposed to every public-internet client when the substrate serves TLS. Top-priority hardening target for the nishifamily.com goal: a single malformed ClientHello byte stream from the wild internet must NOT crash, corrupt memory, or false-OK the server. What this smoke proves: parser returns structured verdict on every malformed input class. No buffer overruns, no infinite loops, no false-OK on a manifestly-broken ClientHello. Per the S-class honest audit (docs/NISHI_3D_PRINT_SCLASS_HONEST_AUDIT_2026_05_20.md): Phase A1 ✓ STL parser (commit prior) Phase A2 -- this smoke expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_tls13.nx nx_tls13_hello.nx nx_tls13_ch_adversarial_test.n

imports: nx_syscalls.nxnx_tls13.nxnx_tls13_hello.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap ch_parse_call sys_mmap ↻ tls13_client_hello_parse tls_read_u24_be tls_read_u16_be verdict_in_range

structs

none

consts

none

functions

25func ch_parse_call(buf: *u8, n: i64) -> i64
38func verdict_in_range(v: i64) -> i64
called by 1: main
44func main() -> i64