code wiki / (root) / nx_chain_full_real_test.nx

nx_chain_full_real_test.nx

buildroot/runtime/nx_chain_full_real_test.nx

4565 B125 linesdepth 13pulls 65 transitivereach 0 importersview sourcekind gate/prooftopic chain
docsdependenciesstructsconstsfunctions

about

nx_chain_full_real_test.nx -- verify ALL 4 cert pairs of the real example.com chain, with cert4 verified against the Comodo AAA root (loaded directly from /tmp/comodo_aaa.der as a standalone fixture). Pairs: cert1 (leaf) under cert2 (Cloudflare TLS Issuing ECC CA 1) -- ECDSA-P256-SHA256 cert2 under cert3 (SSL.com TLS Transit ECC CA R2) -- ECDSA-SHA384 + P-384 issuer cert3 under cert4 (SSL.com TLS ECC Root CA 2022) -- ECDSA-SHA384 + P-384 issuer cert4 under Comodo AAA Certificate Services -- RSA-PKCS#1-v1.5 SHA-256 expect_exit: 0. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_x509.nx nx_x509_verify_under_issuer.nx nx_chain_full_real_test.nx

imports: nx_syscalls.nxnx_x509.nxnx_x509_verify_under_issuer.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 ↻ mkpath_cert read_to sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_munmap sys_close mkpath_comodo dump_dec sys_mmap ↻ sys_write ↻ sys_write ↻

structs

none

consts

none

functions

18func read_to(path: *u8, out_buf: *u8, max: i64) -> i64
called by 1: main calls 2: sys_mmapsys_read_file
29func mkpath_cert(out: *u8, num: i64) -> i64
called by 1: main
39func mkpath_comodo(out: *u8) -> i64
called by 1: main
46func dump_dec(l0: i64, l1: i64, l2: i64, v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
70func main() -> i64