code wiki / (root) / nx_dns_test.nx

nx_dns_test.nx

buildroot/runtime/nx_dns_test.nx

4772 B93 linesdepth 2pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic dns
docsdependenciesstructsconstsfunctions

about

nx_dns_test.nx -- KAT + self-consistency for the DNS stub resolver. Vector source: an "example.com" query/response pair derived bits-up from RFC 1035 ยง4.1 wire format. IP 93.184.216.34 is the real public A record for example.com -- usable as a worked example because IANA reserves the example.* TLD for documentation under RFC 2606. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_dns.nx nx_dns_test.nx

imports: nx_syscalls.nxnx_dns.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 nx_dns_encode_name nx_dns_build_query nx_dns_put_u16_be nx_dns_encode_name ↻ nx_dns_parse_response_a nx_dns_get_u16_be nx_dns_skip_name nx_dns_skip_name ↻ nx_dns_verdict_is_valid

structs

none

consts

none

functions

15func main() -> i64
calls 6: sys_mmapnx_dns_encode_namenx_dns_build_querynx_dns_parse_response_anx_dns_skip_namenx_dns_verdict_is_valid