nx_restage_gate.nx
buildroot/runtime/nx_restage_gate.nx
about
nx_restage_gate.nx -- proves the SAFETY core of nx_restage (the target sanitizer = the security
boundary: a restage caller must never escape _offc via the target name). The copy/ELF-verify/atomic
path is proven LIVE (self-stage RESTAGED bytes=17236, magic 7f454c46). exit 0 == all pass.
license_tier: ORIGINAL expect_exit: 0
dependencies 1 imports · 0 importers
imports: nx_restage.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 7 | 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 |
| 9 | func main(argc: i64, argv: *i64) -> i64 |