nx_smoke_elf_minimal.nx source
↩ module page · 18 lines · 640 B
1// Minimal write_elf test: 4 bytes of code, write to stderr (fd 2).
2
3// nx_safety_envelope:
4// intended_use: AUTO_APPLIED -- primitive-specific tuning queued
5// sil_target: SIL1
6// evidence: [bulk_applied_2026-05-16, see-file-comment-for-detail]
7// verdict: NOT_YET_EVALUATED
8
9import "nx_syscalls.nx"
10import "elf_writer.nx"
11
12func main() -> i64 {
13 let code: *u8 = sys_mmap(64)
14 code[0] = 0x67; code[1] = 0x80; code[2] = 0x00; code[3] = 0x00 // ret
15 let n: i64 = write_elf(code, 4, 2)
16 if n < 0 { return __syscall(93, 50, 0, 0, 0, 0, 0) }
17 return __syscall(93, 42, 0, 0, 0, 0, 0)
18}