nx_tls13_server_session_app_data_test.nx
buildroot/runtime/nx_tls13_server_session_app_data_test.nx
about
nx_tls13_server_session_app_data_test.nx -- round-trip the app
data layer on a CONNECTED session. Server sends payload, server
also "receives" a client-encrypted payload (built using the same
shared keys for the smoke).
Closed-form invariants:
(a) Wrong state -> negative
(b) Drive through full handshake to CONNECTED
(c) app_send returns positive byte count, output starts 0x17
(d) server_app_seq increments
(e) Build a synthetic client app record + app_recv returns
exact plaintext (bit-for-bit match)
(f) client_app_seq increments
(g) Decrypting a tampered record -> PROTOCOL_ERR; seq NOT advanced
expect_exit: 0
license_tier: ORIGINAL
dependencies 18 imports · 0 importers
diagram shows first 10 each side; +8 more imports, +0 more importers in the complete lists below.
imports: nx_syscalls.nxnx_x25519.nxnx_x25519_ephemeral.nxnx_hmac.nxnx_tls13.nxnx_tls13_hello.nxnx_tls13_kdf.nxnx_tls13_record.nxnx_tls13_transcript.nxnx_tls13_server_session.nxnx_tls13_server_session_recv_ch.nxnx_tls13_server_session_emit_sh.nxnx_tls13_server_session_derive_hs.nxnx_tls13_server_session_derive_traffic.nxnx_tls13_server_session_emit_ee.nxnx_tls13_server_session_emit_sf.nxnx_tls13_server_session_recv_cf.nxnx_tls13_server_session_app_data.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
| 38 | func build_client_app_record( |
| 67 | func main() -> i64 |