code wiki / (root) / nx_installed_census_gate.nx

nx_installed_census_gate.nx

buildroot/runtime/nx_installed_census_gate.nx

13330 B209 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_installed_census_gate.nx -- GATE for the installed mode (/compare/intelmine IM20 ic_steam_library, IM22 ic_fingerprint, IM24 ic_tieout). A Steam library is PLANTED under /tmp/nx_installed_census_gate: a libraryfolders.vdf naming the root, three app manifests (one Unreal+Wwise+EAC tree, one Unity+OpenXR tree, one whose install dir is missing), a planted fingerprints conf and a planted review summary for one appid. No network. license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_reviewmine_lib.nx nx_installed_census_lib.nx nx_gate_verdict.nx nx_installed_census_gate.nx

imports: nx_syscalls.nxnx_reviewmine_lib.nxnx_installed_census_lib.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main gv_head gv_puts sys_write gv_ctr sys_mmap nxa_die sys_write ↻ sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ rm_mkdirp rm_slen sys_mmap ↻ rm_catn rm_mkdir sys_mkdir g_put rm_file_put sys_openat_wr rm_write_all sys_write ↻ sys_close rm_slen ↻ g_vdf sys_mmap ↻ g_q rm_cat g_kv g_q ↻ rm_cat ↻

structs

none

consts

10const G_ROOT: *u8 = "/tmp/nx_installed_census_gate/steam"
11const G_APPS: *u8 = "/tmp/nx_installed_census_gate/steam/steamapps"
12const G_COMMON: *u8 = "/tmp/nx_installed_census_gate/steam/steamapps/common"
13const G_VDF: *u8 = "/tmp/nx_installed_census_gate/steam/steamapps/libraryfolders.vdf"
14const G_M100: *u8 = "/tmp/nx_installed_census_gate/steam/steamapps/appmanifest_100.acf"
15const G_M200: *u8 = "/tmp/nx_installed_census_gate/steam/steamapps/appmanifest_200.acf"
16const G_M300: *u8 = "/tmp/nx_installed_census_gate/steam/steamapps/appmanifest_300.acf"
17const G_A_BIN: *u8 = "/tmp/nx_installed_census_gate/steam/steamapps/common/GameA/GameA/Binaries/Win64"
18const G_A_EXE: *u8 = "/tmp/nx_installed_census_gate/steam/steamapps/common/GameA/GameA/Binaries/Win64/GameA-Win64-Shipping.exe"
19const G_A_WWISE: *u8 = "/tmp/nx_installed_census_gate/steam/steamapps/common/GameA/GameA/Content/WwiseAudio"
20const G_A_EAC: *u8 = "/tmp/nx_installed_census_gate/steam/steamapps/common/GameA/EasyAntiCheat"
21const G_A_DEEP: *u8 = "/tmp/nx_installed_census_gate/steam/steamapps/common/GameA/d1/d2/d3/d4/d5/d6"
22const G_A_DEEPFILE: *u8 = "/tmp/nx_installed_census_gate/steam/steamapps/common/GameA/d1/d2/d3/d4/d5/d6/fmod.dll"
23const G_B_DIR: *u8 = "/tmp/nx_installed_census_gate/steam/steamapps/common/GameB"
24const G_B_UNITY: *u8 = "/tmp/nx_installed_census_gate/steam/steamapps/common/GameB/UnityPlayer.dll"
25const G_B_XR: *u8 = "/tmp/nx_installed_census_gate/steam/steamapps/common/GameB/GameB_Data/Plugins/x86_64/openxr_loader.dll"
26const G_B_XRDIR: *u8 = "/tmp/nx_installed_census_gate/steam/steamapps/common/GameB/GameB_Data/Plugins/x86_64"
27const G_FP: *u8 = "/tmp/nx_installed_census_gate/fingerprints.conf"
28const G_REVIEWS: *u8 = "/tmp/nx_installed_census_gate/reviews/"
29const G_SUMMARY: *u8 = "/tmp/nx_installed_census_gate/reviews/100.summary"
30const G_SEEN: *u8 = "/tmp/nx_installed_census_gate/reviews/100.seen"
31const G_A_SIZE: i64 = 41177764991
32const G_A_BUILD: i64 = 24575825
33const G_ROW_CAP: i64 = 8192

functions

35func g_put(path: *u8, s: *u8) -> i64 { return rm_file_put(path, s, rm_slen(s)) }
called by 1: main calls 2: rm_file_putrm_slen
36func g_q(b: *u8, o: i64) -> i64 { b[o] = RM_Q as u8; return o + 1 }
called by 3: g_kvg_manifestg_vdf
38func g_kv(b: *u8, o: i64, k: *u8, v: *u8) -> i64
called by 2: g_manifestg_vdf calls 2: g_qrm_cat
46func g_manifest(path: *u8, appid: *u8, name: *u8, dir: *u8, size: *u8) -> i64
called by 1: main calls 5: sys_mmapg_qrm_catg_kvrm_file_put
65func g_vdf() -> i64
called by 1: main calls 5: sys_mmapg_qrm_catg_kvrm_file_put
78func g_winpath() -> *u8
called by 1: main calls 2: sys_mmaprm_cat
89func g_find_field(row: *u8, n: i64, idx: i64, out: *u8, cap: i64) -> i64
called by 1: main calls 1: rm_catn
104func main() -> i64
calls 35: gv_headgv_ctrrm_mkdirpg_putg_vdfg_manifest+29