mirror of
https://github.com/morluto/rea.git
synced 2026-10-26 17:35:11 +00:00
36 lines
1.2 KiB
TypeScript
36 lines
1.2 KiB
TypeScript
/** Extract one real procedure address from the complete inline inventory. */
|
|
export function firstProcedureAddress(input: unknown): string;
|
|
|
|
/** Reject empty and success-shaped embedded decompilation failures. */
|
|
export function requirePseudocode(input: unknown, operation: string): string;
|
|
|
|
/** Validate a complete Hopper function dossier semantically. */
|
|
export function requireFunctionDossier(
|
|
input: unknown,
|
|
expectedAddress: string,
|
|
): Record<string, unknown>;
|
|
|
|
/** Positive semantic facts required from one source-owned Hopper fixture. */
|
|
export interface FunctionDossierOracle {
|
|
readonly procedure_address: string;
|
|
readonly callee_address?: string;
|
|
readonly caller_address?: string;
|
|
readonly referenced_string?: string;
|
|
readonly referenced_name?: string;
|
|
readonly comment?: string;
|
|
readonly require_cfg_successor?: boolean;
|
|
readonly require_assembly?: boolean;
|
|
}
|
|
|
|
/** Reject a structurally valid dossier that omits fixture-proven semantics. */
|
|
export function requireFunctionDossierOracle(
|
|
input: unknown,
|
|
oracle: FunctionDossierOracle,
|
|
): Record<string, unknown>;
|
|
|
|
/** Require every relationship to be an actual hexadecimal address. */
|
|
export function requireAddressArray(
|
|
input: unknown,
|
|
operation: string,
|
|
): string[];
|