code wiki / (root) / nx_tls13_aead_record_tcp_test.nx

nx_tls13_aead_record_tcp_test.nx

buildroot/runtime/nx_tls13_aead_record_tcp_test.nx

5084 B150 linesdepth 7pulls 16 transitivereach 0 importersview sourcekind gate/prooftopic tls13

docs dependencies structs consts functions

about

nx_tls13_aead_record_tcp_test.nx -- send + recv ONE AEAD-protected TLS 1.3 record over real TCP via fork loopback (RV64/qemu). Uses nx_tls13_record_encrypt/decrypt directly with hard-coded key and IV. Proves the AEAD record layer works over real kernel sockets on RV64 -- the missing piece needed to combine with the already-passing nx_tls13_handshake_tcp test for full encrypted HTTPS-class traffic. Keeps every function small per F6 friction-catalog discipline. expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

imports: nx_syscalls.nxnx_connect.nxnx_tls13_record.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

19	const TEST_PORT: i64 = 19445

functions

21	func build_addr(out: *u8, port: i64) -> i64 called by 1: main
31	func setup_key_iv(key_out: u8, iv_out: u8) -> i64 called by 2: run_client run_server
40	func read_n(fd: i64, buf: *u8, n: i64) -> i64 called by 1: recv_record calls 1: sys_read
51	func send_record(fd: i64, key: u8, iv: u8, seq: i64, payload: *u8, payload_len: i64) -> i64 called by 2: run_client run_server calls 3: sys_mmap nx_tls13_record_encrypt sys_write
64	func recv_record(fd: i64, key: u8, iv: u8, seq: i64, out: *u8, out_cap: i64) -> i64 called by 2: run_client run_server calls 3: sys_mmap read_n nx_tls13_record_decrypt
83	func run_client(cfd: i64) -> i64 called by 1: main calls 4: sys_mmap setup_key_iv send_record recv_record
104	func run_server(cfd: i64) -> i64 called by 1: main calls 4: sys_mmap setup_key_iv recv_record send_record
122	func main() -> i64 calls 12: sys_mmap build_addr sys_socket sys_bind sys_listen sys_fork+6