code wiki / (root) / _tlskdf_minrepro.nx

_tlskdf_minrepro.nx

buildroot/runtime/_tlskdf_minrepro.nx

2796 B90 linesdepth 8pulls 10 transitivereach 0 importersview sourcekind tool
docsdependenciesstructsconstsfunctions

about

_tlskdf_minrepro.nx -- MINIMAL REPRO for the Jun-2 native-compiler TLS-KDF miscompile (nx_tls13_kdf_test assertion #31). Prints: the assembled HkdfLabel info block (decimal bytes, one line), then the first 8 bytes of Derive-Secret(early,"derived",H_empty). RFC 8448 expected derived[0..7] = 6f 26 15 a1 08 c7 02 c5 (111 38 21 161 8 199 2 197 decimal). Compile with the May-29 compiler -> correct bytes. Compile with the Jun-2 compiler -> wrong bytes (the defect). expect_exit: 0 license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_sha256.nx nx_hkdf.nx nx_tls13_kdf.nx _tlskdf_minrepro.nx

imports: nx_syscalls.nxnx_sha256.nxnx_hkdf.nxnx_tls13_kdf.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 nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ hkdf_extract sys_mmap ↻ hmac_sha256 sys_mmap ↻ sha256_digest sys_mmap ↻ sha256_init sys_mmap ↻ sha256_seed_allocated sha256_k sha256_update sha256_compress_ni_blocks blk_set_byte sha256_compress sha256_compress_ni blk_word sha256_final blk_set_byte ↻ sha256_compress ↻ sha256_destroy sys_munmap sys_munmap ↻ sha256_init ↻ sha256_update ↻

structs

none

consts

none

functions

20func mr_dec(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
43func mr_nl() -> i64
called by 1: main calls 2: sys_mmapsys_write
48func main() -> i64
calls 8: sys_mmaphkdf_extractsha256_digesttls13_build_hkdf_labelmr_decmr_nl+2