code wiki / (root) / nx_printer_security_test.nx

nx_printer_security_test.nx

buildroot/runtime/nx_printer_security_test.nx

3695 B79 linesdepth 2pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic printer
docsdependenciesstructsconstsfunctions

about

nx_printer_security_test.nx -- offline gate for the printer security auditor. Unique exit codes per invariant: 1x none/none -> EXPOSED (+ CLEARTEXT,NOAUTH flags; no TLS/AUTH) [the real Brother case] 1x* tls/digest -> SECURE (+ TLS,AUTH; no CLEARTEXT/NOAUTH) 2x tls,none / digest,none -> WEAK (downgrade offered) + set_contains spot-checks 3x no security attrs -> UNKNOWN (flags 0; never a false "SECURE") expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_ipp_codec.nx nx_printer_security.nx nx_printer_security_test.nx

imports: nx_syscalls.nxnx_ipp_codec.nxnx_printer_security.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 base nx_ipp_begin nx_ipp_put_u16 nx_ipp_put_u32 nx_ipp_group nx_ipp_attr_int nx_ipp_put_u16 ↻ nx_ipp_memcpy nx_ipp_put_u32 ↻ nx_ipp_attr nx_ipp_put_u16 ↻ nx_ipp_memcpy ↻ nx_ipp_strlen nx_ipp_end nx_printer_security nx_psec_has nx_ipp_find nx_ipp_strlen ↻ nx_ipp_get_u16 nx_ipp_name_eq nx_psec_set_contains nx_ipp_strlen ↻ nx_ipp_get_u16 ↻ nx_ipp_name_eq ↻ nx_ipp_attr_add nx_ipp_put_u16 ↻ nx_ipp_memcpy ↻ nx_psec_set_contains ↻ t_puts sys_write

structs

none

consts

none

functions

13func t_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 1: main calls 1: sys_write
15func base(buf: *u8) -> i64
called by 1: main calls 3: nx_ipp_beginnx_ipp_groupnx_ipp_attr_int
22func main() -> i64
calls 9: sys_mmapbasenx_ipp_attrnx_ipp_strlennx_ipp_endnx_printer_security+3