rea-agents 6.0.0 → 6.2.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.
Files changed (611) hide show
  1. package/README.md +26 -18
  2. package/bridge/android/ReaJadxBridge.java +14 -5
  3. package/bridge/ghidra/ReaGhidraBridge.java +205 -51
  4. package/bridge/hopper_bridge.py +314 -127
  5. package/bridge/mitmproxy/capture.py +0 -2
  6. package/bridge/native/rea_lldb_tracer.py +630 -94
  7. package/bridge/process/ProcessRunTokenReader.swift +39 -5
  8. package/bridge/pwntools/recorded_crash_impl.py +4 -0
  9. package/dist/android/JadxConfiguration.js +274 -31
  10. package/dist/android/JadxMcpTransport.js +18 -2
  11. package/dist/android/JadxProtocol.js +6 -0
  12. package/dist/android/JadxProvider.js +76 -37
  13. package/dist/android/JadxSession.js +23 -4
  14. package/dist/application/AnalysisContextQueries.js +8 -35
  15. package/dist/application/AnalysisDocument.js +32 -0
  16. package/dist/application/AppBundleExecutable.js +67 -21
  17. package/dist/application/BinaryTargetResolver.js +5 -3
  18. package/dist/application/BrowserEvidence.js +3 -8
  19. package/dist/application/BrowserScenarioEvidence.js +2 -18
  20. package/dist/application/CallPathTracing.js +19 -3
  21. package/dist/application/CapabilityInventory.js +48 -11
  22. package/dist/application/ClientConfigurationDocument.js +917 -8
  23. package/dist/application/ClientRegistrationIdentity.js +26 -5
  24. package/dist/application/ClientRegistrationStatus.js +29 -14
  25. package/dist/application/DirectAnalysis.js +56 -51
  26. package/dist/application/DirectAnalysisCleanup.js +72 -0
  27. package/dist/application/DirectAnalysisStatus.js +4 -5
  28. package/dist/application/Doctor.js +19 -21
  29. package/dist/application/DoctorDiagnostics.js +1 -2
  30. package/dist/application/DoctorScope.js +25 -13
  31. package/dist/application/EnhancedLiteralTracing.js +22 -25
  32. package/dist/application/EnhancedTools.js +64 -17
  33. package/dist/application/EvidenceBundleFiles.js +30 -13
  34. package/dist/application/FunctionAnalysisEvidence.js +2 -3
  35. package/dist/application/InventoryProjectionEvidence.js +4 -3
  36. package/dist/application/InvestigationProviders.js +11 -2
  37. package/dist/application/JsonFiles.js +83 -28
  38. package/dist/application/LinuxHopper.js +9 -6
  39. package/dist/application/MacHopper.js +15 -18
  40. package/dist/application/ProcedureAddressResolution.js +11 -0
  41. package/dist/application/RealHopperAssertions.js +0 -11
  42. package/dist/application/ReconstructionCoverageService.js +7 -4
  43. package/dist/application/ReconstructionObligationCandidates.js +1 -1
  44. package/dist/application/ReconstructionObligationLedgerService.js +4 -3
  45. package/dist/application/ReferenceSourceImportEntries.js +1 -1
  46. package/dist/application/Setup.js +21 -17
  47. package/dist/application/SetupClientConfiguration.js +10 -15
  48. package/dist/application/SetupHost.js +21 -29
  49. package/dist/application/SetupPlan.js +11 -9
  50. package/dist/application/SupportedClients.js +34 -1
  51. package/dist/application/Uninstall.js +82 -29
  52. package/dist/application/Update.js +18 -3
  53. package/dist/application/UpdateMaintenance.js +7 -5
  54. package/dist/application/UpdateRuntime.js +57 -36
  55. package/dist/application/WebModuleTraceService.js +4 -2
  56. package/dist/application/WebNetworkCaptureService.js +4 -2
  57. package/dist/application/WebRuntimeService.js +5 -3
  58. package/dist/application/WebScriptExportService.js +32 -6
  59. package/dist/application/WebSourceLocationService.js +4 -2
  60. package/dist/application/WorkflowEvidence.js +105 -0
  61. package/dist/application/XrefsAddressResolution.js +45 -0
  62. package/dist/application/analysisView/AnalysisViewService.js +76 -0
  63. package/dist/application/binary/AnalysisClientCleanup.js +30 -5
  64. package/dist/application/binary/AnalysisProviderEvaluation.js +22 -7
  65. package/dist/application/binary/AnalysisProviderRegistry.js +4 -6
  66. package/dist/application/binary/AnalysisSnapshotCache.js +13 -14
  67. package/dist/application/binary/BinarySession.js +161 -93
  68. package/dist/application/binary/BinarySessionComposition.js +1 -3
  69. package/dist/application/binary/BinarySessionExecution.js +3 -5
  70. package/dist/application/binary/BinarySessionOpen.js +4 -4
  71. package/dist/application/binary/BinarySessionRecords.js +26 -4
  72. package/dist/application/binary/BinarySessionStatus.js +18 -7
  73. package/dist/application/binary/CompositeProvider.js +16 -17
  74. package/dist/application/binary/LazyAnalysisProvider.js +8 -5
  75. package/dist/application/binary/SessionProviderRouter.js +27 -135
  76. package/dist/application/binaryDiagnostics/BinaryLayoutService.js +4 -2
  77. package/dist/application/binaryDiagnostics/RecordedCrashService.js +4 -2
  78. package/dist/application/evm/EvmInterfaceService.js +4 -2
  79. package/dist/application/homebrew.js +48 -0
  80. package/dist/application/investigation/EvidenceLedger.js +21 -7
  81. package/dist/application/investigation/InvestigationRecords.js +8 -0
  82. package/dist/application/javascript/ElectronActiveEvidence.js +9 -13
  83. package/dist/application/javascript/JavaScriptAnalysisControl.js +34 -0
  84. package/dist/application/javascript/JavaScriptApplicationEvidence.js +21 -4
  85. package/dist/application/javascript/JavaScriptApplicationEvidenceGraph.js +19 -2
  86. package/dist/application/javascript/JavaScriptApplicationService.js +27 -15
  87. package/dist/application/javascript/JavaScriptApplicationWorkflowService.js +5 -5
  88. package/dist/application/javascript/JavaScriptArtifactAnalysis.js +10 -7
  89. package/dist/application/javascript/JavaScriptArtifactGraphBuilder.js +44 -10
  90. package/dist/application/javascript/JavaScriptArtifactGraphBundlers.js +11 -3
  91. package/dist/application/javascript/JavaScriptArtifactGraphContext.js +9 -0
  92. package/dist/application/javascript/JavaScriptArtifactGraphDocuments.js +8 -5
  93. package/dist/application/javascript/JavaScriptArtifactGraphFindings.js +12 -3
  94. package/dist/application/javascript/JavaScriptArtifactGraphStructure.js +0 -1
  95. package/dist/application/javascript/JavaScriptArtifactPathResolution.js +49 -19
  96. package/dist/application/javascript/JavaScriptArtifactReconstruction.js +56 -8
  97. package/dist/application/javascript/JavaScriptModuleRelationships.js +38 -9
  98. package/dist/application/javascript/JavaScriptRecoveryService.js +4 -2
  99. package/dist/application/javascript/JavaScriptRuntimeObservationService.js +6 -4
  100. package/dist/application/javascript/JavaScriptRuntimeReconciliationService.js +3 -3
  101. package/dist/application/javascript/JavaScriptSemanticGraphAsyncProjection.js +2 -3
  102. package/dist/application/javascript/JavaScriptSemanticGraphBuilder.js +63 -61
  103. package/dist/application/javascript/JavaScriptSemanticGraphChildProcessProjection.js +1 -2
  104. package/dist/application/javascript/JavaScriptSemanticGraphDataProjection.js +2 -3
  105. package/dist/application/javascript/JavaScriptSemanticGraphFlowProjection.js +1 -5
  106. package/dist/application/javascript/JavaScriptSemanticGraphObjectProjection.js +75 -46
  107. package/dist/application/javascript/JavaScriptSemanticGraphResourceProjection.js +2 -3
  108. package/dist/application/javascript/JavaScriptSemanticGraphValueProjection.js +64 -19
  109. package/dist/application/managed/ManagedApplicationGraphService.js +4 -3
  110. package/dist/application/managed/ManagedMemberComparisonService.js +9 -5
  111. package/dist/application/managed/ManagedNativeVerificationService.js +6 -4
  112. package/dist/application/managed/ManagedReconstructionService.js +4 -3
  113. package/dist/application/process/ProcessCli.js +25 -17
  114. package/dist/application/process/ProcessEvidence.js +4 -4
  115. package/dist/application/workflowInputError.js +18 -0
  116. package/dist/artifacts/ArtifactProvider.js +48 -13
  117. package/dist/artifacts/ArtifactReader.js +31 -0
  118. package/dist/artifacts/DirectoryArtifactReader.js +2 -1
  119. package/dist/artifacts/MachOSliceArtifactReader.js +106 -15
  120. package/dist/artifacts/NativeDmgArtifactReader.js +73 -21
  121. package/dist/artifacts/SafeOutputTree.js +16 -2
  122. package/dist/artifacts/ZipArtifactReader.js +11 -4
  123. package/dist/artifacts/apple/AppleAssetCatalogAnalysis.js +26 -5
  124. package/dist/artifacts/apple/DylibResolutionReader.js +17 -7
  125. package/dist/artifacts/apple/InterfaceBuilderAnalysis.js +176 -56
  126. package/dist/artifacts/apple/InterfaceBuilderDecodeBudget.js +195 -0
  127. package/dist/artifacts/apple/KeyedArchiveReader.js +55 -23
  128. package/dist/artifacts/apple/MachoLoadCommandReader.js +92 -31
  129. package/dist/artifacts/apple/NibArchive.js +81 -14
  130. package/dist/artifacts/apple/NibViewHierarchy.js +10 -3
  131. package/dist/artifacts/apple/PlistNumberLiterals.js +164 -0
  132. package/dist/artifacts/extraction/ArtifactExtraction.js +78 -21
  133. package/dist/artifacts/inventory/ArtifactGraphConstruction.js +79 -68
  134. package/dist/artifacts/inventory/ArtifactInventory.js +0 -1
  135. package/dist/artifacts/inventory/reader.js +3 -3
  136. package/dist/artifacts/inventory/scanCanonical.js +59 -38
  137. package/dist/artifacts/inventory/scanReader.js +5 -9
  138. package/dist/artifacts/javascript/JavaScriptArtifactFiles.js +6 -2
  139. package/dist/browser/BrowserScenarioPartialObservation.js +106 -0
  140. package/dist/browser/CdpBrowserProvider.js +2 -3
  141. package/dist/browser/CdpCaptureCompleteness.js +2 -0
  142. package/dist/browser/CdpCaptureEventHandlers.js +78 -15
  143. package/dist/browser/CdpCaptureEventTypes.js +5 -1
  144. package/dist/browser/CdpCaptureEvents.js +25 -1
  145. package/dist/browser/CdpCaptureValues.js +20 -0
  146. package/dist/browser/CdpConnection.js +30 -11
  147. package/dist/browser/CdpElectronProvider.js +0 -2
  148. package/dist/browser/CdpElectronScriptEvents.js +2 -8
  149. package/dist/browser/CdpElectronScripts.js +2 -3
  150. package/dist/browser/CdpOptionalCommand.js +2 -3
  151. package/dist/browser/CdpPageCapture.js +23 -1
  152. package/dist/browser/CdpPageCaptureScripts.js +2 -3
  153. package/dist/browser/CdpSafeMetadata.js +10 -10
  154. package/dist/browser/PlaywrightBrowserScenarioProvider.js +59 -44
  155. package/dist/browser/PlaywrightElectronActiveActions.js +34 -79
  156. package/dist/browser/PlaywrightElectronActiveProjection.js +141 -0
  157. package/dist/browser/PlaywrightElectronActiveProvider.js +133 -130
  158. package/dist/browser/PlaywrightScenarioArtifacts.js +1 -1
  159. package/dist/browser/PlaywrightScenarioBrowser.js +139 -39
  160. package/dist/browser/PlaywrightScenarioEvents.js +1 -1
  161. package/dist/browser/PlaywrightScenarioSession.js +39 -22
  162. package/dist/browser/WebSourceMapFetcher.js +426 -72
  163. package/dist/browser/assets/LocalWebScriptArtifacts.js +2 -2
  164. package/dist/browser/assets/ScriptCaptureAdapters.js +1 -1
  165. package/dist/browser/history/CaptureFailures.js +41 -1
  166. package/dist/browser/history/CaptureRelease.js +5 -0
  167. package/dist/browser/history/HarCaptureAdapter.js +3 -3
  168. package/dist/browser/history/HarJson.js +3 -2
  169. package/dist/browser/history/HistoricalCaptureDecoder.js +4 -2
  170. package/dist/browser/history/MitmproxyCaptureAdapter.js +4 -2
  171. package/dist/catalogIdentity.js +0 -1
  172. package/dist/cli/analysisSelector.js +23 -0
  173. package/dist/cli/analysisViewCommands.js +36 -0
  174. package/dist/cli/applicationCommands.js +2 -3
  175. package/dist/cli/artifactCommands.js +11 -12
  176. package/dist/cli/coreAnalysisCommands.js +3 -3
  177. package/dist/cli/coreBinaryCommands.js +100 -37
  178. package/dist/cli/coreNativeCommands.js +9 -10
  179. package/dist/cli/electronCommands.js +10 -9
  180. package/dist/cli/interactiveSetup.js +6 -6
  181. package/dist/cli/javascriptApplicationAnalysis.js +7 -3
  182. package/dist/cli/jsonOutput.js +4 -99
  183. package/dist/cli/managedCommands.js +7 -8
  184. package/dist/cli/nativeCallCommands.js +3 -5
  185. package/dist/cli/omittableDefaults.js +50 -0
  186. package/dist/cli/processCommands.js +3 -2
  187. package/dist/cli/setupCommands.js +16 -15
  188. package/dist/cli/utilityCommands.js +9 -9
  189. package/dist/cli/webRuntimeCommands.js +8 -8
  190. package/dist/cli.js +18 -9
  191. package/dist/cliBrowserScenarioCommands.js +2 -2
  192. package/dist/cliCommandNames.js +1 -1
  193. package/dist/cliJsonInput.js +24 -5
  194. package/dist/cliOutput.js +0 -38
  195. package/dist/composition/auxiliaryAnalysisProviders.js +27 -23
  196. package/dist/composition/binary.js +9 -9
  197. package/dist/composition/browserScenario.js +2 -1
  198. package/dist/composition/directAnalysis.js +20 -13
  199. package/dist/composition/electronScenario.js +1 -1
  200. package/dist/composition/optionalObservationProviders.js +12 -7
  201. package/dist/config/environment.js +10 -0
  202. package/dist/config/ghidraStartupTimeout.js +12 -0
  203. package/dist/config/homeDirectory.js +12 -0
  204. package/dist/config/mcpResponseBudget.js +30 -0
  205. package/dist/config/parseConfig.js +8 -3
  206. package/dist/config/parsers.js +19 -22
  207. package/dist/contracts/analysisViewToolContracts.js +56 -0
  208. package/dist/contracts/applicationToolContracts.js +5 -4
  209. package/dist/contracts/artifactComparisonExample.js +2 -2
  210. package/dist/contracts/artifactToolContracts.js +1 -1
  211. package/dist/contracts/browserScenarioToolContracts.js +1 -1
  212. package/dist/contracts/browserToolContracts.js +19 -15
  213. package/dist/contracts/enhancedInputs.js +7 -5
  214. package/dist/contracts/enhancedToolContracts.js +7 -6
  215. package/dist/contracts/evm/evmToolContracts.js +1 -1
  216. package/dist/contracts/functionWorkflowToolContracts.js +1 -1
  217. package/dist/contracts/hopperMemoryContracts.js +2 -5
  218. package/dist/contracts/inputSchemaPresentation.js +90 -0
  219. package/dist/contracts/investigationExamples.js +4 -3
  220. package/dist/contracts/javascript/electronToolContracts.js +2 -2
  221. package/dist/contracts/javascript/javascriptApplicationWorkflowExamples.js +0 -20
  222. package/dist/contracts/javascript/javascriptExportShapeComparisonExample.js +245 -0
  223. package/dist/contracts/javascript/javascriptRuntimeObservationToolContracts.js +1 -1
  224. package/dist/contracts/managed/managedToolContracts.js +7 -14
  225. package/dist/contracts/managed/managedWorkflowToolContracts.js +1 -1
  226. package/dist/contracts/mobileApplicationGraphExamples.js +3 -3
  227. package/dist/contracts/native/binaryDiagnosticsToolContracts.js +1 -1
  228. package/dist/contracts/native/nativeToolContracts.js +5 -3
  229. package/dist/contracts/officialToolContracts.js +16 -16
  230. package/dist/contracts/promptContracts.js +5 -5
  231. package/dist/contracts/providerSelection.js +1 -1
  232. package/dist/contracts/sessionLifecycleInputs.js +3 -7
  233. package/dist/contracts/sessionStatusContract.js +2 -4
  234. package/dist/contracts/sessionToolContracts.js +18 -8
  235. package/dist/contracts/sessionToolSchemas.js +3 -19
  236. package/dist/contracts/toolContractExamples.js +0 -1
  237. package/dist/contracts/toolContractHelpers.js +4 -1
  238. package/dist/contracts/toolContracts.js +2 -0
  239. package/dist/contracts/toolEffects.js +1 -1
  240. package/dist/contracts/toolOutputSchemaGroups.js +160 -115
  241. package/dist/contracts/toolOutputSchemaPrimitives.js +28 -20
  242. package/dist/contracts/toolSchemaMetadata.js +41 -33
  243. package/dist/contracts/webNetworkCaptureToolContracts.js +2 -2
  244. package/dist/contracts/webRuntimeToolContracts.js +1 -1
  245. package/dist/contracts/webScriptToolContracts.js +1 -1
  246. package/dist/doctorRuntime.js +7 -5
  247. package/dist/domain/analysisErrorBase.js +8 -3
  248. package/dist/domain/analysisErrorCore.js +6 -1
  249. package/dist/domain/analysisErrorPresentation.js +90 -20
  250. package/dist/domain/analysisErrorProjection.js +130 -32
  251. package/dist/domain/analysisSnapshot.js +29 -31
  252. package/dist/domain/analysisView/analysisView.js +243 -0
  253. package/dist/domain/analysisView/analysisViewCoverage.js +19 -0
  254. package/dist/domain/analysisView/binaryLayoutView.js +159 -0
  255. package/dist/domain/analysisView/javascriptApplicationView.js +238 -0
  256. package/dist/domain/android/androidAnalysis.js +2 -4
  257. package/dist/domain/android/androidApplication.js +18 -10
  258. package/dist/domain/apple/appleApplication.js +42 -15
  259. package/dist/domain/apple/dyldEnvironment.js +73 -0
  260. package/dist/domain/apple/dylibResolution.js +130 -12
  261. package/dist/domain/apple/dylibResolutionFindings.js +9 -7
  262. package/dist/domain/apple/interfaceBuilderGraph.js +25 -14
  263. package/dist/domain/apple/interfaceBuilderKeyedArchive.js +13 -3
  264. package/dist/domain/apple/keyedArchive.js +35 -3
  265. package/dist/domain/apple/machoContainer.js +54 -0
  266. package/dist/domain/apple/plistNumbers.js +76 -0
  267. package/dist/domain/artifactComparison.js +15 -6
  268. package/dist/domain/artifactGraph.js +16 -3
  269. package/dist/domain/artifactIdentity.js +29 -0
  270. package/dist/domain/artifactInventoryEvidence.js +28 -40
  271. package/dist/domain/artifactOperationError.js +3 -3
  272. package/dist/domain/artifactPartialObservation.js +1 -0
  273. package/dist/domain/artifactPathSyntax.js +49 -0
  274. package/dist/domain/binaryTarget.js +39 -13
  275. package/dist/domain/bridgeCandidateProjection.js +71 -0
  276. package/dist/domain/browserCaptureComparison.js +13 -49
  277. package/dist/domain/browserCompleteness.js +1 -0
  278. package/dist/domain/browserNetworkEvidence.js +10 -4
  279. package/dist/domain/browserObservation.js +0 -1
  280. package/dist/domain/browserObservationError.js +24 -5
  281. package/dist/domain/browserObservationSchemas.js +14 -3
  282. package/dist/domain/browserScenario.js +0 -1
  283. package/dist/domain/browserScenarioCapture.js +1 -2
  284. package/dist/domain/browserScenarioDiff.js +0 -2
  285. package/dist/domain/browserScenarioDiffEvidence.js +0 -12
  286. package/dist/domain/browserScenarioDiffValues.js +2 -2
  287. package/dist/domain/browserScenarioValues.js +5 -10
  288. package/dist/domain/bundleComparison.js +3 -2
  289. package/dist/domain/callPath.js +8 -9
  290. package/dist/domain/callPathSchemas.js +2 -2
  291. package/dist/domain/canonicalJsonDigestSteps.js +133 -0
  292. package/dist/domain/canonicalOrdering.js +9 -5
  293. package/dist/domain/changedBehavior.js +9 -9
  294. package/dist/domain/comparisonSourceEvidence.js +40 -0
  295. package/dist/domain/completionLedgerGeneration.js +2 -1
  296. package/dist/domain/configurationErrors.js +13 -1
  297. package/dist/domain/conformancePackage.js +4 -3
  298. package/dist/domain/evidence.js +65 -36
  299. package/dist/domain/evidenceBundle.js +47 -8
  300. package/dist/domain/evidenceCompletionLedger.js +2 -1
  301. package/dist/domain/evidenceErrors.js +12 -1
  302. package/dist/domain/explicitSensitiveFailure.js +17 -1
  303. package/dist/domain/firmware/firmwareAnalysis.js +6 -7
  304. package/dist/domain/functionComparison.js +4 -5
  305. package/dist/domain/functionComparisonDimensions.js +120 -87
  306. package/dist/domain/functionComparisonNormalization.js +23 -34
  307. package/dist/domain/functionComparisonResults.js +1 -4
  308. package/dist/domain/functionComparisonSchemas.js +2 -8
  309. package/dist/domain/functionDossierEvidence.js +2 -37
  310. package/dist/domain/hopperErrors.js +23 -2
  311. package/dist/domain/hopperValues.js +51 -8
  312. package/dist/domain/immutableJson.js +114 -0
  313. package/dist/domain/inputIssueProjection.js +3 -0
  314. package/dist/domain/javascript/electronActiveObservation.js +47 -64
  315. package/dist/domain/javascript/electronObservation.js +14 -3
  316. package/dist/domain/javascript/electronStaticAnalysisBrowser.js +10 -9
  317. package/dist/domain/javascript/electronStaticAnalysisIpc.js +2 -1
  318. package/dist/domain/javascript/electronStaticAnalysisNative.js +2 -1
  319. package/dist/domain/javascript/electronStaticAnalysisValues.js +6 -12
  320. package/dist/domain/javascript/javascriptApplicationAnalysis.js +71 -23
  321. package/dist/domain/javascript/javascriptApplicationEvidenceSchemas.js +2 -0
  322. package/dist/domain/javascript/javascriptApplicationGraph.js +39 -3
  323. package/dist/domain/javascript/javascriptApplicationGraphSchemas.js +9 -2
  324. package/dist/domain/javascript/javascriptApplicationVersionItems.js +5 -2
  325. package/dist/domain/javascript/javascriptApplicationVersionKeys.js +2 -1
  326. package/dist/domain/javascript/javascriptAstValues.js +20 -0
  327. package/dist/{application/javascript/JavaScriptReturnShapeProjection.js → domain/javascript/javascriptExportReturnShapeProjection.js} +4 -4
  328. package/dist/domain/javascript/javascriptExportShapeComparison.js +7 -1
  329. package/dist/domain/javascript/javascriptExportShapeComparisonIdentity.js +6 -1
  330. package/dist/domain/javascript/javascriptExportShapeComparisonSchemas.js +29 -1
  331. package/dist/domain/javascript/javascriptExportShapeSelection.js +5 -5
  332. package/dist/domain/javascript/javascriptExportShapeVariants.js +67 -14
  333. package/dist/domain/javascript/javascriptFeatureSeed.js +20 -0
  334. package/dist/domain/javascript/javascriptFeatureTraversal.js +0 -1
  335. package/dist/domain/javascript/javascriptNativeHandoff.js +1 -1
  336. package/dist/domain/javascript/javascriptRecovery.js +3 -8
  337. package/dist/domain/javascript/javascriptRuntimeLoadState.js +0 -1
  338. package/dist/domain/javascript/javascriptRuntimeObservation.js +10 -2
  339. package/dist/domain/javascript/javascriptRuntimeReconciliationMatching.js +1 -1
  340. package/dist/domain/javascript/javascriptRuntimeReconciliationParsing.js +3 -2
  341. package/dist/domain/javascript/javascriptRuntimeStaticCandidates.js +0 -1
  342. package/dist/domain/javascript/javascriptSemanticAnalysis.js +106 -5
  343. package/dist/domain/javascript/javascriptSemanticAsyncEffects.js +2 -1
  344. package/dist/domain/javascript/javascriptSemanticCalls.js +2 -1
  345. package/dist/domain/javascript/javascriptSemanticChildProcesses.js +2 -1
  346. package/dist/domain/javascript/javascriptSemanticCoverage.js +6 -5
  347. package/dist/domain/javascript/javascriptSemanticDataEffectHelpers.js +9 -17
  348. package/dist/domain/javascript/javascriptSemanticDataEffects.js +23 -6
  349. package/dist/domain/javascript/javascriptSemanticGraph.js +98 -43
  350. package/dist/domain/javascript/javascriptSemanticGraphSchemas.js +1 -0
  351. package/dist/domain/javascript/javascriptSemanticMemberMutations.js +77 -20
  352. package/dist/domain/javascript/javascriptSemanticMutationValues.js +21 -27
  353. package/dist/domain/javascript/javascriptSemanticObjects.js +83 -42
  354. package/dist/domain/javascript/javascriptSemanticPrimitives.js +18 -21
  355. package/dist/domain/javascript/javascriptSemanticProjection.js +2 -3
  356. package/dist/domain/javascript/javascriptSemanticPromises.js +2 -1
  357. package/dist/domain/javascript/javascriptSemanticQuerySchemas.js +8 -4
  358. package/dist/domain/javascript/javascriptSemanticResourceLimits.js +77 -0
  359. package/dist/domain/javascript/javascriptSemanticResources.js +1 -1
  360. package/dist/domain/javascript/javascriptSemanticReturns.js +32 -17
  361. package/dist/domain/javascript/javascriptSemanticSlots.js +72 -0
  362. package/dist/domain/javascript/javascriptSemanticValues.js +126 -61
  363. package/dist/domain/javascript/javascriptSourceMapPaths.js +104 -0
  364. package/dist/domain/javascript/javascriptSourceParser.js +6 -2
  365. package/dist/domain/javascript/javascriptStaticAnalysis.js +22 -17
  366. package/dist/domain/javascript/javascriptStaticAnalysisBundler.js +5 -3
  367. package/dist/domain/javascript/javascriptStaticAnalysisCalls.js +16 -5
  368. package/dist/domain/javascript/javascriptStaticAnalysisFindings.js +66 -7
  369. package/dist/domain/javascript/javascriptStaticAnalysisHelpers.js +28 -17
  370. package/dist/domain/javascript/javascriptStaticAnalysisState.js +3 -2
  371. package/dist/domain/javascript/sourceToBundleComparison.js +12 -3
  372. package/dist/domain/javascript/sourceToBundleSignals.js +47 -19
  373. package/dist/domain/jsonSerialization.js +109 -0
  374. package/dist/domain/jsonValue.js +90 -6
  375. package/dist/domain/localPath.js +6 -0
  376. package/dist/domain/managed/managedApplicationGraph.js +10 -10
  377. package/dist/domain/managed/managedArtifact.js +6 -4
  378. package/dist/domain/managed/managedInspectionEvidence.js +16 -0
  379. package/dist/domain/managed/managedMemberComparison.js +2 -9
  380. package/dist/domain/managed/managedMemberComparisonMatch.js +5 -9
  381. package/dist/domain/managed/managedNativeVerification.js +3 -11
  382. package/dist/domain/managed/managedNativeVerificationMatch.js +9 -3
  383. package/dist/domain/native/binaryLayout.js +2 -3
  384. package/dist/domain/native/fileOffsetPartialObservation.js +1 -0
  385. package/dist/domain/native/nativeApiBoundary.js +1 -1
  386. package/dist/domain/native/nativeCallObservation.js +37 -13
  387. package/dist/domain/native/nativeCallPartialObservation.js +33 -0
  388. package/dist/domain/native/nativeInstruction.js +7 -0
  389. package/dist/domain/native/recordedCrash.js +2 -3
  390. package/dist/domain/offsetDateTime.js +17 -0
  391. package/dist/domain/process/processCapture.js +21 -16
  392. package/dist/domain/process/processCaptureCoverage.js +67 -0
  393. package/dist/domain/process/processCaptureExample.js +2 -1
  394. package/dist/domain/process/processCaptureParsing.js +1 -34
  395. package/dist/domain/process/processCaptureValidation.js +81 -13
  396. package/dist/domain/process/processComparison.js +79 -26
  397. package/dist/domain/process/processObservation.js +10 -2
  398. package/dist/domain/process/processScenario.js +35 -12
  399. package/dist/domain/process/processTraceComparison.js +0 -2
  400. package/dist/domain/process/processTraceDimensionProjection.js +1 -1
  401. package/dist/domain/process/processTraceEvaluation.js +15 -11
  402. package/dist/domain/process/processTraceSpecification.js +3 -4
  403. package/dist/domain/propertyListKeys.js +1 -1
  404. package/dist/domain/propertyListXmlText.js +19 -0
  405. package/dist/domain/providerAdapterError.js +3 -1
  406. package/dist/domain/providerOperationHealth.js +54 -0
  407. package/dist/domain/reconstructionCoverage.js +5 -2
  408. package/dist/domain/reconstructionObligationLedgerSchemas.js +2 -1
  409. package/dist/domain/reconstructionReadinessSchemas.js +2 -1
  410. package/dist/domain/reconstructionVerification.js +9 -46
  411. package/dist/domain/reconstructionVerificationSchemas.js +4 -3
  412. package/dist/domain/referenceSourceGraph.js +20 -21
  413. package/dist/domain/staticRuntimeCorrelation.js +8 -45
  414. package/dist/domain/stringPatterns.js +6 -0
  415. package/dist/domain/swiftSymbolClassification.js +61 -0
  416. package/dist/domain/symbolAnalysis.js +66 -18
  417. package/dist/domain/webBundleAnalysis.js +20 -8
  418. package/dist/domain/webBundleAnalyzerInspection.js +13 -8
  419. package/dist/domain/webBundleAnalyzerResult.js +41 -2
  420. package/dist/domain/webCaptureDiff.js +0 -1
  421. package/dist/domain/webCaptureDiffSchemas.js +6 -3
  422. package/dist/domain/webEventListeners.js +3 -2
  423. package/dist/domain/webExecution.js +3 -2
  424. package/dist/domain/webRuntime.js +19 -7
  425. package/dist/domain/webScriptExport.js +1 -1
  426. package/dist/domain/webSourceLocation.js +1 -0
  427. package/dist/dotnet/ManagedArtifactInspector.js +2 -19
  428. package/dist/dotnet/ManagedMemberInspector.js +12 -18
  429. package/dist/dotnet/ManagedMemberInspectorCore.js +47 -44
  430. package/dist/dotnet/ManagedMemberRows.js +75 -62
  431. package/dist/dotnet/ManagedMetadataInventory.js +16 -22
  432. package/dist/dotnet/ManagedMethodBodyReader.js +4 -0
  433. package/dist/dotnet/ManagedNativeBoundaryHelpers.js +109 -94
  434. package/dist/dotnet/ManagedNativeBoundaryInspector.js +12 -21
  435. package/dist/dotnet/ManagedReaderFailure.js +16 -0
  436. package/dist/dotnet/ManagedStaticProvider.js +3 -5
  437. package/dist/evaluation/AgentEvaluationFixtures.js +250 -0
  438. package/dist/evaluation/AgentEvaluationReport.js +28 -0
  439. package/dist/evaluation/CodexAgentEval.js +12 -8
  440. package/dist/evaluation/KnownAnswerEvaluation.js +281 -0
  441. package/dist/evm/EvmoleInterfaceProvider.js +2 -1
  442. package/dist/firmware/FirmwareCommand.js +9 -5
  443. package/dist/firmware/FirmwareFiles.js +1 -1
  444. package/dist/firmware/FirmwareProvider.js +4 -4
  445. package/dist/generatedPackageMetadata.js +2 -2
  446. package/dist/ghidra/GhidraAnalysisProfile.js +7 -5
  447. package/dist/ghidra/GhidraClient.js +126 -34
  448. package/dist/ghidra/GhidraClientStartup.js +0 -2
  449. package/dist/ghidra/GhidraDiagnostics.js +7 -7
  450. package/dist/ghidra/GhidraDoctor.js +6 -5
  451. package/dist/ghidra/GhidraFunctionValues.js +13 -12
  452. package/dist/ghidra/GhidraInstallation.js +58 -33
  453. package/dist/ghidra/GhidraInventoryValues.js +14 -4
  454. package/dist/ghidra/GhidraJavaLaunch.js +66 -0
  455. package/dist/ghidra/GhidraLauncher.js +47 -22
  456. package/dist/ghidra/GhidraProvider.js +6 -2
  457. package/dist/ghidra/GhidraProviderCapabilities.js +20 -2
  458. package/dist/ghidra/GhidraProviderClient.js +36 -15
  459. package/dist/ghidra/GhidraSessionError.js +13 -7
  460. package/dist/ghidra/GhidraSessionRoot.js +39 -0
  461. package/dist/ghidra/GhidraTargetSnapshot.js +47 -12
  462. package/dist/ghidra/GhidraTransport.js +20 -0
  463. package/dist/ghidra/extensions/GhidraExtensions.js +17 -10
  464. package/dist/ghidra/extensions/nativeaot/NativeAotAdapter.js +8 -2
  465. package/dist/hopper/BridgeLauncher.js +65 -56
  466. package/dist/hopper/HopperAnalysisProfile.js +65 -12
  467. package/dist/hopper/HopperCleanup.js +63 -22
  468. package/dist/hopper/HopperClient.js +288 -59
  469. package/dist/hopper/HopperFileOffset.js +237 -0
  470. package/dist/hopper/HopperMachOImage.js +197 -0
  471. package/dist/hopper/HopperOperationStage.js +6 -0
  472. package/dist/hopper/HopperProvider.js +71 -19
  473. package/dist/hopper/HopperProviderCapabilities.js +19 -1
  474. package/dist/hopper/HopperRegexSearch.js +134 -0
  475. package/dist/hopper/HopperRegexWorker.js +27 -0
  476. package/dist/hopper/HopperRequestQueue.js +68 -19
  477. package/dist/hopper/HopperTargetLease.js +133 -49
  478. package/dist/hopper/LinuxPrivateDisplayProbe.js +6 -0
  479. package/dist/ida/IdaConfiguration.js +8 -3
  480. package/dist/ida/IdaInput.js +1 -7
  481. package/dist/ida/IdaMcpConnection.js +8 -4
  482. package/dist/ida/IdaOperationRunner.js +3 -3
  483. package/dist/ida/IdaProvider.js +8 -12
  484. package/dist/ida/IdaSessionClient.js +20 -18
  485. package/dist/ida/IdaWorkspace.js +12 -13
  486. package/dist/inspector/JavaScriptRuntimeScope.js +9 -1
  487. package/dist/inspector/V8InspectorCaptureProjection.js +9 -4
  488. package/dist/inspector/V8InspectorProvider.js +82 -36
  489. package/dist/javascript/recovery/WakaruCommand.js +7 -2
  490. package/dist/javascript/recovery/WakaruExecution.js +5 -2
  491. package/dist/javascript/sourceMaps/DecodedSourceMap.js +47 -0
  492. package/dist/javascript/sourceMaps/SourceMapCommand.js +16 -0
  493. package/dist/javascript/sourceMaps/SourceMapFormat.js +79 -31
  494. package/dist/javascript/sourceMaps/TraceSourceMap.js +14 -28
  495. package/dist/main/shutdown.js +11 -3
  496. package/dist/main/startup.js +9 -2
  497. package/dist/main/transport.js +22 -2
  498. package/dist/main.js +11 -18
  499. package/dist/mcpDoctor.js +62 -2
  500. package/dist/native/AppleDispatchCoverage.js +47 -6
  501. package/dist/native/AppleDispatchDecodeFacts.js +6 -0
  502. package/dist/native/AppleDispatchMetadata.js +6 -3
  503. package/dist/native/AppleMachoFixups.js +48 -24
  504. package/dist/native/AppleMachoSelection.js +48 -22
  505. package/dist/native/AppleObjcCategories.js +6 -2
  506. package/dist/native/AppleObjcDispatchFacets.js +5 -2
  507. package/dist/native/AppleObjcProperties.js +2 -1
  508. package/dist/native/AppleSwiftDispatchFacets.js +27 -21
  509. package/dist/native/AppleSwiftVtables.js +21 -15
  510. package/dist/native/CommandRunner.js +87 -88
  511. package/dist/native/LldbCallTracer.js +372 -103
  512. package/dist/native/LldbRetainedObservations.js +178 -0
  513. package/dist/native/NativeCallObservation.js +62 -3
  514. package/dist/native/NativeMacOSProvider.js +122 -31
  515. package/dist/native/NativeUiHelperRuntime.js +11 -2
  516. package/dist/native/NativeUiObservation.js +2 -2
  517. package/dist/native/SignatureTargetBinding.js +155 -0
  518. package/dist/native/parsers/lipo.js +71 -1
  519. package/dist/native/pwndbg/PwndbgCoreContext.js +25 -5
  520. package/dist/native/pwntools/PwntoolsDecoder.js +2 -1
  521. package/dist/native/pwntools/RecordedCrashStructureBindings.js +2 -0
  522. package/dist/process/DarwinProcessRunTokenReader.js +23 -10
  523. package/dist/process/ExecFileOutput.js +108 -6
  524. package/dist/process/OwnedCommand.js +7 -2
  525. package/dist/process/PrivateRuntimeRoot.js +10 -5
  526. package/dist/process/ProcessOwnership.js +204 -57
  527. package/dist/process/ProcessOwnershipObservation.js +60 -9
  528. package/dist/process/ProviderProcess.js +39 -10
  529. package/dist/process/capture/FilesystemSnapshot.js +50 -13
  530. package/dist/process/capture/ProcessCaptureError.js +15 -2
  531. package/dist/process/capture/ProcessCaptureLifecycle.js +235 -81
  532. package/dist/process/capture/ProcessFilesystemEffects.js +33 -3
  533. package/dist/process/capture/ProcessHarness.js +21 -25
  534. package/dist/process/capture/ProcessNormalization.js +20 -2
  535. package/dist/process/capture/ProcessSampling.js +25 -2
  536. package/dist/process/capture/TerminalRenderer.js +14 -0
  537. package/dist/process/snapshotEnvironment.js +14 -0
  538. package/dist/server/EvidenceMcpServer.js +157 -0
  539. package/dist/server/createServer.js +61 -41
  540. package/dist/server/mcpClientMetadata.js +12 -5
  541. package/dist/server/promptCompletion.js +3 -8
  542. package/dist/server/registerAnalysisViewTool.js +15 -0
  543. package/dist/server/registerAndroidTools.js +2 -5
  544. package/dist/server/registerApplicationTools/compareExportShapes.js +4 -5
  545. package/dist/server/registerApplicationTools/compareSourceToBundle.js +4 -5
  546. package/dist/server/registerApplicationTools/compareVersions.js +4 -5
  547. package/dist/server/registerApplicationTools/coverage.js +1 -2
  548. package/dist/server/registerApplicationTools/helpers.js +1 -4
  549. package/dist/server/registerApplicationTools/obligationLedger.js +4 -5
  550. package/dist/server/registerApplicationTools/projectMobileApplicationGraph.js +3 -4
  551. package/dist/server/registerApplicationTools/traceFeature.js +4 -5
  552. package/dist/server/registerApplicationTools/traceSemantics.js +4 -5
  553. package/dist/server/registerArtifactComparisonTool.js +13 -10
  554. package/dist/server/registerBinaryDiagnosticsTools.js +2 -5
  555. package/dist/server/registerBrowserScenarioTool.js +3 -6
  556. package/dist/server/registerBrowserTools.js +13 -18
  557. package/dist/server/registerBundleComparisonTool.js +5 -7
  558. package/dist/server/registerCloseLifecycleTool.js +9 -20
  559. package/dist/server/registerElectronTools.js +10 -15
  560. package/dist/server/registerEnhancedTools.js +36 -77
  561. package/dist/server/registerEvidenceTools.js +3 -6
  562. package/dist/server/registerEvmTools.js +2 -5
  563. package/dist/server/registerFirmwareTools.js +2 -5
  564. package/dist/server/registerFunctionComparisonTool.js +15 -12
  565. package/dist/server/registerInvestigationTools.js +16 -17
  566. package/dist/server/registerJavaScriptRecoveryTool.js +2 -5
  567. package/dist/server/registerJavaScriptRuntimeObservationTools.js +6 -8
  568. package/dist/server/registerManagedWorkflowTools/compareManagedMembers.js +5 -8
  569. package/dist/server/registerManagedWorkflowTools/importManagedReconstruction.js +4 -7
  570. package/dist/server/registerManagedWorkflowTools/projectManagedApplicationGraph.js +6 -9
  571. package/dist/server/registerManagedWorkflowTools/verifyManagedNativeBoundaries.js +6 -9
  572. package/dist/server/registerOfficialTools.js +4 -21
  573. package/dist/server/registerProcessComparisonTool.js +74 -48
  574. package/dist/server/registerRecordedCrashTools.js +2 -5
  575. package/dist/server/registerSessionRecordTools.js +19 -24
  576. package/dist/server/registerSessionStatusTool.js +19 -6
  577. package/dist/server/registerSessionTools.js +20 -18
  578. package/dist/server/registerWebModuleTool.js +2 -5
  579. package/dist/server/registerWebNetworkCaptureTool.js +2 -5
  580. package/dist/server/registerWebRuntimeTools.js +4 -9
  581. package/dist/server/registerWebScriptTool.js +2 -5
  582. package/dist/server/registerWebSourceLocationTool.js +2 -5
  583. package/dist/server/runDerivedOperation.js +15 -3
  584. package/dist/server/sessionAvailabilityPolicy.js +0 -1
  585. package/dist/server/toolRegistrationOptions.js +2 -2
  586. package/dist/server/toolResult.js +75 -51
  587. package/dist/server/toolResultEncoding.js +34 -0
  588. package/dist/windows/WindowsNativeLoader.js +1 -0
  589. package/dist/windows/WindowsOwnedProcess.js +60 -15
  590. package/dist/windows/WindowsPrivateRuntime.js +7 -8
  591. package/install.sh +1 -1
  592. package/native/windows/README.md +3 -1
  593. package/native/windows/build/manifest.json +2 -2
  594. package/native/windows/build/rea-windows-x64.node +0 -0
  595. package/package.json +44 -30
  596. package/scripts/electron-active-hook-boundaries.cjs +18 -20
  597. package/scripts/electron-active-hook.cjs +241 -37
  598. package/scripts/rea.mjs +3 -6
  599. package/skills/reverse-engineer-anything/SKILL.md +12 -3
  600. package/skills/reverse-engineer-anything/references/android-applications.md +6 -3
  601. package/skills/reverse-engineer-anything/references/evidence-workflows.md +8 -4
  602. package/skills/reverse-engineer-anything/references/javascript-applications.md +20 -3
  603. package/skills/reverse-engineer-anything/references/native-and-artifacts.md +9 -0
  604. package/dist/config.js +0 -1
  605. package/dist/contracts/browserCaptureToolInputSchema.js +0 -43
  606. package/dist/contracts/process/processCaptureExample.js +0 -2
  607. package/dist/contracts/toolOutputSchemas.js +0 -2
  608. package/dist/ghidra/GhidraDefaults.js +0 -2
  609. package/dist/main/reload.js +0 -12
  610. package/dist/main/state.js +0 -3
  611. package/dist/server/sessionToolPolicies.js +0 -2
@@ -1,8 +1,9 @@
1
1
  import { TextDecoder } from "node:util";
2
+ import { InterfaceBuilderDecodeBudget, InterfaceBuilderDecodeBudgetExceeded, } from "./InterfaceBuilderDecodeBudget.js";
2
3
  const MAGIC = Buffer.from("NIBArchive", "ascii");
3
- const MAX_RECORDS = 1_000_000;
4
+ const DEFAULT_DECODE_BUDGET_BYTES = 128 * 1024 * 1024;
4
5
  /** Decode Apple's length-prefixed NIBArchive representation without loading UI classes. */
5
- export const decodeNibArchive = (bytes) => {
6
+ export const decodeNibArchive = (bytes, budget = new InterfaceBuilderDecodeBudget(DEFAULT_DECODE_BUDGET_BYTES)) => {
6
7
  if (bytes.length < 50 || !bytes.subarray(0, MAGIC.length).equals(MAGIC))
7
8
  throw new TypeError("NIBArchive magic or header is invalid");
8
9
  const formatVersion = readU32(bytes, 10);
@@ -23,11 +24,13 @@ export const decodeNibArchive = (bytes) => {
23
24
  valuesOffset,
24
25
  classesOffset,
25
26
  ]);
27
+ const projectedFieldCount = preflightProjectedFieldCount(bytes, objectsOffset, keysOffset, objectCount, valueCount, classCount, budget.remainingBytes);
28
+ budget.reserve(objectCount * 96 + projectedFieldCount * 96, "NIBArchive object and projected field counts exceed the aggregate Interface Builder decode budget");
26
29
  const objectRecords = parseObjects(bytes, objectsOffset, keysOffset, objectCount, valueCount, classCount);
27
- const keys = parseStrings(bytes, keysOffset, valuesOffset, keyCount, "key");
28
- const classes = parseClasses(bytes, classesOffset, bytes.length, classCount);
30
+ const keys = parseStrings(bytes, keysOffset, valuesOffset, keyCount, "key", budget);
31
+ const classes = parseClasses(bytes, classesOffset, bytes.length, classCount, budget);
29
32
  const neededValues = valueIndexes(objectRecords, valueCount);
30
- const values = parseValues(bytes, valuesOffset, classesOffset, valueCount, keyCount, neededValues);
33
+ const values = parseValues(bytes, valuesOffset, classesOffset, valueCount, keyCount, neededValues, budget);
31
34
  for (const { value } of values.values()) {
32
35
  if (typeof value === "object" &&
33
36
  value !== null &&
@@ -89,19 +92,40 @@ const parseObjects = (bytes, start, end, count, valueCount, classCount) => {
89
92
  throw new TypeError("NIBArchive object table overlaps the next table");
90
93
  return output;
91
94
  };
92
- const parseStrings = (bytes, start, end, count, label) => {
95
+ const preflightProjectedFieldCount = (bytes, start, end, objectCount, valueCount, classCount, maxBytes) => {
96
+ if (objectCount * 96 > maxBytes)
97
+ throw new InterfaceBuilderDecodeBudgetExceeded("aggregate_decode_budget_exhausted", "NIBArchive object count exceeds the aggregate Interface Builder decode budget");
98
+ const cursor = { offset: start };
99
+ let projectedFields = 0;
100
+ for (let index = 0; index < objectCount; index += 1) {
101
+ const classIndex = readVarint(bytes, cursor, end);
102
+ const valueStart = readVarint(bytes, cursor, end);
103
+ const fieldCount = readVarint(bytes, cursor, end);
104
+ if (classIndex >= classCount ||
105
+ valueStart > valueCount ||
106
+ fieldCount > valueCount - valueStart)
107
+ throw new TypeError(`NIBArchive object ${index} references an invalid table range`);
108
+ projectedFields += fieldCount;
109
+ if (!Number.isSafeInteger(projectedFields) ||
110
+ projectedFields * 96 > maxBytes - objectCount * 96)
111
+ throw new InterfaceBuilderDecodeBudgetExceeded("aggregate_decode_budget_exhausted", "NIBArchive projected field ranges exceed the aggregate Interface Builder decode budget");
112
+ }
113
+ return projectedFields;
114
+ };
115
+ const parseStrings = (bytes, start, end, count, label, budget) => {
93
116
  const cursor = { offset: start };
94
117
  const output = [];
95
118
  for (let index = 0; index < count; index += 1) {
96
119
  const length = readVarint(bytes, cursor, end);
97
120
  const next = checkedEnd(cursor.offset, length, end, `${label} ${index}`);
121
+ budget.reserve(32 + length * 2, `NIBArchive ${label} strings exceed the aggregate Interface Builder decode budget`);
98
122
  const value = decodeUtf8(bytes, cursor.offset, next, `${label} ${index}`);
99
123
  cursor.offset = next;
100
124
  output.push(value);
101
125
  }
102
126
  return output;
103
127
  };
104
- const parseClasses = (bytes, start, end, count) => {
128
+ const parseClasses = (bytes, start, end, count, budget) => {
105
129
  const cursor = { offset: start };
106
130
  const output = [];
107
131
  for (let index = 0; index < count; index += 1) {
@@ -112,13 +136,14 @@ const parseClasses = (bytes, start, end, count) => {
112
136
  ensureRange(cursor.offset, extraCount * 4, end, `class ${index} extensions`);
113
137
  cursor.offset += extraCount * 4;
114
138
  const next = checkedEnd(cursor.offset, length, end, `class ${index}`);
139
+ budget.reserve(32 + length * 2, "NIBArchive class names exceed the aggregate Interface Builder decode budget");
115
140
  const name = decodeUtf8(bytes, cursor.offset, next, `class ${index}`).replace(/\0+$/u, "");
116
141
  cursor.offset = next;
117
142
  output.push(name);
118
143
  }
119
144
  return output;
120
145
  };
121
- const parseValues = (bytes, start, end, count, keyCount, needed) => {
146
+ const parseValues = (bytes, start, end, count, keyCount, needed, budget) => {
122
147
  const cursor = { offset: start };
123
148
  const output = new Map();
124
149
  for (let index = 0; index < count; index += 1) {
@@ -127,15 +152,19 @@ const parseValues = (bytes, start, end, count, keyCount, needed) => {
127
152
  throw new TypeError(`NIBArchive value ${index} references an invalid key`);
128
153
  ensureRange(cursor.offset, 1, end, `value ${index} type`);
129
154
  const type = bytes[cursor.offset++] ?? -1;
130
- const value = readValue(bytes, cursor, end, type, index);
131
- if (needed.has(index))
132
- output.set(index, { key_index: keyIndex, value });
155
+ if (!needed.has(index)) {
156
+ skipValue(bytes, cursor, end, type, index);
157
+ continue;
158
+ }
159
+ budget.reserve(64, "NIBArchive decoded values exceed the aggregate Interface Builder decode budget");
160
+ const value = readValue(bytes, cursor, end, type, index, budget);
161
+ output.set(index, { key_index: keyIndex, value });
133
162
  }
134
163
  if (cursor.offset > end)
135
164
  throw new TypeError("NIBArchive value table overlaps the next table");
136
165
  return output;
137
166
  };
138
- const readValue = (bytes, cursor, end, type, index) => {
167
+ const readValue = (bytes, cursor, end, type, index, budget) => {
139
168
  switch (type) {
140
169
  case 0:
141
170
  ensureRange(cursor.offset, 1, end, `value ${index}`);
@@ -185,6 +214,7 @@ const readValue = (bytes, cursor, end, type, index) => {
185
214
  case 8: {
186
215
  const length = readVarint(bytes, cursor, end);
187
216
  const next = checkedEnd(cursor.offset, length, end, `value ${index} data`);
217
+ budget.reserve(32 + 4 * Math.ceil(length / 3), `NIBArchive data value ${index} exceeds the aggregate Interface Builder decode budget`);
188
218
  const encoded = bytes.subarray(cursor.offset, next).toString("base64");
189
219
  cursor.offset = next;
190
220
  return { $nib_data_base64: encoded };
@@ -202,6 +232,43 @@ const readValue = (bytes, cursor, end, type, index) => {
202
232
  throw new TypeError(`NIBArchive value ${index} has unsupported type ${type}`);
203
233
  }
204
234
  };
235
+ const skipValue = (bytes, cursor, end, type, index) => {
236
+ switch (type) {
237
+ case 0:
238
+ ensureRange(cursor.offset, 1, end, `value ${index}`);
239
+ cursor.offset += 1;
240
+ return;
241
+ case 1:
242
+ ensureRange(cursor.offset, 2, end, `value ${index}`);
243
+ cursor.offset += 2;
244
+ return;
245
+ case 2:
246
+ case 10:
247
+ ensureRange(cursor.offset, 4, end, `value ${index}`);
248
+ cursor.offset += 4;
249
+ return;
250
+ case 3:
251
+ case 7:
252
+ ensureRange(cursor.offset, 8, end, `value ${index}`);
253
+ cursor.offset += 8;
254
+ return;
255
+ case 6:
256
+ ensureRange(cursor.offset, 4, end, `value ${index}`);
257
+ cursor.offset += 4;
258
+ return;
259
+ case 4:
260
+ case 5:
261
+ case 9:
262
+ return;
263
+ case 8: {
264
+ const length = readVarint(bytes, cursor, end);
265
+ cursor.offset = checkedEnd(cursor.offset, length, end, `value ${index} data`);
266
+ return;
267
+ }
268
+ default:
269
+ throw new TypeError(`NIBArchive value ${index} has unsupported type ${type}`);
270
+ }
271
+ };
205
272
  const valueIndexes = (objects, total) => {
206
273
  const indexes = new Set();
207
274
  for (const object of objects)
@@ -213,8 +280,8 @@ const valueIndexes = (objects, total) => {
213
280
  };
214
281
  const readCount = (bytes, offset, label) => {
215
282
  const count = readU32(bytes, offset);
216
- if (count > MAX_RECORDS)
217
- throw new TypeError(`NIBArchive ${label} count exceeds the decoder bound`);
283
+ if (count > bytes.length)
284
+ throw new TypeError(`NIBArchive ${label} count exceeds the archive length`);
218
285
  return count;
219
286
  };
220
287
  const readOffset = (bytes, offset, fileLength, label) => {
@@ -1,5 +1,5 @@
1
1
  /** Project encoded view parents; archive owners are not inferred view parents. */
2
- export const projectNibViewHierarchy = (objects, retainedIds) => {
2
+ export const projectNibViewHierarchy = (objects, retainedIds, reserveNode = () => true, maxNodes = 20_000) => {
3
3
  const { parents, involved, invalid } = collectNibParents(objects, retainedIds);
4
4
  if (parents.size === 0)
5
5
  return { hierarchy: null, omitted: invalid };
@@ -21,7 +21,10 @@ export const projectNibViewHierarchy = (objects, retainedIds) => {
21
21
  const item = pending.pop();
22
22
  if (item === undefined)
23
23
  break;
24
- if (visited.has(item.id) || item.depth > 128 || visited.size >= 20_000)
24
+ if (visited.has(item.id) ||
25
+ item.depth > 128 ||
26
+ visited.size >= maxNodes ||
27
+ !reserveNode())
25
28
  continue;
26
29
  visited.add(item.id);
27
30
  const node = { objectID: String(item.id), children: [] };
@@ -35,7 +38,7 @@ export const projectNibViewHierarchy = (objects, retainedIds) => {
35
38
  };
36
39
  };
37
40
  /** Add encoded parent links once; conflicting legacy parents remain unknown. */
38
- export const mergeNibHierarchies = (legacy, recovered) => {
41
+ export const mergeNibHierarchies = (legacy, recovered, reserveNode = () => true, maxNodes = 20_000) => {
39
42
  const existing = new Map();
40
43
  const owners = new Map();
41
44
  const parents = new Map();
@@ -70,6 +73,10 @@ export const mergeNibHierarchies = (legacy, recovered) => {
70
73
  break;
71
74
  let target = existing.get(entry.node.objectID);
72
75
  if (target === undefined) {
76
+ if (existing.size >= maxNodes || !reserveNode()) {
77
+ omitted += 1;
78
+ continue;
79
+ }
73
80
  target = { objectID: entry.node.objectID, children: [] };
74
81
  existing.set(target.objectID, target);
75
82
  entry.output.push(target);
@@ -0,0 +1,164 @@
1
+ import { decodeXmlText } from "../../domain/propertyListKeys.js";
2
+ const collector = () => {
3
+ const integers = new Map();
4
+ const reals = new Set();
5
+ let unsafeIntegerLiterals = 0;
6
+ let incompleteMetadata = false;
7
+ return {
8
+ integer: (literal) => {
9
+ if (!/^[+-]?\d+$/u.test(literal)) {
10
+ incompleteMetadata = true;
11
+ return;
12
+ }
13
+ const exact = BigInt(literal);
14
+ if (exact >= BigInt(Number.MIN_SAFE_INTEGER) &&
15
+ exact <= BigInt(Number.MAX_SAFE_INTEGER))
16
+ return;
17
+ unsafeIntegerLiterals += 1;
18
+ const rounded = Number(exact);
19
+ integers.set(rounded, (integers.get(rounded) ?? new Set()).add(exact.toString()));
20
+ },
21
+ real: (value) => {
22
+ reals.add(value);
23
+ },
24
+ markIncomplete: () => {
25
+ incompleteMetadata = true;
26
+ },
27
+ result: (incomplete = false) => ({
28
+ incomplete: incomplete || incompleteMetadata,
29
+ integers,
30
+ reals,
31
+ unsafeIntegerLiterals,
32
+ }),
33
+ };
34
+ };
35
+ // Consume quoted tag attributes and opaque comment/CDATA tokens whole.
36
+ const XML_TOKEN = /<!--[\s\S]*?-->|<!\[CDATA\[[\s\S]*?\]\]>|<(?:[^>"']|"[^"]*"|'[^']*')*>/gu;
37
+ const OPAQUE_ELEMENTS = new Set(["string", "key", "data", "date"]);
38
+ /** Observe plist number element types without interpreting strings or class code. */
39
+ export const xmlPlistNumberLiterals = (xml) => {
40
+ const output = collector();
41
+ const elements = [];
42
+ let number;
43
+ let cursor = 0;
44
+ for (const match of xml.matchAll(XML_TOKEN)) {
45
+ const index = match.index;
46
+ if (number !== undefined)
47
+ number.text += xml.slice(cursor, index);
48
+ const token = match[0];
49
+ cursor = index + token.length;
50
+ if (token.startsWith("<!--") || token.startsWith("<![CDATA[")) {
51
+ if (number !== undefined) {
52
+ number.plainText = false;
53
+ output.markIncomplete();
54
+ }
55
+ continue;
56
+ }
57
+ const tag = /^<\s*(\/?)\s*([\w:-]+)/u.exec(token);
58
+ if (tag === null) {
59
+ if (number !== undefined) {
60
+ number.plainText = false;
61
+ output.markIncomplete();
62
+ }
63
+ continue;
64
+ }
65
+ const closing = tag[1] === "/";
66
+ const name = tag[2];
67
+ if (name === undefined)
68
+ continue;
69
+ if (closing) {
70
+ if (number !== undefined &&
71
+ number.kind === name &&
72
+ number.depth === elements.length) {
73
+ if (number.plainText) {
74
+ const text = decodeXmlText(number.text).trim();
75
+ if (number.kind === "integer")
76
+ output.integer(text);
77
+ else
78
+ output.real(Number.parseFloat(text));
79
+ }
80
+ number = undefined;
81
+ }
82
+ elements.pop();
83
+ continue;
84
+ }
85
+ // The pinned decoder reads only the first child for integers and only text
86
+ // nodes for reals. Mixed content cannot establish an exact association.
87
+ if (number !== undefined) {
88
+ number.plainText = false;
89
+ output.markIncomplete();
90
+ }
91
+ if (/\/\s*>$/u.test(token))
92
+ continue;
93
+ if (number === undefined &&
94
+ (name === "integer" || name === "real") &&
95
+ !elements.some((parent) => OPAQUE_ELEMENTS.has(parent)))
96
+ number = {
97
+ kind: name,
98
+ text: "",
99
+ depth: elements.length + 1,
100
+ plainText: true,
101
+ };
102
+ elements.push(name);
103
+ }
104
+ return output.result();
105
+ };
106
+ /** Observe bounded binary number markers without changing primary decode acceptance. */
107
+ export const binaryPlistNumberLiterals = (bytes) => {
108
+ const output = collector();
109
+ if (bytes.length < 40 ||
110
+ bytes.subarray(0, 8).toString("ascii") !== "bplist00")
111
+ return output.result(true);
112
+ const view = new DataView(bytes.buffer, bytes.byteOffset, bytes.byteLength);
113
+ const trailer = bytes.length - 32;
114
+ const offsetWidth = bytes[trailer + 6] ?? 0;
115
+ if (![1, 2, 4, 8].includes(offsetWidth))
116
+ return output.result(true);
117
+ const countRaw = view.getBigUint64(trailer + 8);
118
+ const tableRaw = view.getBigUint64(trailer + 24);
119
+ const safeMaximum = BigInt(Number.MAX_SAFE_INTEGER);
120
+ if (countRaw === 0n || countRaw > safeMaximum || tableRaw > safeMaximum)
121
+ return output.result(true);
122
+ if (tableRaw < 8n || tableRaw >= BigInt(trailer))
123
+ return output.result(true);
124
+ const offsetTable = Number(tableRaw);
125
+ const capacity = Math.floor((trailer - offsetTable) / offsetWidth);
126
+ if (countRaw > BigInt(capacity))
127
+ return output.result(true);
128
+ const count = Number(countRaw);
129
+ const unsigned = (offset) => {
130
+ if (offset < offsetTable || offset + offsetWidth > trailer)
131
+ return undefined;
132
+ if (offsetWidth === 1)
133
+ return view.getUint8(offset);
134
+ if (offsetWidth === 2)
135
+ return view.getUint16(offset);
136
+ if (offsetWidth === 4)
137
+ return view.getUint32(offset);
138
+ const value = view.getBigUint64(offset);
139
+ return value > safeMaximum ? undefined : Number(value);
140
+ };
141
+ for (let index = 0; index < count; index += 1) {
142
+ const offset = unsigned(offsetTable + index * offsetWidth);
143
+ if (offset === undefined || offset < 8 || offset >= offsetTable)
144
+ return output.result(true);
145
+ const marker = bytes[offset] ?? 0;
146
+ const type = marker >> 4;
147
+ if (type !== 1 && type !== 2)
148
+ continue;
149
+ const width = 2 ** (marker & 0xf);
150
+ if (offset + 1 + width > offsetTable)
151
+ return output.result(true);
152
+ if (type === 1 && width === 8)
153
+ output.integer(view.getBigInt64(offset + 1).toString());
154
+ else if (type === 1 && width > 4)
155
+ return output.result(true);
156
+ else if (type === 2 && width === 4)
157
+ output.real(view.getFloat32(offset + 1));
158
+ else if (type === 2 && width === 8)
159
+ output.real(view.getFloat64(offset + 1));
160
+ else if (type === 2)
161
+ return output.result(true);
162
+ }
163
+ return output.result();
164
+ };
@@ -1,19 +1,26 @@
1
1
  import { lstat, realpath } from "node:fs/promises";
2
+ import { compareCodePoints } from "../../domain/canonicalOrdering.js";
2
3
  import { canonicalDigest } from "../../domain/comparisonSemantics.js";
3
4
  import { AsarArtifactReader } from "../AsarArtifactReader.js";
4
5
  import { ArtifactPathRegistry, normalizeArtifactPath, } from "../ArtifactPaths.js";
5
6
  import { ArtifactReaderFailure, } from "../ArtifactReader.js";
7
+ import { abortIfNeeded } from "../ArtifactHash.js";
6
8
  import { DirectoryArtifactReader } from "../DirectoryArtifactReader.js";
7
9
  import { SafeOutputTree } from "../SafeOutputTree.js";
8
10
  import { ZipArtifactReader } from "../ZipArtifactReader.js";
9
11
  import { MachOSliceArtifactReader } from "../MachOSliceArtifactReader.js";
10
12
  import { artifactExtractionResultSchema, } from "../../domain/artifactGraph.js";
13
+ import { AnalysisUnsupportedTargetError } from "../../domain/analysisErrorCore.js";
11
14
  import { scanArtifactInventory } from "../inventory/ArtifactInventory.js";
12
15
  /** Extract every regular inventory occurrence into an exclusively owned absent root. */
13
16
  export const extractArtifact = async (input, signal) => {
17
+ // Cancellation wins over every later refusal, including unsupported formats.
18
+ abortIfNeeded(signal);
14
19
  const sourcePath = await realpath(input.inputPath);
20
+ await requireExtractableFormat(sourcePath, input);
15
21
  const snapshot = await scanArtifactInventory(sourcePath, {
16
22
  signal,
23
+ environment: input.environment,
17
24
  });
18
25
  const selectedOccurrences = snapshot.occurrences.filter((occurrence) => (occurrence.entry_kind === "file" || occurrence.entry_kind === "slice") &&
19
26
  occurrence.logical_path !== ".");
@@ -29,11 +36,14 @@ export const extractArtifact = async (input, signal) => {
29
36
  nodes,
30
37
  };
31
38
  const selected = selectedOccurrences.map((occurrence) => {
39
+ // REA never decrypts archive entries, so an encrypted entry makes the
40
+ // complete extraction unsupported rather than the archive invalid.
41
+ if (occurrence.encrypted)
42
+ throw new AnalysisUnsupportedTargetError("extract_artifact", input.inputPath, `Archive entry ${occurrence.logical_path} is encrypted; REA does not decrypt archive entries, so the archive cannot be extracted completely`);
32
43
  if ((occurrence.entry_kind !== "file" && occurrence.entry_kind !== "slice") ||
33
44
  occurrence.artifact_id === null ||
34
- occurrence.encrypted ||
35
45
  occurrence.logical_path === ".")
36
- throw new ArtifactReaderFailure("format", `Selected occurrence is not an extractable regular child file: ${occurrence.occurrence_id}`);
46
+ throw new ArtifactReaderFailure("format", `Selected occurrence is not an extractable regular child file: ${occurrence.logical_path} (${occurrence.occurrence_id})`);
37
47
  const node = inventory.nodes.get(occurrence.artifact_id);
38
48
  if (node === undefined)
39
49
  throw new ArtifactReaderFailure("integrity", `Selected occurrence has no inventory node: ${occurrence.occurrence_id}`);
@@ -49,11 +59,13 @@ export const extractArtifact = async (input, signal) => {
49
59
  };
50
60
  const materializeSelection = async ({ input, sourcePath, inventory, selected, signal, }) => {
51
61
  const byPath = new Map(selected.map((item) => [item.occurrence.logical_path, item]));
52
- const reader = await createReader(sourcePath, input.inputFormat);
53
- const output = await SafeOutputTree.create(input.outputRoot);
62
+ const reader = await createReader(sourcePath, input);
63
+ let output;
64
+ let readerCloseAttempted = false;
54
65
  let readerClosed = false;
55
66
  const extracted = [];
56
67
  try {
68
+ output = await SafeOutputTree.create(input.outputRoot);
57
69
  const materialized = [];
58
70
  const registry = new ArtifactPathRegistry();
59
71
  for await (const entry of reader.entries(signal)) {
@@ -77,20 +89,53 @@ const materializeSelection = async ({ input, sourcePath, inventory, selected, si
77
89
  });
78
90
  materialized.push(selectedItem);
79
91
  }
92
+ readerCloseAttempted = true;
80
93
  await reader.close();
81
94
  readerClosed = true;
82
- extracted.sort((left, right) => left.relative_path.localeCompare(right.relative_path, "en"));
95
+ extracted.sort((left, right) => compareCodePoints(left.relative_path, right.relative_path));
83
96
  const result = createExtractionResult(input, inventory, materialized, extracted);
84
97
  await output.commit();
85
98
  return result;
86
99
  }
87
100
  catch (cause) {
88
- if (!readerClosed)
89
- await reader.close().catch((cause) => {
90
- // best-effort cleanup: reader close must not mask the extraction failure.
91
- void cause;
101
+ const cleanupFailures = [];
102
+ if (readerCloseAttempted && !readerClosed)
103
+ cleanupFailures.push({
104
+ cause,
105
+ resource: `artifact reader for ${sourcePath}`,
92
106
  });
93
- await output.rollback();
107
+ if (!readerCloseAttempted) {
108
+ try {
109
+ readerCloseAttempted = true;
110
+ await reader.close();
111
+ }
112
+ catch (cleanupCause) {
113
+ cleanupFailures.push({
114
+ cause: cleanupCause,
115
+ resource: `artifact reader for ${sourcePath}`,
116
+ });
117
+ }
118
+ }
119
+ if (output !== undefined) {
120
+ try {
121
+ await output.rollback();
122
+ }
123
+ catch (cleanupCause) {
124
+ cleanupFailures.push({
125
+ cause: cleanupCause,
126
+ resource: input.outputRoot,
127
+ });
128
+ }
129
+ }
130
+ if (cleanupFailures.length > 0) {
131
+ const observations = cleanupFailures.map(({ cause: cleanupCause, resource }) => ArtifactReaderFailure.cleanupObservation(cleanupCause, resource));
132
+ throw ArtifactReaderFailure.withCleanup(cause, {
133
+ reason: observations.map(({ reason }) => reason).join("; "),
134
+ resources: [
135
+ ...new Set(observations.flatMap(({ resources }) => resources)),
136
+ ],
137
+ });
138
+ }
94
139
  throw cause;
95
140
  }
96
141
  };
@@ -99,7 +144,7 @@ const createExtractionResult = (input, inventory, selected, extracted) => {
99
144
  source_manifest_id: inventory.manifest.manifest_id,
100
145
  selected_occurrence_ids: selected
101
146
  .map(({ occurrence }) => occurrence.occurrence_id)
102
- .sort((left, right) => left.localeCompare(right)),
147
+ .sort(compareCodePoints),
103
148
  files_sha256: canonicalDigest(extracted, "Artifact"),
104
149
  output_root_alias: "$OUTPUT_ROOT",
105
150
  };
@@ -133,20 +178,32 @@ const collectNodes = (items, selected, output) => {
133
178
  if (selected.has(item.artifact_id))
134
179
  output.set(item.artifact_id, item);
135
180
  };
136
- const createReader = async (path, format) => {
137
- if ((await lstat(path)).isDirectory())
181
+ const ZIP_FORMATS = ["ipa", "apk", "msix", "appx", "zip"];
182
+ const isZipFormat = (format) => ZIP_FORMATS.includes(format);
183
+ /**
184
+ * Refuse a format without an extraction reader before inventory work starts.
185
+ * The target kind, not the host, is unsupported by extraction. The error keeps
186
+ * the caller's spelling of the path; I/O uses the canonical path.
187
+ */
188
+ const requireExtractableFormat = async (path, input) => {
189
+ const format = input.inputFormat;
190
+ const directory = (await lstat(path)).isDirectory();
191
+ if (!directory &&
192
+ format !== "asar" &&
193
+ format !== "mach-o" &&
194
+ !isZipFormat(format))
195
+ throw new AnalysisUnsupportedTargetError("extract_artifact", input.inputPath, `Artifact format has no extraction reader: ${format}`);
196
+ return directory;
197
+ };
198
+ const createReader = async (path, input) => {
199
+ const format = input.inputFormat;
200
+ if (await requireExtractableFormat(path, input))
138
201
  return new DirectoryArtifactReader(path);
139
202
  if (format === "asar")
140
203
  return new AsarArtifactReader(path);
141
- if (format === "ipa" ||
142
- format === "apk" ||
143
- format === "msix" ||
144
- format === "appx" ||
145
- format === "zip")
204
+ if (isZipFormat(format))
146
205
  return new ZipArtifactReader(path, format);
147
- if (format === "mach-o")
148
- return new MachOSliceArtifactReader(path);
149
- throw new ArtifactReaderFailure("unavailable", `Artifact format has no extraction reader: ${format}`);
206
+ return new MachOSliceArtifactReader(path, input.environment);
150
207
  };
151
208
  const preflight = (entry) => {
152
209
  if ((entry.kind !== "file" && entry.kind !== "slice") || entry.encrypted)