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 mkpath_cert read_to sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close mkpath_comodo x509_parse sys_mmap ↻ asn1_cursor_init asn1_expect_tag sys_mmap ↻ asn1_read_tlv_header asn1_read_tag asn1_read_length asn1_read_length ↻ x509_read_tlv sys_mmap ↻ asn1_expect_tag ↻ x509_read_alg_id sys_mmap ↻ asn1_expect_tag ↻ nx_x509_verify_under_issue nx_x509_sig_alg_identify sys_mmap ↻ asn1_expect_tag ↻ nx_x509_sig_alg_is_support nx_x509_pubkey_alg_identif sys_mmap ↻ asn1_expect_tag ↻ oid_is_ed25519 oid_is_rsa_encryption oid_is_id_ec_public_key oid_is_prime256v1 oid_is_secp384r1

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
calls 8: sys_mmapmkpath_certread_tomkpath_comodox509_parsenx_x509_verify_under_issuer+2