mirror of
https://github.com/morluto/rea.git
synced 2026-10-29 19:05:45 +00:00
gensokyo-dev
17f581ff75
Add opt-in retained GDB and objdump summaries using the shared analysis-view layer. Preserve default complete Evidence, ordered records, provenance and completion facts. Validate real Bash disassembly, whole-client context costs, CLI publication and cleanup; retain the original measured cohorts and explicit coverage limitations. Closes #5584.
71 lines
2.1 KiB
TypeScript
71 lines
2.1 KiB
TypeScript
import { z } from "zod";
|
|
import { commandEvidenceDetailSchema } from "./commandObservation.js";
|
|
|
|
export const OBJDUMP_ARTIFACT_OPERATIONS = [
|
|
"file_headers",
|
|
"section_headers",
|
|
"symbols",
|
|
"relocations",
|
|
"dwarf",
|
|
"disassemble",
|
|
"disassemble_all",
|
|
] as const;
|
|
|
|
const objdumpArtifactInputSchema = z
|
|
.object({
|
|
path: z.string().min(1),
|
|
operation: z.enum(OBJDUMP_ARTIFACT_OPERATIONS).exclude(["disassemble"]),
|
|
follow_debug_links: z.boolean().default(false),
|
|
})
|
|
.strict();
|
|
|
|
const objdumpDisassemblyInputSchema = objdumpArtifactInputSchema.extend({
|
|
operation: z.literal("disassemble"),
|
|
symbol: z
|
|
.string()
|
|
.min(1)
|
|
.regex(/^[^\x00]*$/u)
|
|
// Keep UTF-16 checks out of patterns consumed by scalar Unicode engines.
|
|
.refine(
|
|
(symbol) => !/[\uD800-\uDFFF]/u.test(symbol),
|
|
"Symbol must be well-formed Unicode.",
|
|
)
|
|
.describe(
|
|
"Native symbol to disassemble, expressed as well-formed Unicode. Matching and symbol boundaries follow GNU objdump; omitted means all code sections.",
|
|
)
|
|
.optional(),
|
|
});
|
|
|
|
const objdumpArchitecturesInputSchema = z.strictObject({
|
|
operation: z.literal("architectures"),
|
|
});
|
|
|
|
/** Caller-selected native selection and independent Evidence delivery. */
|
|
export const objdumpInputSchema = z.discriminatedUnion("operation", [
|
|
objdumpArtifactInputSchema.extend({ detail: commandEvidenceDetailSchema }),
|
|
objdumpDisassemblyInputSchema.extend({ detail: commandEvidenceDetailSchema }),
|
|
objdumpArchitecturesInputSchema.extend({
|
|
detail: commandEvidenceDetailSchema,
|
|
}),
|
|
]);
|
|
|
|
/** Caller-selected Rizin command against one local artifact. */
|
|
export const rizinInputSchema = z
|
|
.object({
|
|
path: z.string().min(1),
|
|
command: z
|
|
.string()
|
|
.min(1)
|
|
.refine(
|
|
(value) => !/[\r\n\u0000]/u.test(value),
|
|
"A single command line is required",
|
|
),
|
|
})
|
|
.strict();
|
|
|
|
export type ObjdumpSelection =
|
|
| z.input<typeof objdumpArtifactInputSchema>
|
|
| z.input<typeof objdumpDisassemblyInputSchema>
|
|
| z.input<typeof objdumpArchitecturesInputSchema>;
|
|
export type RizinInput = z.input<typeof rizinInputSchema>;
|