nx_md5_kat.nx

buildroot/runtime/_hdl_build/nx_md5_kat.nx

2518 B35 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind tooltopic md5

docs dependencies structs consts functions

about

nx_md5_kat.nx -- SOVEREIGN known-answer test for nx_md5_canonical, using the RFC 1321 Appendix A.5 suite (no oracle: the RFC vectors ARE the known answers). Explicit byte-lengths (so the empty case is a true n=0, not a strlen of the "" literal), and 62- and 80-byte inputs so the MULTI-BLOCK path is exercised (the old compile-only smoke only ever hashed <=3-byte single-block inputs). GREEN iff every vector matches. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

imports: nx_syscalls.nxnx_md5_canonical.nxnx_hex_codec.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

10	func k_puts(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } called by 2: k_check main calls 1: sys_write
11	func k_eq(a: u8, b: u8) -> i64 { var i: i64=0; while b[i]!=(0 as u8){ if a[i]!=b[i]{return 0} i=i+1 } return 1 } called by 1: k_check
12	func k_check(label: u8, data: u8, n: i64, exp: *u8) -> i64 called by 1: main calls 5: sys_mmap md5 hex_encode k_puts k_eq
21	func main() -> i64 calls 5: k_puts k_check sys_mmap sys_write sys_exit