sqmagellanandmorluto
af88184eee
* feat(ghidra): configurable import language and analysis seeds REA_GHIDRA_LANGUAGE_ID and REA_GHIDRA_COMPILER_SPEC_ID set the import language when the header cannot identify the compiler (for example, Borland C++ PE images). REA_GHIDRA_SEED_FILE seeds functions, code and labels before auto-analysis, for code reached only through computed jumps or data. Both are validated before launch, recorded in the analysis profile and verified in the bridge handshake. * fix(ghidra): parse language XML and preserve seed ordering * test(ghidra): use explicit platform paths for seed launch checks * fix(javascript): retain cleanup failure reason in error causes --------- Co-authored-by: morluto <76467478+morluto@users.noreply.github.com>
98 lines
3.2 KiB
JavaScript
98 lines
3.2 KiB
JavaScript
#!/usr/bin/env node
|
|
|
|
import assert from "node:assert/strict";
|
|
import { mkdtemp, rm, writeFile } from "node:fs/promises";
|
|
import { tmpdir } from "node:os";
|
|
import { isAbsolute, join } from "node:path";
|
|
import { fileURLToPath } from "node:url";
|
|
import {
|
|
spawnOwnedProviderProcess,
|
|
ProviderProcessSupervisor,
|
|
} from "../../../dist/process/ProviderProcess.js";
|
|
import { cleanupOwnedProcessGroup } from "../../../dist/process/ProcessOwnership.js";
|
|
import { createVerifierRun } from "../../lib/verifier-run.mjs";
|
|
|
|
const installation = process.env.GHIDRA_INSTALL_DIR;
|
|
assert.ok(
|
|
installation && isAbsolute(installation),
|
|
"Set GHIDRA_INSTALL_DIR to a local Ghidra installation",
|
|
);
|
|
assert.notEqual(
|
|
process.platform,
|
|
"win32",
|
|
"This direct headless regression requires a POSIX host; Windows uses its controlled provider lane",
|
|
);
|
|
const workspace = await mkdtemp(join(tmpdir(), "rea-ghidra-seed-regression-"));
|
|
const run = createVerifierRun();
|
|
let supervisor;
|
|
try {
|
|
const target = join(workspace, "seed-functions.bin");
|
|
const seeds = join(workspace, "seeds.tsv");
|
|
// Falling through from the lower entry reaches the higher entry. Creating
|
|
// the higher function first is what keeps the two function bodies separate.
|
|
await writeFile(target, Buffer.from([0x90, 0x90, 0xc3]));
|
|
await writeFile(
|
|
seeds,
|
|
[
|
|
"0x0\tfunction\tseed_low",
|
|
"0x100000000\tfunction\tout_of_range",
|
|
"0x1\tfunction\tseed_high",
|
|
"0x1000\tlabel\tseed_global",
|
|
"0x1000\tcode",
|
|
"",
|
|
].join("\n"),
|
|
);
|
|
const launch = await spawnOwnedProviderProcess({
|
|
command: join(installation, "support", "analyzeHeadless"),
|
|
arguments: [
|
|
workspace,
|
|
"seed-regression",
|
|
"-import",
|
|
target,
|
|
"-loader",
|
|
"BinaryLoader",
|
|
"-processor",
|
|
"x86:LE:32:default",
|
|
"-noanalysis",
|
|
"-readOnly",
|
|
"-deleteProject",
|
|
"-scriptPath",
|
|
[
|
|
fileURLToPath(new URL("../../../bridge/ghidra", import.meta.url)),
|
|
fileURLToPath(
|
|
new URL("../../../tests/conformance/ghidra", import.meta.url),
|
|
),
|
|
].join(";"),
|
|
"-postScript",
|
|
"ReaSeedRegressionProbe.java",
|
|
seeds,
|
|
],
|
|
runId: run.run_id,
|
|
expectedCommand: null,
|
|
});
|
|
supervisor = new ProviderProcessSupervisor({
|
|
...launch,
|
|
ownsProcessLifetime: true,
|
|
cleanup: () => cleanupOwnedProcessGroup(launch.ownership),
|
|
});
|
|
assert.ok(
|
|
await supervisor.waitForExit(180_000),
|
|
"Ghidra seed regression exceeded its startup deadline",
|
|
);
|
|
const snapshot = supervisor.snapshot();
|
|
const output = `${snapshot.stdout.text}\n${snapshot.stderr.text}`;
|
|
assert.equal(snapshot.exitCode, 0, output);
|
|
// Headless can exit zero after a script fails, so require the probe's marker.
|
|
assert.ok(output.includes("REA_SEED_REGRESSION_OK "), output);
|
|
} finally {
|
|
if (supervisor !== undefined) {
|
|
const stopped = await supervisor.stop();
|
|
assert.notEqual(stopped.status, "incomplete", JSON.stringify(stopped));
|
|
supervisor.dispose();
|
|
}
|
|
await rm(workspace, { recursive: true, force: true });
|
|
}
|
|
console.log(
|
|
"Real Ghidra seed regression passed: descending function order, out-of-range seed, BSS label, BSS code rejection, and owned-process cleanup.",
|
|
);
|