code wiki / _hdl_build / nx_apistack_audit_gate.nx

nx_apistack_audit_gate.nx

buildroot/runtime/_hdl_build/nx_apistack_audit_gate.nx

2866 B43 linesdepth 4pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic apistack

dependencies 3 imports · 0 importers

imports: nx_gate_gn.nxnx_syscalls.nxnx_apistack_audit.nx

imported by: nobody (leaf or entry point)

none

none

8	func gp(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
9	func g_app(buf: u8, off: i64, s: u8) -> i64 { var i: i64=0; while s[i]!=(0 as u8){buf[off+i]=s[i];i=i+1} return off+i } called by 1: g_pl
10	func g_pl(buf: u8, a: u8, b: u8, c: u8) -> i64 { var o: i64 = g_app(buf,0,a); buf[o]=9 as u8; o=o+1; o=g_app(buf,o,b); buf[o]=9 as u8; o=o+1; o=g_app(buf,o,c); return o } called by 1: main calls 1: g_app
12	func main(argc: i64, argv: *i64) -> i64 calls 12: gp sys_openat_wr sys_close sys_mmap g_pl au_append+6