code wiki / (root) / nx_tls13_auth_test.nx

nx_tls13_auth_test.nx

buildroot/runtime/nx_tls13_auth_test.nx

10048 B238 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic tls13
docsdependenciesstructsconstsfunctions

about

nx_tls13_auth_test.nx -- KAT for EncryptedExtensions + Certificate + CertificateVerify parsers. Hand-builds known-shape handshake messages, parses them, verifies every extracted offset/length is correct. Tampered headers rejected with the right verdict. expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_tls13.nx nx_tls13_auth.nx nx_tls13_auth_test.nx

imports: nx_syscalls.nxnx_tls13.nxnx_tls13_auth.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_parse_encrypted_exte tls13_auth_check_handshake tls_read_u16_be tls13_parse_certificate_ch tls13_auth_check_handshake ↻ tls_read_u16_be ↻ tls13_parse_certificate_ve tls13_auth_check_handshake ↻ tls_read_u16_be ↻ nx_tls13_auth_verdict_is_v tls13_parse_certificate_ch tls13_auth_check_handshake ↻ tls_read_u16_be ↻

structs

none

consts

none

functions

15func main() -> i64
calls 6: sys_mmaptls13_parse_encrypted_extensionstls13_parse_certificate_chain_firsttls13_parse_certificate_verifynx_tls13_auth_verdict_is_validtls13_parse_certificate_chain_all