Function os_inspector_walks_pid1_stack

tests/integration/kernel_integration.rs:3431–3465

()

    let flat = assembled.to_flat_binary();
    let padded = (flat.len().div_ceil(4096) * 4096) as u64;

    for sym in &["_a0", "_a1", "_a2", "_a3", "_ret"] {
        let off = assembled
            .symbol_address(sym)
            .unwrap_or_else(|| panic!("symbol '{sym}' missing from user binary"));
        assert!(
            off + 8 <= padded,
            "global '{sym}' at offset {off:#x} extends past mapped region end {padded:#x}"
        );
    }
}

#[test]
fn kernel_fs_path_literals_in_mapped_range() {
    let assembled = compile_hosted(FS_EXERCISER);
    let flat = assembled.to_flat_binary();
    let padded = flat.len().div_ceil(4096) * 4096;

    for needle in &[
        &b"/hello.txt\0"[..],
        &b"/out\0"[..],
        &b"/out/result.txt\0"[..],
        &b"/out/final.txt\0"[..],
    ] {
        let pos = flat
            .windows(needle.len())
            .position(|w| w == *needle)
            .unwrap_or_else(|| panic!("path literal {:?} not found in user binary", needle));
        assert!(
            pos + needle.len() <= padded,
            "path literal {needle:?} ends past mapped region"
        );
    }
}