code wiki / (root) / nx_tls13_ext_test.nx

nx_tls13_ext_test.nx

buildroot/runtime/nx_tls13_ext_test.nx

7730 B167 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic tls13
docsdependenciesstructsconstsfunctions

about

nx_tls13_ext_test.nx -- byte-exact KAT for TLS 1.3 extension emitters + parsers. Each emit is verified against handcomputed expected bytes per the wire format in RFC 8446 §4.2.x (and RFC 6066 §3 for SNI). Parse is verified by round-trip: emit ServerHello-style extension, re-parse it, recover the input. expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_tls13.nx nx_tls13_ext.nx nx_tls13_ext_test.nx

imports: nx_syscalls.nxnx_tls13.nxnx_tls13_ext.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 tls13_ext_emit_server_name tls_write_u16_be tls13_ext_emit_supported_v tls_write_u16_be ↻ tls13_ext_emit_supported_g tls_write_u16_be ↻ tls13_ext_emit_signature_a tls_write_u16_be ↻ tls13_ext_emit_key_share_x tls_write_u16_be ↻ tls13_ext_parse_supported_ tls_read_u16_be tls13_ext_parse_key_share_ tls_read_u16_be ↻ nx_tls13_ext_verdict_is_va

structs

none

consts

none

functions

16func main() -> i64
calls 9: sys_mmaptls13_ext_emit_server_nametls13_ext_emit_supported_versions_tls13tls13_ext_emit_supported_groupstls13_ext_emit_signature_algorithmstls13_ext_emit_key_share_x25519+3