nx_tls13_server_session_derive_hs_test.nx
buildroot/runtime/nx_tls13_server_session_derive_hs_test.nx
about
nx_tls13_server_session_derive_hs_test.nx -- verify the server's
handshake-secret derivation after ServerHello.
Closed-form invariants:
(a) Wrong state (INIT) -> BAD_STATE
(b) After recv_ch + emit_sh + derive_hs_secrets:
state advances to EE_SENT
(c) handshake_secret is allocated (non-null) + 32 bytes non-zero
(d) Calling derive again -> BAD_STATE (already past SH_SENT)
expect_exit: 0
license_tier: ORIGINAL
dependencies 9 imports · 0 importers
imports: nx_syscalls.nxnx_x25519.nxnx_x25519_ephemeral.nxnx_tls13.nxnx_tls13_hello.nxnx_tls13_server_session.nxnx_tls13_server_session_recv_ch.nxnx_tls13_server_session_emit_sh.nxnx_tls13_server_session_derive_hs.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
| 24 | func main() -> i64 |