mirror of
https://github.com/morluto/rea.git
synced 2026-10-18 20:10:13 -05:00
Ysopwnable
d9cd239c5e
* fix(test): honor Ghidra startup budgets in file-offset verification * fix(test): preserve selected startup budgets in direct Ghidra verification * test(ghidra): cover verifier timeout budgets * fix(test): preserve Ghidra MCP request budgets
17 lines
606 B
TypeScript
17 lines
606 B
TypeScript
export interface GhidraFileOffsetVerification {
|
|
readonly cli_mcp_parity: true;
|
|
readonly explicit_and_numeric_offsets: true;
|
|
readonly invalid_and_unmapped_offsets: true;
|
|
readonly mapped_offset_without_procedure: true;
|
|
readonly ambiguous_mappings: "verified" | "unavailable-single-section";
|
|
readonly source_unchanged: true;
|
|
readonly cleanup: "complete";
|
|
}
|
|
|
|
/** Exercise file coordinates through public CLI/MCP using a source-owned PE fixture. */
|
|
export function verifyGhidraFileOffsets(
|
|
targetPath: string,
|
|
entrypoint: string,
|
|
procedure: string,
|
|
): Promise<GhidraFileOffsetVerification>;
|