code wiki / (root) / nx_path_canonicalize_test.nx

nx_path_canonicalize_test.nx

buildroot/runtime/nx_path_canonicalize_test.nx

4956 B135 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic path
docsdependenciesstructsconstsfunctions

about

nx_path_canonicalize_test.nx -- structural smoke + CWE-22 attack corpus. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_path_canonicalize.nx nx_path_canonicalize_test.nx

imports: nx_syscalls_x86_64.nxnx_path_canonicalize.nx

imported by: nobody (leaf or entry point)

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

main nxp_verdict_is_valid bytes_eq nxp_verdict_name check_v nx_path_canonicalize nxp_is_dotdot_segment nx_path_canonicalize ↻ nx_path_join

structs

none

consts

none

functions

11func bytes_eq(a: *u8, b: *u8, n: i64) -> i64
called by 1: main
21func check_v(src: *u8, src_n: i64, max_out: i64,
called by 1: main calls 1: nx_path_canonicalize
30func main() -> i64
calls 6: nxp_verdict_is_validbytes_eqnxp_verdict_namecheck_vnx_path_canonicalizenx_path_join