code wiki / (root) / nx_x509_validity_test.nx

nx_x509_validity_test.nx

buildroot/runtime/nx_x509_validity_test.nx

9736 B216 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic x509
docsdependenciesstructsconstsfunctions

about

nx_x509_validity_test.nx -- KAT for the X.509 validity period parser + range-check. Exercises both ASN.1 Time encodings (UTCTime 0x17 and GeneralizedTime 0x18), the OK / NOT_YET_VALID / EXPIRED verdicts, plus error paths for bad tag, bad length, inverted range, and missing validity. expect_exit: 0 license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_asn1.nx nx_x509.nx nx_x509_validity.nx nx_x509_validity_test.nx

imports: nx_syscalls.nxnx_asn1.nxnx_x509.nxnx_x509_validity.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 emit_utctime x509_validity_get sys_mmap ↻ x509_read_time_tlv parse_utctime parse_2digit days_from_civil parse_gentime parse_4digit parse_2digit ↻ parse_2digit ↻ days_from_civil ↻ x509_validity_check sys_mmap ↻ x509_validity_get ↻ emit_gentime nx_x509_validity_verdict_i

structs

none

consts

none

functions

21func emit_utctime(buf: *u8, off: i64,
called by 1: main
45func emit_gentime(buf: *u8, off: i64,
called by 1: main
68func main() -> i64
calls 6: sys_mmapemit_utctimex509_validity_getx509_validity_checkemit_gentimenx_x509_validity_verdict_is_valid