rea-agents 1.7.0 → 2.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +112 -59
- package/bridge/ghidra/ReaGhidraBridge.java +96 -11
- package/dist/application/ArtifactExtraction.js +1 -1
- package/dist/application/ArtifactInventory/classify.js +42 -0
- package/dist/application/ArtifactInventory/hash.js +43 -0
- package/dist/application/ArtifactInventory/reader.js +41 -0
- package/dist/application/ArtifactInventory/scanCanonical.js +155 -0
- package/dist/application/ArtifactInventory/scanReader.js +124 -0
- package/dist/application/ArtifactInventory/types.js +10 -0
- package/dist/application/ArtifactInventory.js +9 -351
- package/dist/application/AuthorizedArtifactInventory.js +2 -2
- package/dist/application/BinarySession.js +47 -270
- package/dist/application/BinarySessionExecution.js +28 -0
- package/dist/application/BinarySessionOpen.js +39 -0
- package/dist/application/BinarySessionRecords.js +149 -0
- package/dist/application/BinarySessionStatus.js +75 -0
- package/dist/application/CapabilityInventory.js +42 -2
- package/dist/application/ClientRegistrationStatus.js +1 -1
- package/dist/application/CrossVersionInventory.js +8 -2
- package/dist/application/CrossVersionInvestigation.js +11 -29
- package/dist/application/CrossVersionInvestigationCollections.js +23 -0
- package/dist/application/DirectAnalysis.js +47 -44
- package/dist/application/Doctor.js +165 -197
- package/dist/application/DoctorDiagnostics.js +180 -0
- package/dist/application/ElectronBoundaryAnalysis.js +112 -0
- package/dist/application/ElectronBoundaryGraph.js +9 -0
- package/dist/application/ElectronBoundaryGraphContext.js +62 -0
- package/dist/application/ElectronBoundaryGraphIpc.js +242 -0
- package/dist/application/ElectronBoundaryGraphNative.js +86 -0
- package/dist/application/ElectronBoundaryGraphWindows.js +223 -0
- package/dist/application/EnhancedToolPagination.js +22 -0
- package/dist/application/EnhancedToolTypes.js +4 -0
- package/dist/application/EnhancedTools.js +58 -50
- package/dist/application/InstrumentedJavaScriptReplayHost.js +36 -0
- package/dist/application/InvestigationProviders.js +30 -0
- package/dist/application/InvestigationWorkspaceStore.js +24 -10
- package/dist/application/JavaScriptApplicationEvidence.js +26 -0
- package/dist/application/JavaScriptApplicationEvidenceGraph.js +89 -0
- package/dist/application/JavaScriptApplicationService.js +74 -0
- package/dist/application/JavaScriptApplicationWorkflowEvidence.js +29 -0
- package/dist/application/JavaScriptApplicationWorkflowService.js +90 -0
- package/dist/application/JavaScriptArtifactAnalysis.js +52 -7
- package/dist/application/JavaScriptArtifactFiles.js +6 -2
- package/dist/application/JavaScriptArtifactGraphBuilder.js +82 -17
- package/dist/application/JavaScriptArtifactGraphBundlers.js +225 -0
- package/dist/application/JavaScriptArtifactGraphContext.js +37 -36
- package/dist/application/JavaScriptArtifactGraphDocuments.js +27 -4
- package/dist/application/JavaScriptArtifactGraphEvidence.js +24 -14
- package/dist/application/JavaScriptArtifactGraphFindings.js +54 -8
- package/dist/application/JavaScriptArtifactGraphStructure.js +29 -101
- package/dist/application/JavaScriptArtifactPathResolution.js +269 -0
- package/dist/application/JavaScriptArtifactReconstruction.js +4 -1
- package/dist/application/JavaScriptArtifactReconstructionInput.js +2 -83
- package/dist/application/JavaScriptJsonModules.js +39 -0
- package/dist/application/JavaScriptModuleRelationships.js +262 -0
- package/dist/application/JavaScriptReplayPermission.js +16 -0
- package/dist/application/JavaScriptReplayPlanning.js +201 -0
- package/dist/application/JavaScriptReplayService.js +292 -0
- package/dist/application/JavaScriptRuntimeReconciliationEvidence.js +25 -0
- package/dist/application/JavaScriptRuntimeReconciliationService.js +27 -0
- package/dist/application/LinuxHopper.js +10 -0
- package/dist/application/MacHopper.js +22 -11
- package/dist/application/ManagedApplicationGraphService.js +55 -0
- package/dist/application/ManagedMemberComparisonService.js +122 -0
- package/dist/application/ManagedNativeVerificationService.js +39 -0
- package/dist/application/ManagedReconstructionService.js +58 -0
- package/dist/application/ManagedRuntimeCorrelationService.js +103 -0
- package/dist/application/NodeRuntimeCharacterizationService.js +196 -0
- package/dist/application/PermissionAuthority.js +106 -63
- package/dist/application/ProcessCaptureCapability.js +1 -1
- package/dist/application/ProcessCapturePermission.js +13 -0
- package/dist/application/ProcessCli.js +2 -12
- package/dist/application/ProcessHarness.js +1 -1
- package/dist/application/ProcessSampling.js +15 -11
- package/dist/application/ProjectPermissionStore.js +49 -9
- package/dist/application/RealHopperAssertions.js +76 -0
- package/dist/application/ReconstructionCoverageService.js +69 -0
- package/dist/application/ReconstructionCoverageWorkspaceStore.js +31 -0
- package/dist/application/RuntimeExecutableDiagnostics.js +172 -0
- package/dist/application/Setup.js +147 -259
- package/dist/application/SetupClientConfiguration.js +220 -0
- package/dist/application/SetupClients.js +24 -2
- package/dist/application/SetupPlan.js +123 -12
- package/dist/application/SetupSkill.js +26 -12
- package/dist/application/SupportedClients.js +1 -0
- package/dist/application/Uninstall.js +6 -3
- package/dist/application/WindowsCapabilities.js +86 -0
- package/dist/application/runtime.js +2 -0
- package/dist/artifacts/AsarArtifactReader.js +11 -0
- package/dist/browser/BrowserProcessStartup.js +88 -0
- package/dist/browser/CdpCaptureDocuments.js +12 -8
- package/dist/browser/CdpCaptureEventBodyShapes.js +75 -0
- package/dist/browser/CdpCaptureEventHandlers.js +336 -0
- package/dist/browser/CdpCaptureEventHelpers.js +71 -0
- package/dist/browser/CdpCaptureEventState.js +1 -0
- package/dist/browser/CdpCaptureEventTypes.js +1 -0
- package/dist/browser/CdpCaptureEvents.js +46 -464
- package/dist/browser/CdpElectronInspection.js +106 -162
- package/dist/browser/CdpElectronProvider.js +5 -1
- package/dist/browser/CdpElectronScriptEvents.js +69 -0
- package/dist/browser/CdpElectronScripts.js +94 -0
- package/dist/browser/CdpElectronWorkers.js +56 -0
- package/dist/browser/CdpObservationSession.js +51 -8
- package/dist/browser/CdpPageCapture.js +12 -129
- package/dist/browser/CdpPageCaptureScripts.js +97 -0
- package/dist/browser/CdpPageCaptureWorkers.js +46 -0
- package/dist/browser/CdpWebMcpDiscovery.js +38 -14
- package/dist/browser/PngVisualDiff.js +9 -2
- package/dist/catalogIdentity.js +8 -1
- package/dist/cli/artifactCommands.js +82 -0
- package/dist/cli/coreAnalysisCommands.js +232 -0
- package/dist/cli/managedCommands.js +397 -0
- package/dist/cli/managedProjectGraphCommand.js +24 -0
- package/dist/cli/options.js +9 -0
- package/dist/cli/setupCommands.js +108 -0
- package/dist/cli/types.js +1 -0
- package/dist/cli/utilityCommands.js +122 -0
- package/dist/cli.js +13 -383
- package/dist/cliApplicationCommands.js +176 -0
- package/dist/cliBrowserAdvancedCommands.js +73 -16
- package/dist/cliBrowserCommands.js +39 -115
- package/dist/cliCommandNames.js +17 -0
- package/dist/cliElectronCommands.js +100 -27
- package/dist/cliEvidenceCommands.js +13 -2
- package/dist/cliInvestigationCommands.js +53 -10
- package/dist/cliJsonInput.js +54 -0
- package/dist/cliObservationOptions.js +137 -0
- package/dist/cliPolicyCommands.js +80 -46
- package/dist/cliSetup.js +289 -0
- package/dist/config/environment.js +107 -0
- package/dist/config/parseConfig.js +228 -0
- package/dist/config/parsers.js +68 -0
- package/dist/config/permissions.js +30 -0
- package/dist/config/types.js +1 -0
- package/dist/config.js +1 -292
- package/dist/contracts/applicationToolContracts.js +225 -0
- package/dist/contracts/artifactToolContracts.js +5 -9
- package/dist/contracts/browserToolContracts.js +14 -62
- package/dist/contracts/electronToolContracts.js +45 -19
- package/dist/contracts/errorSchemas.js +1 -0
- package/dist/contracts/investigationExamples.js +0 -6
- package/dist/contracts/javascriptApplicationWorkflowExamples.js +46 -0
- package/dist/contracts/javascriptRuntimeReconciliationExample.js +208 -0
- package/dist/contracts/managedToolContracts.js +153 -0
- package/dist/contracts/managedWorkflowExamples.js +346 -0
- package/dist/contracts/managedWorkflowToolContracts.js +203 -0
- package/dist/contracts/nativeToolContracts.js +2 -6
- package/dist/contracts/promptContracts.js +18 -2
- package/dist/contracts/providerSelection.js +2 -0
- package/dist/contracts/toolContractExamples.js +10 -25
- package/dist/contracts/toolContracts.js +49 -47
- package/dist/contracts/toolEffects.js +174 -0
- package/dist/contracts/toolOutputSchemaGroups.js +232 -0
- package/dist/contracts/toolOutputSchemaPrimitives.js +327 -0
- package/dist/contracts/toolOutputSchemas.js +2 -535
- package/dist/doctorRuntime.js +42 -1
- package/dist/domain/analysisErrorPresentation.js +234 -0
- package/dist/domain/analysisErrorProjection.js +284 -0
- package/dist/domain/artifactComparison.js +37 -19
- package/dist/domain/binaryTarget.js +87 -37
- package/dist/domain/browserObservation.js +1 -282
- package/dist/domain/browserObservationSchemas.js +286 -0
- package/dist/domain/bundleComparison.js +4 -4
- package/dist/domain/electronObservation.js +13 -0
- package/dist/domain/electronStaticAnalysis.js +9 -0
- package/dist/domain/electronStaticAnalysisBrowser.js +206 -0
- package/dist/domain/electronStaticAnalysisIpc.js +171 -0
- package/dist/domain/electronStaticAnalysisNative.js +164 -0
- package/dist/domain/electronStaticAnalysisTypes.js +1 -0
- package/dist/domain/electronStaticAnalysisValues.js +103 -0
- package/dist/domain/errors.js +32 -448
- package/dist/domain/functionComparison.js +4 -165
- package/dist/domain/functionComparisonDimensions.js +164 -0
- package/dist/domain/functionComparisonSchemas.js +3 -8
- package/dist/domain/inputIssueProjection.js +52 -0
- package/dist/domain/javascriptApplicationAnalysis.js +155 -0
- package/dist/domain/javascriptApplicationChangeGraph.js +231 -0
- package/dist/domain/javascriptApplicationEvidenceSchemas.js +18 -0
- package/dist/domain/javascriptApplicationGraph.js +2 -1
- package/dist/domain/javascriptApplicationGraphSchemas.js +7 -0
- package/dist/domain/javascriptApplicationVersionComparison.js +116 -0
- package/dist/domain/javascriptApplicationVersionComparisonSchemas.js +139 -0
- package/dist/domain/javascriptApplicationVersionItems.js +233 -0
- package/dist/domain/javascriptApplicationVersionKeys.js +170 -0
- package/dist/domain/javascriptExportInstrumentation.js +97 -0
- package/dist/domain/javascriptFeatureSeed.js +140 -0
- package/dist/domain/javascriptFeatureTrace.js +232 -0
- package/dist/domain/javascriptFeatureTraceSchemas.js +136 -0
- package/dist/domain/javascriptFeatureTraversal.js +100 -0
- package/dist/domain/javascriptNativeHandoff.js +85 -0
- package/dist/domain/javascriptReplay.js +361 -0
- package/dist/domain/javascriptRuntimeLoadState.js +106 -0
- package/dist/domain/javascriptRuntimeReconciliation.js +42 -0
- package/dist/domain/javascriptRuntimeReconciliationGraph.js +169 -0
- package/dist/domain/javascriptRuntimeReconciliationMatching.js +247 -0
- package/dist/domain/javascriptRuntimeReconciliationParsing.js +160 -0
- package/dist/domain/javascriptRuntimeReconciliationResult.js +119 -0
- package/dist/domain/javascriptRuntimeReconciliationRuntime.js +316 -0
- package/dist/domain/javascriptRuntimeReconciliationSchemas.js +245 -0
- package/dist/domain/javascriptRuntimeStaticCandidates.js +193 -0
- package/dist/domain/javascriptSemanticAnalysis.js +386 -0
- package/dist/domain/javascriptSemanticIr.js +30 -0
- package/dist/domain/javascriptSemanticProjection.js +366 -0
- package/dist/domain/javascriptSemanticState.js +40 -0
- package/dist/domain/javascriptSemanticTraversal.js +22 -0
- package/dist/domain/javascriptSemanticValues.js +352 -0
- package/dist/domain/javascriptStaticAnalysis.js +26 -254
- package/dist/domain/javascriptStaticAnalysisBundler.js +209 -0
- package/dist/domain/javascriptStaticAnalysisCalls.js +180 -0
- package/dist/domain/javascriptStaticAnalysisFindings.js +39 -0
- package/dist/domain/javascriptStaticAnalysisHelpers.js +81 -2
- package/dist/domain/javascriptStaticAnalysisState.js +6 -0
- package/dist/domain/knownPageCoverage.js +21 -0
- package/dist/domain/managedApplicationGraph.js +206 -0
- package/dist/domain/managedApplicationGraphCoverage.js +170 -0
- package/dist/domain/managedApplicationGraphNodeCoverage.js +6 -0
- package/dist/domain/managedApplicationGraphNodes.js +336 -0
- package/dist/domain/managedArtifact.js +452 -0
- package/dist/domain/managedMemberComparison.js +211 -0
- package/dist/domain/managedMemberComparisonCoverage.js +72 -0
- package/dist/domain/managedMemberComparisonMatch.js +356 -0
- package/dist/domain/managedNativeVerification.js +46 -0
- package/dist/domain/managedNativeVerificationMatch.js +272 -0
- package/dist/domain/managedNativeVerificationSchemas.js +141 -0
- package/dist/domain/managedReconstruction.js +196 -0
- package/dist/domain/managedRuntimeCorrelation.js +184 -0
- package/dist/domain/nodeRuntimeCharacterization.js +66 -0
- package/dist/domain/permissionPolicy.js +2 -0
- package/dist/domain/reconstructionCoverage.js +387 -0
- package/dist/domain/reconstructionCoverageEvaluation.js +212 -0
- package/dist/domain/reconstructionVerificationSchemas.js +9 -3
- package/dist/domain/runtimeCharacterization.js +85 -0
- package/dist/domain/webBundleAnalyzer.js +3 -409
- package/dist/domain/webBundleAnalyzerAst.js +77 -0
- package/dist/domain/webBundleAnalyzerInspection.js +307 -0
- package/dist/domain/webBundleAnalyzerResult.js +120 -0
- package/dist/dotnet/ManagedArtifactInspector.js +339 -0
- package/dist/dotnet/ManagedMemberInspector.js +153 -0
- package/dist/dotnet/ManagedMemberInspectorCore.js +297 -0
- package/dist/dotnet/ManagedMemberInstructionDecoder.js +427 -0
- package/dist/dotnet/ManagedMemberRows.js +120 -0
- package/dist/dotnet/ManagedMetadataHeaps.js +131 -0
- package/dist/dotnet/ManagedMetadataInventory.js +104 -0
- package/dist/dotnet/ManagedMetadataInventoryRows.js +292 -0
- package/dist/dotnet/ManagedMetadataLayout.js +259 -0
- package/dist/dotnet/ManagedMetadataRowSizes.js +54 -0
- package/dist/dotnet/ManagedMethodBodyReader.js +143 -0
- package/dist/dotnet/ManagedNativeBoundaryHelpers.js +311 -0
- package/dist/dotnet/ManagedNativeBoundaryInspector.js +143 -0
- package/dist/dotnet/ManagedPeReader.js +188 -0
- package/dist/dotnet/ManagedReaderFailure.js +10 -0
- package/dist/dotnet/ManagedStaticProvider.js +203 -0
- package/dist/generatedPackageMetadata.js +2 -2
- package/dist/ghidra/GhidraClient.js +76 -91
- package/dist/ghidra/GhidraClientStartup.js +29 -0
- package/dist/ghidra/GhidraClientWire.js +34 -0
- package/dist/ghidra/GhidraDefaults.js +1 -1
- package/dist/ghidra/GhidraDiagnostics.js +6 -1
- package/dist/ghidra/GhidraInstallation.js +20 -15
- package/dist/ghidra/GhidraLauncher.js +93 -29
- package/dist/ghidra/GhidraProvider.js +67 -161
- package/dist/ghidra/GhidraProviderCapabilities.js +173 -0
- package/dist/ghidra/GhidraSessionValues.js +2 -0
- package/dist/ghidra/GhidraSocketConnection.js +44 -7
- package/dist/ghidra/GhidraTargetSnapshot.js +30 -0
- package/dist/ghidra/GhidraTransport.js +71 -0
- package/dist/identity.js +3 -2
- package/dist/main/messages.js +5 -0
- package/dist/main/reload.js +49 -0
- package/dist/main/shutdown.js +25 -0
- package/dist/main/startup.js +14 -0
- package/dist/main/state.js +26 -0
- package/dist/main/transport.js +61 -0
- package/dist/main/types.js +1 -0
- package/dist/main.js +35 -132
- package/dist/process/PrivateRuntimeRoot.js +3 -2
- package/dist/process/ProcessOwnership.js +35 -0
- package/dist/process/ProviderProcess.js +2 -0
- package/dist/replay/JavaScriptReplayWorker.js +300 -0
- package/dist/replay/LinuxJavaScriptReplayRunner.js +217 -0
- package/dist/replay/LinuxJavaScriptReplaySandbox.js +140 -0
- package/dist/replay/LinuxRuntimeClosure.js +46 -0
- package/dist/replay/LinuxSeccompPolicy.js +40 -0
- package/dist/replay/ReplayOutcome.js +95 -0
- package/dist/replay/ReplayProcessLifecycle.js +71 -0
- package/dist/replay/ReplayWorkerProtocol.js +55 -0
- package/dist/replay/SystemJavaScriptReplayHost.js +182 -0
- package/dist/server/ProcessCaptureElicitation.js +157 -0
- package/dist/server/createServer.js +158 -41
- package/dist/server/registerApplicationTools/characterization.js +57 -0
- package/dist/server/registerApplicationTools/compareVersions.js +34 -0
- package/dist/server/registerApplicationTools/controlledReplay.js +38 -0
- package/dist/server/registerApplicationTools/coverage.js +84 -0
- package/dist/server/registerApplicationTools/helpers.js +42 -0
- package/dist/server/registerApplicationTools/traceFeature.js +26 -0
- package/dist/server/registerApplicationTools/types.js +1 -0
- package/dist/server/registerApplicationTools.js +13 -0
- package/dist/server/registerArtifactComparisonTool.js +16 -9
- package/dist/server/registerBrowserTools.js +61 -60
- package/dist/server/registerBundleComparisonTool.js +17 -20
- package/dist/server/registerElectronTools.js +39 -12
- package/dist/server/registerEnhancedTools.js +52 -15
- package/dist/server/registerEvidenceResources.js +54 -0
- package/dist/server/registerEvidenceTools.js +5 -1
- package/dist/server/registerFunctionComparisonTool.js +14 -7
- package/dist/server/registerInvestigationTools/helpers.js +74 -0
- package/dist/server/registerInvestigationTools/types.js +1 -0
- package/dist/server/registerInvestigationTools.js +103 -132
- package/dist/server/registerManagedTools.js +6 -0
- package/dist/server/registerManagedWorkflowTools/compareManagedMembers.js +65 -0
- package/dist/server/registerManagedWorkflowTools/contract.js +8 -0
- package/dist/server/registerManagedWorkflowTools/evidence.js +43 -0
- package/dist/server/registerManagedWorkflowTools/importManagedReconstruction.js +39 -0
- package/dist/server/registerManagedWorkflowTools/planManagedRuntimeCorrelation.js +39 -0
- package/dist/server/registerManagedWorkflowTools/projectManagedApplicationGraph.js +52 -0
- package/dist/server/registerManagedWorkflowTools/types.js +1 -0
- package/dist/server/registerManagedWorkflowTools/verifyManagedNativeBoundaries.js +75 -0
- package/dist/server/registerManagedWorkflowTools.js +13 -0
- package/dist/server/registerOfficialTools.js +81 -67
- package/dist/server/registerProcessComparisonTool.js +25 -47
- package/dist/server/registerSessionRecordTools.js +137 -0
- package/dist/server/registerSessionStatusTool.js +9 -8
- package/dist/server/registerSessionTools.js +77 -216
- package/dist/server/sessionAvailabilityPolicy.js +10 -0
- package/dist/server/sessionEvidence.js +14 -19
- package/dist/server/toolInputValidation.js +77 -0
- package/dist/server/toolRegistrationOptions.js +177 -2
- package/dist/server/toolResult.js +30 -17
- package/package.json +21 -14
- package/scripts/rea.mjs +1 -1
- package/skills/{rea-analysis → reverse-engineer-anything}/SKILL.md +75 -6
- package/scripts/prepare-node-pty.mjs +0 -35
- package/scripts/rebuild-native.mjs +0 -22
|
@@ -0,0 +1,108 @@
|
|
|
1
|
+
import { z } from "incur";
|
|
2
|
+
import { runDoctor } from "../application/Doctor.js";
|
|
3
|
+
import { runSetup, systemSetupHost } from "../application/Setup.js";
|
|
4
|
+
import { runUninstall } from "../application/Uninstall.js";
|
|
5
|
+
import { runUpgrade, systemUpgradeHost } from "../application/Upgrade.js";
|
|
6
|
+
import { conciseSetupResult, confirmInteractiveSetup, renderInteractiveSetupResult, renderSetupProgress, } from "../cliSetup.js";
|
|
7
|
+
import { PRODUCT_IDENTITY } from "../identity.js";
|
|
8
|
+
import { logCliCommand } from "../cliLogging.js";
|
|
9
|
+
import { createSystemDoctorHost } from "../doctorRuntime.js";
|
|
10
|
+
import { CLI_COMMANDS } from "../cliCommandNames.js";
|
|
11
|
+
export const registerSetupCommands = (cli, logger) => {
|
|
12
|
+
cli.command(CLI_COMMANDS.setup, {
|
|
13
|
+
description: "Install requirements and configure agents",
|
|
14
|
+
outputPolicy: "agent-only",
|
|
15
|
+
options: z.object({
|
|
16
|
+
yes: z
|
|
17
|
+
.boolean()
|
|
18
|
+
.default(false)
|
|
19
|
+
.describe("Approve user-owned setup actions without prompting"),
|
|
20
|
+
installHopper: z
|
|
21
|
+
.boolean()
|
|
22
|
+
.default(false)
|
|
23
|
+
.describe("Also approve Hopper installation with --yes"),
|
|
24
|
+
client: z
|
|
25
|
+
.array(z.enum([
|
|
26
|
+
"claude_code",
|
|
27
|
+
"claude_desktop",
|
|
28
|
+
"codex",
|
|
29
|
+
"cursor",
|
|
30
|
+
"gemini_cli",
|
|
31
|
+
"windsurf",
|
|
32
|
+
]))
|
|
33
|
+
.default([])
|
|
34
|
+
.describe("Agent integration to configure; repeat for multiple agents"),
|
|
35
|
+
allDetected: z
|
|
36
|
+
.boolean()
|
|
37
|
+
.default(false)
|
|
38
|
+
.describe("Configure every detected supported agent"),
|
|
39
|
+
skill: z
|
|
40
|
+
.boolean()
|
|
41
|
+
.optional()
|
|
42
|
+
.describe("Install or skip the bundled REA skill"),
|
|
43
|
+
dryRun: z
|
|
44
|
+
.boolean()
|
|
45
|
+
.default(false)
|
|
46
|
+
.describe("Print the resolved plan without applying it"),
|
|
47
|
+
accessible: z
|
|
48
|
+
.boolean()
|
|
49
|
+
.default(false)
|
|
50
|
+
.describe("Use sequential accessible setup prompts"),
|
|
51
|
+
}),
|
|
52
|
+
alias: { yes: "y" },
|
|
53
|
+
run: ({ options, formatExplicit, agent }) => logCliCommand(logger, "setup", () => runSetupCommand({ options, formatExplicit, agent })),
|
|
54
|
+
});
|
|
55
|
+
cli.command(CLI_COMMANDS.doctor, {
|
|
56
|
+
description: "Check whether REA is ready",
|
|
57
|
+
options: z.object({
|
|
58
|
+
target: z.string().optional().describe("Optional app path to check"),
|
|
59
|
+
}),
|
|
60
|
+
run: ({ options }) => logCliCommand(logger, "doctor", () => runDoctor(options.target, createSystemDoctorHost())),
|
|
61
|
+
});
|
|
62
|
+
cli.command(CLI_COMMANDS.uninstall, {
|
|
63
|
+
description: "Remove REA-owned agent configuration and skill files",
|
|
64
|
+
options: z.object({
|
|
65
|
+
purgeData: z
|
|
66
|
+
.boolean()
|
|
67
|
+
.default(false)
|
|
68
|
+
.describe("Also remove REA caches and state"),
|
|
69
|
+
}),
|
|
70
|
+
alias: { purgeData: "purge-data" },
|
|
71
|
+
run: ({ options }) => logCliCommand(logger, "uninstall", () => runUninstall(options.purgeData)),
|
|
72
|
+
});
|
|
73
|
+
cli.command(CLI_COMMANDS.upgrade, {
|
|
74
|
+
description: "Upgrade a global npm installation to the latest REA release",
|
|
75
|
+
run: ({ formatExplicit }) => logCliCommand(logger, "upgrade", () => runUpgrade(PRODUCT_IDENTITY.packageVersion, systemUpgradeHost(), formatExplicit ? "structured" : "human")),
|
|
76
|
+
});
|
|
77
|
+
};
|
|
78
|
+
const runSetupCommand = async (input) => {
|
|
79
|
+
const { options } = input;
|
|
80
|
+
const interactive = !options.yes &&
|
|
81
|
+
!options.dryRun &&
|
|
82
|
+
!input.formatExplicit &&
|
|
83
|
+
process.stdin.isTTY === true &&
|
|
84
|
+
process.stderr.isTTY === true;
|
|
85
|
+
const hasExplicitScope = setupHasExplicitScope(options);
|
|
86
|
+
if (options.yes && !hasExplicitScope)
|
|
87
|
+
process.stderr.write("! Implicit `rea setup --yes` scope is deprecated; use `--all-detected --skill` to retain it.\n");
|
|
88
|
+
const result = await runSetup({
|
|
89
|
+
approved: options.yes && !options.dryRun,
|
|
90
|
+
installHopper: options.installHopper,
|
|
91
|
+
structured: input.formatExplicit || options.dryRun,
|
|
92
|
+
proposeHopper: !hasExplicitScope || options.installHopper,
|
|
93
|
+
...(!hasExplicitScope || options.allDetected
|
|
94
|
+
? {}
|
|
95
|
+
: { clientIds: options.client }),
|
|
96
|
+
...(!hasExplicitScope ? {} : { installSkill: options.skill ?? false }),
|
|
97
|
+
...(interactive ? { onProgress: renderSetupProgress } : {}),
|
|
98
|
+
}, systemSetupHost(createSystemDoctorHost()), interactive
|
|
99
|
+
? (actions) => confirmInteractiveSetup(actions, options.accessible)
|
|
100
|
+
: undefined);
|
|
101
|
+
if (interactive)
|
|
102
|
+
renderInteractiveSetupResult(result);
|
|
103
|
+
return input.formatExplicit ? result : conciseSetupResult(result);
|
|
104
|
+
};
|
|
105
|
+
const setupHasExplicitScope = (options) => options.allDetected ||
|
|
106
|
+
options.client.length > 0 ||
|
|
107
|
+
options.skill !== undefined ||
|
|
108
|
+
options.installHopper;
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
import { Cli } from "incur";
|
|
@@ -0,0 +1,122 @@
|
|
|
1
|
+
import { z } from "incur";
|
|
2
|
+
import { runProviderAnalysis, runSessionStatus, } from "../application/DirectAnalysis.js";
|
|
3
|
+
import { importReferenceSource } from "../application/ReferenceSourceImport.js";
|
|
4
|
+
import { projectReferenceSourceImportError } from "../application/ReferenceSourceImportTypes.js";
|
|
5
|
+
import { loadConfiguredPermissionAuthority } from "../application/PermissionConfiguration.js";
|
|
6
|
+
import { parseConfig } from "../config.js";
|
|
7
|
+
import { AnalysisProtocolError, PermissionRequiredError, projectAnalysisError, } from "../domain/errors.js";
|
|
8
|
+
import { PRODUCT_IDENTITY } from "../identity.js";
|
|
9
|
+
import { logCliCommand } from "../cliLogging.js";
|
|
10
|
+
import { CLI_COMMANDS } from "../cliCommandNames.js";
|
|
11
|
+
export const registerUtilityCommands = (cli, logger) => {
|
|
12
|
+
registerCapabilityCommands(cli, logger);
|
|
13
|
+
registerNativeCommands(cli, logger);
|
|
14
|
+
registerReferenceSourceCommand(cli, logger);
|
|
15
|
+
};
|
|
16
|
+
const registerCapabilityCommands = (cli, logger) => {
|
|
17
|
+
for (const command of [
|
|
18
|
+
CLI_COMMANDS.capabilities,
|
|
19
|
+
CLI_COMMANDS.providers,
|
|
20
|
+
]) {
|
|
21
|
+
cli.command(command, {
|
|
22
|
+
description: command === "capabilities"
|
|
23
|
+
? "List provider capabilities and side effects"
|
|
24
|
+
: "List configured analysis providers",
|
|
25
|
+
run: () => logCliCommand(logger, command, () => runSessionStatus(logger)),
|
|
26
|
+
});
|
|
27
|
+
}
|
|
28
|
+
};
|
|
29
|
+
const registerNativeCommands = (cli, logger) => {
|
|
30
|
+
for (const [command, tool] of [
|
|
31
|
+
[CLI_COMMANDS.inspectMacho, "inspect_macho"],
|
|
32
|
+
[CLI_COMMANDS.inspectSignature, "inspect_signature"],
|
|
33
|
+
[CLI_COMMANDS.listArchitectures, "list_architectures"],
|
|
34
|
+
]) {
|
|
35
|
+
cli.command(command, {
|
|
36
|
+
description: `Run ${tool} without launching Hopper`,
|
|
37
|
+
args: z.object({ path: z.string().describe("Mach-O or app path") }),
|
|
38
|
+
run: ({ args }) => logCliCommand(logger, command, () => runProviderAnalysis(args.path, tool, {}, logger)),
|
|
39
|
+
});
|
|
40
|
+
}
|
|
41
|
+
cli.command(CLI_COMMANDS.inspectPlist, {
|
|
42
|
+
description: "Parse app plist metadata without launching Hopper",
|
|
43
|
+
args: z.object({ path: z.string().describe("App or Mach-O path") }),
|
|
44
|
+
options: z.object({
|
|
45
|
+
relativePath: z
|
|
46
|
+
.string()
|
|
47
|
+
.default("Contents/Info.plist")
|
|
48
|
+
.describe("Plist path relative to the app root"),
|
|
49
|
+
}),
|
|
50
|
+
alias: { relativePath: "relative-path" },
|
|
51
|
+
run: ({ args, options }) => logCliCommand(logger, "inspect-plist", () => runProviderAnalysis(args.path, "inspect_plist", { relative_path: options.relativePath }, logger)),
|
|
52
|
+
});
|
|
53
|
+
cli.command(CLI_COMMANDS.demangleSwift, {
|
|
54
|
+
description: "Demangle a bounded Swift symbol batch without Hopper",
|
|
55
|
+
args: z.object({
|
|
56
|
+
path: z.string().describe("Artifact path used for evidence identity"),
|
|
57
|
+
symbols: z
|
|
58
|
+
.array(z.string().min(1))
|
|
59
|
+
.min(1)
|
|
60
|
+
.max(500)
|
|
61
|
+
.describe("Swift mangled symbols to demangle"),
|
|
62
|
+
}),
|
|
63
|
+
run: ({ args }) => logCliCommand(logger, "demangle-swift", () => runProviderAnalysis(args.path, "demangle_swift", { symbols: args.symbols }, logger)),
|
|
64
|
+
});
|
|
65
|
+
};
|
|
66
|
+
const registerReferenceSourceCommand = (cli, logger) => {
|
|
67
|
+
cli.command(CLI_COMMANDS.importReferenceSource, {
|
|
68
|
+
description: "Import a bounded source tree as historical reference only",
|
|
69
|
+
args: z.object({
|
|
70
|
+
root: z
|
|
71
|
+
.string()
|
|
72
|
+
.describe("Source root allowed by REA_REFERENCE_ROOTS_JSON"),
|
|
73
|
+
}),
|
|
74
|
+
run: ({ args }) => logCliCommand(logger, "import-reference-source", async () => {
|
|
75
|
+
const config = parseConfig(process.env);
|
|
76
|
+
if (!config.ok)
|
|
77
|
+
return {
|
|
78
|
+
error: "Import failed",
|
|
79
|
+
...projectAnalysisError(config.error),
|
|
80
|
+
};
|
|
81
|
+
const authority = await loadConfiguredPermissionAuthority(config.value);
|
|
82
|
+
if (!authority.ok)
|
|
83
|
+
return {
|
|
84
|
+
error: "Import failed",
|
|
85
|
+
...projectAnalysisError(authority.error),
|
|
86
|
+
};
|
|
87
|
+
const authorized = await authority.value.authorize({
|
|
88
|
+
capability: "reference_read",
|
|
89
|
+
roots: [args.root],
|
|
90
|
+
executables: [],
|
|
91
|
+
environment_names: [],
|
|
92
|
+
network: "none",
|
|
93
|
+
mount: false,
|
|
94
|
+
operation_identity: `import_reference_source:${args.root}`,
|
|
95
|
+
}, "read");
|
|
96
|
+
if (!authorized.ok) {
|
|
97
|
+
const error = authorized.error instanceof PermissionRequiredError
|
|
98
|
+
? authorized.error
|
|
99
|
+
: new AnalysisProtocolError(authorized.error.message, {
|
|
100
|
+
cause: authorized.error,
|
|
101
|
+
});
|
|
102
|
+
return {
|
|
103
|
+
error: "Import failed",
|
|
104
|
+
...projectAnalysisError(error),
|
|
105
|
+
};
|
|
106
|
+
}
|
|
107
|
+
const imported = await importReferenceSource({
|
|
108
|
+
root: args.root,
|
|
109
|
+
caller: "rea-cli",
|
|
110
|
+
policy: config.value.referenceSourcePolicy,
|
|
111
|
+
importer: PRODUCT_IDENTITY.packageName,
|
|
112
|
+
importerVersion: null,
|
|
113
|
+
});
|
|
114
|
+
return imported.ok
|
|
115
|
+
? imported.value
|
|
116
|
+
: {
|
|
117
|
+
error: "Import failed",
|
|
118
|
+
...projectReferenceSourceImportError(imported.error),
|
|
119
|
+
};
|
|
120
|
+
}),
|
|
121
|
+
});
|
|
122
|
+
};
|
package/dist/cli.js
CHANGED
|
@@ -1,29 +1,20 @@
|
|
|
1
|
-
import { Cli
|
|
1
|
+
import { Cli } from "incur";
|
|
2
2
|
import { fileURLToPath } from "node:url";
|
|
3
|
-
import { createInterface } from "node:readline/promises";
|
|
4
|
-
import { runDoctor } from "./application/Doctor.js";
|
|
5
|
-
import { runDirectAnalysis, runProviderAnalysis, runSessionStatus, } from "./application/DirectAnalysis.js";
|
|
6
|
-
import { runSetup, systemSetupHost, } from "./application/Setup.js";
|
|
7
|
-
import { runUninstall } from "./application/Uninstall.js";
|
|
8
|
-
import { runUpgrade, systemUpgradeHost } from "./application/Upgrade.js";
|
|
9
|
-
import { PRODUCT_IDENTITY } from "./identity.js";
|
|
10
3
|
import { createLogger, parseLogLevel } from "./logger.js";
|
|
11
|
-
import {
|
|
12
|
-
import {
|
|
13
|
-
import {
|
|
4
|
+
import { PRODUCT_IDENTITY } from "./identity.js";
|
|
5
|
+
import { registerSetupCommands } from "./cli/setupCommands.js";
|
|
6
|
+
import { registerCoreAnalysisCommands } from "./cli/coreAnalysisCommands.js";
|
|
7
|
+
import { registerUtilityCommands } from "./cli/utilityCommands.js";
|
|
8
|
+
import { registerArtifactCommands } from "./cli/artifactCommands.js";
|
|
9
|
+
import { registerManagedCommands } from "./cli/managedCommands.js";
|
|
10
|
+
import { registerInvestigationCommands } from "./cliInvestigationCommands.js";
|
|
14
11
|
import { registerEvidenceCommands } from "./cliEvidenceCommands.js";
|
|
15
12
|
import { registerProcessCommands } from "./cliProcessCommands.js";
|
|
16
|
-
import { registerInvestigationCommands } from "./cliInvestigationCommands.js";
|
|
17
|
-
import { AnalysisProtocolError, PermissionRequiredError, projectAnalysisError, } from "./domain/errors.js";
|
|
18
|
-
import { projectReferenceSourceImportError } from "./application/ReferenceSourceImportTypes.js";
|
|
19
|
-
import { loadConfiguredPermissionAuthority } from "./application/PermissionConfiguration.js";
|
|
20
13
|
import { registerPolicyCommands } from "./cliPolicyCommands.js";
|
|
21
14
|
import { registerBrowserCommands } from "./cliBrowserCommands.js";
|
|
22
15
|
import { registerAdvancedBrowserCommands } from "./cliBrowserAdvancedCommands.js";
|
|
23
16
|
import { registerElectronCommands } from "./cliElectronCommands.js";
|
|
24
|
-
import {
|
|
25
|
-
import { analysisProviderSelectorSchema, } from "./contracts/providerSelection.js";
|
|
26
|
-
import { createSystemDoctorHost } from "./doctorRuntime.js";
|
|
17
|
+
import { registerApplicationCommands } from "./cliApplicationCommands.js";
|
|
27
18
|
/**
|
|
28
19
|
* Build the one-shot Incur CLI without starting Hopper at import time.
|
|
29
20
|
* Analysis commands acquire and close their own sessions; bare `mcp` and
|
|
@@ -51,378 +42,17 @@ export const createCli = () => {
|
|
|
51
42
|
},
|
|
52
43
|
});
|
|
53
44
|
registerSetupCommands(cli, logger);
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
registerSearchCommand(cli, logger);
|
|
57
|
-
registerXrefsCommand(cli, logger);
|
|
58
|
-
registerTraceCommand(cli, logger);
|
|
59
|
-
registerCapabilityCommands(cli, logger);
|
|
60
|
-
registerNativeCommands(cli, logger);
|
|
45
|
+
registerCoreAnalysisCommands(cli, logger);
|
|
46
|
+
registerUtilityCommands(cli, logger);
|
|
61
47
|
registerArtifactCommands(cli, logger);
|
|
48
|
+
registerManagedCommands(cli, logger);
|
|
62
49
|
registerInvestigationCommands(cli, logger);
|
|
63
50
|
registerEvidenceCommands(cli, logger);
|
|
64
|
-
registerReferenceSourceCommand(cli, logger);
|
|
65
51
|
registerProcessCommands(cli, logger);
|
|
66
52
|
registerPolicyCommands(cli, logger);
|
|
67
53
|
registerBrowserCommands(cli, logger);
|
|
68
54
|
registerAdvancedBrowserCommands(cli, logger);
|
|
69
55
|
registerElectronCommands(cli, logger);
|
|
56
|
+
registerApplicationCommands(cli, logger);
|
|
70
57
|
return cli;
|
|
71
58
|
};
|
|
72
|
-
const registerCoreCommands = (cli, logger) => {
|
|
73
|
-
const overviewOptions = z.object({
|
|
74
|
-
detail: z.enum(["concise", "detailed"]).default("concise"),
|
|
75
|
-
limit: z.number().int().min(1).max(50).default(10),
|
|
76
|
-
snapshot: z
|
|
77
|
-
.string()
|
|
78
|
-
.min(1)
|
|
79
|
-
.optional()
|
|
80
|
-
.describe("Load and update a local analysis snapshot"),
|
|
81
|
-
provider: providerSelectionOption,
|
|
82
|
-
});
|
|
83
|
-
cli.command(CLI_COMMANDS.analyze, {
|
|
84
|
-
description: "Get an overview of an app",
|
|
85
|
-
args: z.object({
|
|
86
|
-
path: z.string().describe("App, program, or analysis database path"),
|
|
87
|
-
}),
|
|
88
|
-
options: overviewOptions,
|
|
89
|
-
run: ({ args, options }) => logCliCommand(logger, "analyze", () => runDirectAnalysis(args.path, "binary_overview", { detail: options.detail, limit: options.limit }, directAnalysisOptions(logger, options.snapshot, options.provider))),
|
|
90
|
-
});
|
|
91
|
-
cli.command(CLI_COMMANDS.inspect, {
|
|
92
|
-
description: "Inspect an app overview with evidence",
|
|
93
|
-
args: z.object({
|
|
94
|
-
path: z.string().describe("App, program, or analysis database path"),
|
|
95
|
-
}),
|
|
96
|
-
options: overviewOptions,
|
|
97
|
-
run: ({ args, options }) => logCliCommand(logger, "inspect", () => runDirectAnalysis(args.path, "binary_overview", { detail: options.detail, limit: options.limit }, directAnalysisOptions(logger, options.snapshot, options.provider))),
|
|
98
|
-
});
|
|
99
|
-
cli.command(CLI_COMMANDS.decompile, {
|
|
100
|
-
description: "Read one part of an app as code",
|
|
101
|
-
args: z.object({
|
|
102
|
-
path: z.string().describe("App or program path"),
|
|
103
|
-
address: z.string().describe("Procedure address"),
|
|
104
|
-
}),
|
|
105
|
-
options: z.object({
|
|
106
|
-
snapshot: z.string().min(1).optional(),
|
|
107
|
-
provider: providerSelectionOption,
|
|
108
|
-
}),
|
|
109
|
-
run: ({ args, options }) => logCliCommand(logger, "decompile", () => runDirectAnalysis(args.path, "procedure_pseudo_code", { procedure: args.address }, directAnalysisOptions(logger, options.snapshot, options.provider))),
|
|
110
|
-
});
|
|
111
|
-
};
|
|
112
|
-
const registerSetupCommands = (cli, logger) => {
|
|
113
|
-
cli.command(CLI_COMMANDS.setup, {
|
|
114
|
-
description: "Install requirements and configure agents",
|
|
115
|
-
options: z.object({
|
|
116
|
-
yes: z
|
|
117
|
-
.boolean()
|
|
118
|
-
.default(false)
|
|
119
|
-
.describe("Approve user-owned setup actions without prompting"),
|
|
120
|
-
installHopper: z
|
|
121
|
-
.boolean()
|
|
122
|
-
.default(false)
|
|
123
|
-
.describe("Also approve Hopper installation with --yes"),
|
|
124
|
-
}),
|
|
125
|
-
alias: { yes: "y", installHopper: "install-hopper" },
|
|
126
|
-
run: ({ options, formatExplicit }) => logCliCommand(logger, "setup", () => runSetup({
|
|
127
|
-
approved: options.yes,
|
|
128
|
-
installHopper: options.installHopper,
|
|
129
|
-
structured: formatExplicit,
|
|
130
|
-
}, systemSetupHost(createSystemDoctorHost()), options.yes || formatExplicit || process.stdin.isTTY !== true
|
|
131
|
-
? undefined
|
|
132
|
-
: confirmSetup)),
|
|
133
|
-
});
|
|
134
|
-
cli.command(CLI_COMMANDS.doctor, {
|
|
135
|
-
description: "Check whether REA is ready",
|
|
136
|
-
options: z.object({
|
|
137
|
-
target: z.string().optional().describe("Optional app path to check"),
|
|
138
|
-
}),
|
|
139
|
-
run: ({ options }) => logCliCommand(logger, "doctor", () => runDoctor(options.target, createSystemDoctorHost())),
|
|
140
|
-
});
|
|
141
|
-
cli.command(CLI_COMMANDS.uninstall, {
|
|
142
|
-
description: "Remove REA-owned agent configuration and skill files",
|
|
143
|
-
options: z.object({
|
|
144
|
-
purgeData: z
|
|
145
|
-
.boolean()
|
|
146
|
-
.default(false)
|
|
147
|
-
.describe("Also remove REA caches and state"),
|
|
148
|
-
}),
|
|
149
|
-
alias: { purgeData: "purge-data" },
|
|
150
|
-
run: ({ options }) => logCliCommand(logger, "uninstall", () => runUninstall(options.purgeData)),
|
|
151
|
-
});
|
|
152
|
-
cli.command(CLI_COMMANDS.upgrade, {
|
|
153
|
-
description: "Upgrade a global npm installation to the latest REA release",
|
|
154
|
-
run: ({ formatExplicit }) => logCliCommand(logger, "upgrade", () => runUpgrade(PRODUCT_IDENTITY.packageVersion, systemUpgradeHost(), formatExplicit ? "structured" : "human")),
|
|
155
|
-
});
|
|
156
|
-
};
|
|
157
|
-
const confirmSetup = async (actions) => {
|
|
158
|
-
process.stdout.write("\nREA setup plan\n");
|
|
159
|
-
for (const action of actions)
|
|
160
|
-
process.stdout.write(` - ${action.detail}\n ${action.target}${action.external ? " (external software)" : ""}\n`);
|
|
161
|
-
const prompt = createInterface({
|
|
162
|
-
input: process.stdin,
|
|
163
|
-
output: process.stdout,
|
|
164
|
-
});
|
|
165
|
-
try {
|
|
166
|
-
const answer = (await prompt.question("Continue? [Y/n] "))
|
|
167
|
-
.trim()
|
|
168
|
-
.toLowerCase();
|
|
169
|
-
return answer === "" || answer === "y" || answer === "yes";
|
|
170
|
-
}
|
|
171
|
-
finally {
|
|
172
|
-
prompt.close();
|
|
173
|
-
}
|
|
174
|
-
};
|
|
175
|
-
const registerXrefsCommand = (cli, logger) => {
|
|
176
|
-
cli.command(CLI_COMMANDS.xrefs, {
|
|
177
|
-
description: "List bounded references to an analyzed address",
|
|
178
|
-
args: z.object({
|
|
179
|
-
path: z.string().describe("App or program path"),
|
|
180
|
-
address: z.string().describe("Hexadecimal address"),
|
|
181
|
-
}),
|
|
182
|
-
options: z.object({
|
|
183
|
-
snapshot: z.string().min(1).optional(),
|
|
184
|
-
provider: providerSelectionOption,
|
|
185
|
-
}),
|
|
186
|
-
run: ({ args, options }) => logCliCommand(logger, "xrefs", () => runDirectAnalysis(args.path, "xrefs", { address: args.address }, directAnalysisOptions(logger, options.snapshot, options.provider))),
|
|
187
|
-
});
|
|
188
|
-
};
|
|
189
|
-
const registerTraceCommand = (cli, logger) => {
|
|
190
|
-
cli.command(CLI_COMMANDS.trace, {
|
|
191
|
-
description: "Trace a bounded literal feature through analyzed references",
|
|
192
|
-
args: z.object({
|
|
193
|
-
path: z.string().describe("App or program path"),
|
|
194
|
-
query: z.string().min(1).describe("Literal feature query"),
|
|
195
|
-
}),
|
|
196
|
-
options: z.object({
|
|
197
|
-
caseSensitive: z.boolean().default(false),
|
|
198
|
-
limit: z.number().int().min(1).max(100).default(20),
|
|
199
|
-
maxOperations: z.number().int().min(1).max(100).default(20),
|
|
200
|
-
snapshot: z.string().min(1).optional(),
|
|
201
|
-
provider: providerSelectionOption,
|
|
202
|
-
}),
|
|
203
|
-
alias: {
|
|
204
|
-
caseSensitive: "case-sensitive",
|
|
205
|
-
maxOperations: "max-operations",
|
|
206
|
-
},
|
|
207
|
-
run: ({ args, options }) => logCliCommand(logger, "trace", () => runDirectAnalysis(args.path, "trace_feature", {
|
|
208
|
-
query: args.query,
|
|
209
|
-
case_sensitive: options.caseSensitive,
|
|
210
|
-
limit: options.limit,
|
|
211
|
-
max_operations: options.maxOperations,
|
|
212
|
-
}, directAnalysisOptions(logger, options.snapshot, options.provider))),
|
|
213
|
-
});
|
|
214
|
-
};
|
|
215
|
-
const registerCapabilityCommands = (cli, logger) => {
|
|
216
|
-
for (const command of [
|
|
217
|
-
CLI_COMMANDS.capabilities,
|
|
218
|
-
CLI_COMMANDS.providers,
|
|
219
|
-
]) {
|
|
220
|
-
cli.command(command, {
|
|
221
|
-
description: command === "capabilities"
|
|
222
|
-
? "List provider capabilities and side effects"
|
|
223
|
-
: "List configured analysis providers",
|
|
224
|
-
run: () => logCliCommand(logger, command, () => runSessionStatus(logger)),
|
|
225
|
-
});
|
|
226
|
-
}
|
|
227
|
-
};
|
|
228
|
-
const registerFunctionCommand = (cli, logger) => {
|
|
229
|
-
cli.command(CLI_COMMANDS.function, {
|
|
230
|
-
description: "Analyze one bounded function with evidence",
|
|
231
|
-
args: z.object({
|
|
232
|
-
path: z.string().describe("App or program path"),
|
|
233
|
-
address: z.string().describe("Procedure name or address"),
|
|
234
|
-
}),
|
|
235
|
-
options: z.object({
|
|
236
|
-
includeAssembly: z.boolean().default(false),
|
|
237
|
-
limit: z.number().int().min(1).max(500).default(100),
|
|
238
|
-
maxPseudocodeChars: z.number().int().min(1).max(100_000).default(20_000),
|
|
239
|
-
maxInstructions: z.number().int().min(1).max(5_000).default(500),
|
|
240
|
-
snapshot: z.string().min(1).optional(),
|
|
241
|
-
provider: providerSelectionOption,
|
|
242
|
-
}),
|
|
243
|
-
alias: {
|
|
244
|
-
includeAssembly: "include-assembly",
|
|
245
|
-
maxPseudocodeChars: "max-pseudocode-chars",
|
|
246
|
-
maxInstructions: "max-instructions",
|
|
247
|
-
},
|
|
248
|
-
run: ({ args, options }) => logCliCommand(logger, "function", () => runDirectAnalysis(args.path, "analyze_function", {
|
|
249
|
-
procedure: args.address,
|
|
250
|
-
include_assembly: options.includeAssembly,
|
|
251
|
-
limit: options.limit,
|
|
252
|
-
max_pseudocode_chars: options.maxPseudocodeChars,
|
|
253
|
-
max_instructions: options.maxInstructions,
|
|
254
|
-
}, directAnalysisOptions(logger, options.snapshot, options.provider))),
|
|
255
|
-
});
|
|
256
|
-
};
|
|
257
|
-
const registerSearchCommand = (cli, logger) => {
|
|
258
|
-
cli.command(CLI_COMMANDS.search, {
|
|
259
|
-
description: "Search bounded analyzed strings or procedure names",
|
|
260
|
-
args: z.object({
|
|
261
|
-
path: z.string().describe("App or program path"),
|
|
262
|
-
pattern: z.string().min(1).describe("Literal text or regex pattern"),
|
|
263
|
-
}),
|
|
264
|
-
options: z.object({
|
|
265
|
-
kind: z.enum(["strings", "procedures"]).default("strings"),
|
|
266
|
-
mode: z.enum(["literal", "regex"]).default("literal"),
|
|
267
|
-
caseSensitive: z.boolean().default(false),
|
|
268
|
-
offset: z.number().int().min(0).default(0),
|
|
269
|
-
limit: z.number().int().min(1).max(100).default(100),
|
|
270
|
-
snapshot: z.string().min(1).optional(),
|
|
271
|
-
provider: providerSelectionOption,
|
|
272
|
-
}),
|
|
273
|
-
alias: { caseSensitive: "case-sensitive" },
|
|
274
|
-
run: ({ args, options }) => logCliCommand(logger, "search", () => runDirectAnalysis(args.path, options.kind === "strings" ? "search_strings" : "search_procedures", {
|
|
275
|
-
pattern: args.pattern,
|
|
276
|
-
mode: options.mode,
|
|
277
|
-
case_sensitive: options.caseSensitive,
|
|
278
|
-
offset: options.offset,
|
|
279
|
-
limit: options.limit,
|
|
280
|
-
}, directAnalysisOptions(logger, options.snapshot, options.provider))),
|
|
281
|
-
});
|
|
282
|
-
};
|
|
283
|
-
const registerReferenceSourceCommand = (cli, logger) => {
|
|
284
|
-
cli.command(CLI_COMMANDS.importReferenceSource, {
|
|
285
|
-
description: "Import a bounded source tree as historical reference only",
|
|
286
|
-
args: z.object({
|
|
287
|
-
root: z
|
|
288
|
-
.string()
|
|
289
|
-
.describe("Source root allowed by REA_REFERENCE_ROOTS_JSON"),
|
|
290
|
-
}),
|
|
291
|
-
run: ({ args }) => logCliCommand(logger, "import-reference-source", async () => {
|
|
292
|
-
const config = parseConfig(process.env);
|
|
293
|
-
if (!config.ok)
|
|
294
|
-
return {
|
|
295
|
-
error: "Import failed",
|
|
296
|
-
...projectAnalysisError(config.error),
|
|
297
|
-
};
|
|
298
|
-
const authority = await loadConfiguredPermissionAuthority(config.value);
|
|
299
|
-
if (!authority.ok)
|
|
300
|
-
return {
|
|
301
|
-
error: "Import failed",
|
|
302
|
-
...projectAnalysisError(authority.error),
|
|
303
|
-
};
|
|
304
|
-
const authorized = await authority.value.authorize({
|
|
305
|
-
capability: "reference_read",
|
|
306
|
-
roots: [args.root],
|
|
307
|
-
executables: [],
|
|
308
|
-
environment_names: [],
|
|
309
|
-
network: "none",
|
|
310
|
-
mount: false,
|
|
311
|
-
operation_identity: `import_reference_source:${args.root}`,
|
|
312
|
-
}, "read");
|
|
313
|
-
if (!authorized.ok) {
|
|
314
|
-
const error = authorized.error instanceof PermissionRequiredError
|
|
315
|
-
? authorized.error
|
|
316
|
-
: new AnalysisProtocolError(authorized.error.message, {
|
|
317
|
-
cause: authorized.error,
|
|
318
|
-
});
|
|
319
|
-
return {
|
|
320
|
-
error: "Import failed",
|
|
321
|
-
...projectAnalysisError(error),
|
|
322
|
-
};
|
|
323
|
-
}
|
|
324
|
-
const imported = await importReferenceSource({
|
|
325
|
-
root: args.root,
|
|
326
|
-
caller: "rea-cli",
|
|
327
|
-
policy: config.value.referenceSourcePolicy,
|
|
328
|
-
importer: PRODUCT_IDENTITY.packageName,
|
|
329
|
-
importerVersion: null,
|
|
330
|
-
});
|
|
331
|
-
return imported.ok
|
|
332
|
-
? imported.value
|
|
333
|
-
: {
|
|
334
|
-
error: "Import failed",
|
|
335
|
-
...projectReferenceSourceImportError(imported.error),
|
|
336
|
-
};
|
|
337
|
-
}),
|
|
338
|
-
});
|
|
339
|
-
};
|
|
340
|
-
const registerArtifactCommands = (cli, logger) => {
|
|
341
|
-
cli.command(CLI_COMMANDS.inventoryArtifact, {
|
|
342
|
-
description: "Build a bounded deterministic artifact graph",
|
|
343
|
-
args: z.object({
|
|
344
|
-
path: z.string().describe("Application or package path"),
|
|
345
|
-
}),
|
|
346
|
-
options: z.object({
|
|
347
|
-
offset: z.number().int().min(0).default(0),
|
|
348
|
-
limit: z.number().int().min(1).max(500).default(100),
|
|
349
|
-
integrityPolicy: z.enum(["fail", "record-and-continue"]).default("fail"),
|
|
350
|
-
integrityContinueApproved: z.boolean().default(false),
|
|
351
|
-
maxIntegrityMismatches: z.number().int().min(1).max(100).default(10),
|
|
352
|
-
nativeMountApproved: z.boolean().default(false),
|
|
353
|
-
}),
|
|
354
|
-
alias: {
|
|
355
|
-
integrityPolicy: "integrity-policy",
|
|
356
|
-
integrityContinueApproved: "integrity-continue-approved",
|
|
357
|
-
maxIntegrityMismatches: "max-integrity-mismatches",
|
|
358
|
-
nativeMountApproved: "native-mount-approved",
|
|
359
|
-
},
|
|
360
|
-
run: ({ args, options }) => logCliCommand(logger, "inventory-artifact", () => runProviderAnalysis(args.path, "inventory_artifact", {
|
|
361
|
-
node_offset: options.offset,
|
|
362
|
-
node_limit: options.limit,
|
|
363
|
-
occurrence_offset: options.offset,
|
|
364
|
-
occurrence_limit: options.limit,
|
|
365
|
-
edge_offset: options.offset,
|
|
366
|
-
edge_limit: options.limit,
|
|
367
|
-
integrity_policy: options.integrityPolicy,
|
|
368
|
-
integrity_continue_approved: options.integrityContinueApproved,
|
|
369
|
-
max_integrity_mismatches: options.maxIntegrityMismatches,
|
|
370
|
-
native_mount_approved: options.nativeMountApproved,
|
|
371
|
-
}, logger)),
|
|
372
|
-
});
|
|
373
|
-
cli.command(CLI_COMMANDS.extractArtifact, {
|
|
374
|
-
description: "Extract explicitly selected artifact occurrences safely",
|
|
375
|
-
args: z.object({
|
|
376
|
-
path: z.string().describe("Application or package path"),
|
|
377
|
-
outputRoot: z.string().describe("Absent absolute output root"),
|
|
378
|
-
occurrenceIds: z
|
|
379
|
-
.array(z.string().regex(/^occ_[a-f0-9]{64}$/u))
|
|
380
|
-
.min(1)
|
|
381
|
-
.max(500),
|
|
382
|
-
}),
|
|
383
|
-
alias: { outputRoot: "output-root", occurrenceIds: "occurrence-ids" },
|
|
384
|
-
run: ({ args }) => logCliCommand(logger, "extract-artifact", () => runProviderAnalysis(args.path, "extract_artifact", {
|
|
385
|
-
approved: true,
|
|
386
|
-
output_root: args.outputRoot,
|
|
387
|
-
occurrence_ids: args.occurrenceIds,
|
|
388
|
-
}, logger)),
|
|
389
|
-
});
|
|
390
|
-
};
|
|
391
|
-
const registerNativeCommands = (cli, logger) => {
|
|
392
|
-
for (const [command, tool] of [
|
|
393
|
-
[CLI_COMMANDS.inspectMacho, "inspect_macho"],
|
|
394
|
-
[CLI_COMMANDS.inspectSignature, "inspect_signature"],
|
|
395
|
-
[CLI_COMMANDS.listArchitectures, "list_architectures"],
|
|
396
|
-
]) {
|
|
397
|
-
cli.command(command, {
|
|
398
|
-
description: `Run ${tool} without launching Hopper`,
|
|
399
|
-
args: z.object({ path: z.string().describe("Mach-O or app path") }),
|
|
400
|
-
run: ({ args }) => logCliCommand(logger, command, () => runProviderAnalysis(args.path, tool, {}, logger)),
|
|
401
|
-
});
|
|
402
|
-
}
|
|
403
|
-
cli.command(CLI_COMMANDS.inspectPlist, {
|
|
404
|
-
description: "Parse app plist metadata without launching Hopper",
|
|
405
|
-
args: z.object({ path: z.string().describe("App or Mach-O path") }),
|
|
406
|
-
options: z.object({
|
|
407
|
-
relativePath: z.string().default("Contents/Info.plist"),
|
|
408
|
-
}),
|
|
409
|
-
alias: { relativePath: "relative-path" },
|
|
410
|
-
run: ({ args, options }) => logCliCommand(logger, "inspect-plist", () => runProviderAnalysis(args.path, "inspect_plist", { relative_path: options.relativePath }, logger)),
|
|
411
|
-
});
|
|
412
|
-
cli.command(CLI_COMMANDS.demangleSwift, {
|
|
413
|
-
description: "Demangle a bounded Swift symbol batch without Hopper",
|
|
414
|
-
args: z.object({
|
|
415
|
-
path: z.string().describe("Artifact path used for evidence identity"),
|
|
416
|
-
symbols: z.array(z.string().min(1)).min(1).max(500),
|
|
417
|
-
}),
|
|
418
|
-
run: ({ args }) => logCliCommand(logger, "demangle-swift", () => runProviderAnalysis(args.path, "demangle_swift", { symbols: args.symbols }, logger)),
|
|
419
|
-
});
|
|
420
|
-
};
|
|
421
|
-
const providerSelectionOption = analysisProviderSelectorSchema
|
|
422
|
-
.optional()
|
|
423
|
-
.describe("Bind deep analysis to a provider ID or use deterministic auto selection");
|
|
424
|
-
const directAnalysisOptions = (logger, snapshotPath, providerId) => ({
|
|
425
|
-
logger,
|
|
426
|
-
snapshotPath,
|
|
427
|
-
...(providerId === undefined ? {} : { providerId }),
|
|
428
|
-
});
|