code wiki / _hdl_build / nx_recycler_grow.nx
nx_recycler_grow.nx
buildroot/runtime/_hdl_build/nx_recycler_grow.nx
about
nx_recycler_grow.nx -- Expands assessed coverage by inheriting parent verdicts for new CVEs, marking them as provisional until independently assessed.
dependencies 2 imports · 0 importers
imports: nx_gate_gn.nxnx_syscalls.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
| 12 | 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 } |
| 13 | func gp_fd(fd: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd,s,n); return 0 } |
| 14 | func isdig(c: i64) -> i64 { if c>=48 { if c<=57 { return 1 } } return 0 } called by 1: cve_len |
| 15 | func cve_len(buf: *u8, n: i64, i: i64) -> i64 |
| 32 | func eq_at(store: *u8, slot: i64, L: i64, buf: *u8, i: i64) -> i64 { var k: i64=0; while k<L { if store[slot*24+k]!=buf[i+k]{return 0} k=k+1 } return 1 } called by 1: grow_one |
| 33 | func lit_eq(store: *u8, slot: i64, L: i64, lit: *u8) -> i64 { var ll: i64=0; while lit[ll]!=(0 as u8){ll=ll+1} if ll!=L { return 0 } var k: i64=0; while k<L { if store[slot*24+k]!=lit[k]{return 0} k=k+1 } return 1 } called by 1: main |
| 35 | func is_seed(buf: *u8, i: i64, L: i64) -> i64 |
| 43 | func seed1(buf: *u8, i: i64, L: i64, lit: *u8) -> i64 { var ll: i64=0; while lit[ll]!=(0 as u8){ll=ll+1} if ll!=L { return 0 } var k: i64=0; while k<L { if buf[i+k]!=lit[k]{return 0} k=k+1 } return 1 } called by 1: is_seed |
| 44 | func vname(v: i64) -> *u8 { if v==0 { return "NEEDS-GATE" as *u8 } if v==1 { return "IMMUNE-BY-DESIGN" as *u8 } return "NOT-APPLICABLE" as *u8 } called by 1: main |
| 47 | func grow_one(path: *u8, verdict: i64, parent: *u8, store: *u8, lens: *i64, verds: *i64, pars: *i64, cntp: *i64, capn: i64) -> i64 |
| 74 | func main() -> i64 |