code wiki / (root) / nx_wasm_static_bounds_gate.nx

nx_wasm_static_bounds_gate.nx

buildroot/runtime/nx_wasm_static_bounds_gate.nx

9236 B107 linesdepth 6pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic wasm
docsdependenciesstructsconstsfunctions

about

Pure compiler layout tests: actual checked owner and emitted bytes, no CLI subprocess or deployment.

dependencies 3 imports · 0 importers

nx_wasm_data.nx nx_wasm_layout_lib.nx nx_gate_verdict.nx nx_wasm_static_bounds_gate.nx

imports: nx_wasm_data.nxnx_wasm_layout_lib.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

5func wb_eq(a: *u8,an: i64,b: *u8,bn: i64) -> i64
9func wb_strlen(s: *u8) -> i64 { var n: i64=0;while s[n]!=(0 as u8){n=n+1};return n }
10func wb_word(b: *u8,at: i64) -> i64 { var n: i64=0;var i: i64=0;while i<8{n=n|((b[at+i] as i64)<<(i*8));i=i+1};return n }
11func main() -> i64