code wiki / (root) / nx_netscope_dissect_test.nx

nx_netscope_dissect_test.nx

buildroot/runtime/nx_netscope_dissect_test.nx

5934 B117 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic netscope
docsdependenciesstructsconstsfunctions

about

nx_netscope_dissect_test.nx -- 1:1 KAT for NX-NETSCOPE L4 pure dissectors + canonical digest (nx_netscope_dissect.nx). Dissects explicit known frame bytes and asserts every extracted field, proves the digest is deterministic + field-sensitive, and proves LOUD-fail (UNRESOLVED, never silent) on IPv6/short frames. expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_netscope_dissect.nx nx_netscope_dissect_test.nx

imports: nx_netscope_dissect.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main build_eth_ip nx_packet_dissect nx_dns_get_u16_be nxd_be32 dput nx_dissect_digest sys_mmap nxd_put_be64 nx_sha256_one_shot _h_set _sha256_compress _blk_word_be _rotr32 _h_get _sha256_k _h_set ↻ _h_get ↻

structs

none

consts

none

functions

12func dput(n: i64) -> i64
called by 1: main
26func build_eth_ip(f: *u8, proto: i64, total_len: i64) -> i64
called by 1: main
41func main() -> i64