@coana-tech/cli 14.12.105 → 14.12.107

package/reachability-analyzers-cli.mjs

@@ -95651,17 +95651,15 @@ var DotnetCodeAwareVulnerabilityScanner = class _DotnetCodeAwareVulnerabilitySca
   apps;
   deps;
   depIdToPurl;
-  timeoutInSeconds;
   statusUpdater;
   name = "COCOA";
-  constructor(apps, deps, depIdToPurl, timeoutInSeconds, statusUpdater) {
+  constructor(apps, deps, depIdToPurl, statusUpdater) {
     this.apps = apps;
     this.deps = deps;
     this.depIdToPurl = depIdToPurl;
-    this.timeoutInSeconds = timeoutInSeconds;
     this.statusUpdater = statusUpdater;
   }
-  static initFromDependencyTree(dependencyTree, timeoutInSeconds, statusUpdater) {
+  static initFromDependencyTree(dependencyTree, statusUpdater) {
     const apps = {
       "<app>": {
         src: dependencyTree.src,
@@ -95677,9 +95675,9 @@ var DotnetCodeAwareVulnerabilityScanner = class _DotnetCodeAwareVulnerabilitySca
         bin: dep.bin
       };
     }
-    return new _DotnetCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, timeoutInSeconds, statusUpdater);
+    return new _DotnetCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, statusUpdater);
   }
-  static async initFromSocketArtifacts(subprojectDir, manifestFiles, artifacts, tmpDir, timeoutInSeconds, statusUpdater) {
+  static async initFromSocketArtifacts(subprojectDir, manifestFiles, artifacts, tmpDir, statusUpdater) {
     const projMatcher = (0, import_picomatch.default)("*.*proj", { basename: true });
     const src = await asyncFlatMap(manifestFiles.filter((f2) => projMatcher(f2)), async (projFile) => {
       const project = await loadNuGetProject(subprojectDir, projFile);
@@ -95691,7 +95689,7 @@ var DotnetCodeAwareVulnerabilityScanner = class _DotnetCodeAwareVulnerabilitySca
       }
     };
     const { deps, depIdToPurl } = await convertSocketArtifacts(artifacts, tmpDir);
-    return new _DotnetCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, timeoutInSeconds, statusUpdater);
+    return new _DotnetCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, statusUpdater);
   }
   static async runOnAlreadyDownloadedPackages([appPath, ...depPaths], vulnerability, options) {
     const apps = {
@@ -95708,8 +95706,8 @@ var DotnetCodeAwareVulnerabilityScanner = class _DotnetCodeAwareVulnerabilitySca
         bin: await isDirectory(depPath) ? await getFiles(depPath) : [depPath]
       };
     }
-    const scanner = new _DotnetCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, options.timeoutInSeconds);
-    const result = await scanner.runAnalysis([vulnerability], CocoaHeuristics.ALL_PACKAGES, false);
+    const scanner = new _DotnetCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl);
+    const result = await scanner.runAnalysis([vulnerability], CocoaHeuristics.ALL_PACKAGES, options.timeoutSeconds.allVulnRuns);
     if (result.type === "error")
       return { error: result.message, terminatedEarly: true };
     return {
@@ -95737,8 +95735,8 @@ var DotnetCodeAwareVulnerabilityScanner = class _DotnetCodeAwareVulnerabilitySca
             bin: dep.bin
           };
         });
-        const scanner = new _DotnetCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, timeoutInSeconds, statusUpdater);
-        const result = await scanner.actuallyRunAnalysis(vulnerability.vulnerabilityAccessPaths);
+        const scanner = new _DotnetCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, statusUpdater);
+        const result = await scanner.actuallyRunAnalysis(vulnerability.vulnerabilityAccessPaths, timeoutInSeconds);
         if (result.type === "error")
           return { error: result.message, terminatedEarly: false };
         return {
@@ -95750,7 +95748,7 @@ var DotnetCodeAwareVulnerabilityScanner = class _DotnetCodeAwareVulnerabilitySca
       }
     });
   }
-  async runPhantomDependencyAnalysis() {
+  async runPhantomDependencyAnalysis(timeoutInSeconds) {
     return withTmpDirectory("dotnet-direct-dependency-analysis", async (tmpDir) => {
       try {
         await ensureDotnet6OrAbove();
@@ -95760,12 +95758,12 @@ var DotnetCodeAwareVulnerabilityScanner = class _DotnetCodeAwareVulnerabilitySca
       const options = {
         apps: this.apps,
         deps: this.deps,
-        timeoutInSeconds: this.timeoutInSeconds
+        timeoutInSeconds
       };
       const inputFile = resolve10(tmpDir, "input.json");
       const outputFile = resolve10(tmpDir, "output.json");
       await writeFile4(inputFile, JSON.stringify(options));
-      const timeoutMs = this.timeoutInSeconds ? Math.max(this.timeoutInSeconds * 1.5, this.timeoutInSeconds + 30) * 1e3 : 750 * 1e3;
+      const timeoutMs = Math.max(timeoutInSeconds * 1.5, timeoutInSeconds + 30) * 1e3;
       const result = await execNeverFail2(cmdt`${await getNodeExecutable(ToolPathResolver.nodeExecutablePath)} ${getClassGraphAnalysisCliPath()} runDotnetDirectDependencyAnalysis -i ${inputFile} -o ${outputFile} --cocoa ${getCocoaPath()} --tree-sitter-c-sharp ${getTreeSitterCSharpPath()}`, void 0, { timeout: timeoutMs });
       if (result.error)
         return void 0;
@@ -95773,7 +95771,7 @@ var DotnetCodeAwareVulnerabilityScanner = class _DotnetCodeAwareVulnerabilitySca
       return packageIds?.map((packageId) => this.depIdToPurl.get(packageId)).filter((purl) => purl !== void 0).map((purl) => purl.name ?? "");
     });
   }
-  async runAnalysis(vulnerabilities, heuristic, _analyzesAllVulns, _experiment) {
+  async runAnalysis(vulnerabilities, heuristic, timeoutInSeconds, _experiment) {
     try {
       this.statusUpdater?.("Preparing code for analysis...");
       const packagesToAnalyze = heuristic.getPackagesToAnalyze(vulnerabilities);
@@ -95782,12 +95780,12 @@ var DotnetCodeAwareVulnerabilityScanner = class _DotnetCodeAwareVulnerabilitySca
         const purl = this.depIdToPurl.get(packageId);
         return purl?.name && packagesToAnalyzeSet.has(purl.name);
       }));
-      return await this.actuallyRunAnalysis(vulnerabilities.flatMap((v) => v.vulnerabilityAccessPaths), filteredDeps);
+      return await this.actuallyRunAnalysis(vulnerabilities.flatMap((v) => v.vulnerabilityAccessPaths), timeoutInSeconds, filteredDeps);
     } catch (e) {
       return { type: "error", message: e.message };
     }
   }
-  async actuallyRunAnalysis(vulnerabilityAccessPaths, filteredDeps) {
+  async actuallyRunAnalysis(vulnerabilityAccessPaths, timeoutInSeconds, filteredDeps) {
     this.statusUpdater?.("Running analysis...");
     return withTmpDirectory("dotnet-run-analysis", async (tmpDir) => {
       try {
@@ -95799,12 +95797,12 @@ var DotnetCodeAwareVulnerabilityScanner = class _DotnetCodeAwareVulnerabilitySca
         apps: this.apps,
         deps: filteredDeps ?? this.deps,
         vulnerableClasses: uniq2(vulnerabilityAccessPaths?.map((vulnFunction) => vulnFunction.slice(1).split(":")[0])),
-        timeoutInSeconds: this.timeoutInSeconds
+        timeoutInSeconds
       };
       const inputFile = resolve10(tmpDir, "input.json");
       const outputFile = resolve10(tmpDir, "output.json");
       await writeFile4(inputFile, JSON.stringify(options));
-      const timeoutMs = this.timeoutInSeconds ? Math.max(this.timeoutInSeconds * 1.5, this.timeoutInSeconds + 30) * 1e3 : 750 * 1e3;
+      const timeoutMs = Math.max(timeoutInSeconds * 1.5, timeoutInSeconds + 30) * 1e3;
       const result = await execNeverFail2(cmdt`${await getNodeExecutable(ToolPathResolver.nodeExecutablePath)} ${getClassGraphAnalysisCliPath()} runDotnetReachabilityAnalysis -i ${inputFile} -o ${outputFile} --cocoa ${getCocoaPath()} --tree-sitter-c-sharp ${getTreeSitterCSharpPath()}`, void 0, { timeout: timeoutMs });
       if (result.error)
         return { type: "error", message: result.error.message ?? "unknown error" };
@@ -109628,17 +109626,15 @@ var JavaCodeAwareVulnerabilityScanner = class _JavaCodeAwareVulnerabilityScanner
   apps;
   deps;
   depIdToPurl;
-  timeoutInSeconds;
   statusUpdater;
   name = "ALUCARD";
-  constructor(apps, deps, depIdToPurl, timeoutInSeconds, statusUpdater) {
+  constructor(apps, deps, depIdToPurl, statusUpdater) {
     this.apps = apps;
     this.deps = deps;
     this.depIdToPurl = depIdToPurl;
-    this.timeoutInSeconds = timeoutInSeconds;
     this.statusUpdater = statusUpdater;
   }
-  static async initFromDependencyTree(dependencyTree, tmpDir, timeoutInSeconds, statusUpdater) {
+  static async initFromDependencyTree(dependencyTree, tmpDir, statusUpdater) {
     const apps = {
       "<app>": {
         src: dependencyTree.src
@@ -109655,9 +109651,9 @@ var JavaCodeAwareVulnerabilityScanner = class _JavaCodeAwareVulnerabilityScanner
       };
     }
     await extractArchivesIfNeeded(tmpDir, apps, deps);
-    return new _JavaCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, timeoutInSeconds, statusUpdater);
+    return new _JavaCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, statusUpdater);
   }
-  static async initFromSocketArtifacts(subprojectDir, artifacts, tmpDir, timeoutInSeconds, statusUpdater) {
+  static async initFromSocketArtifacts(subprojectDir, artifacts, tmpDir, statusUpdater) {
     const apps = {
       "<app>": {
         src: [subprojectDir]
@@ -109665,7 +109661,7 @@ var JavaCodeAwareVulnerabilityScanner = class _JavaCodeAwareVulnerabilityScanner
     };
     const { deps, depIdToPurl } = await convertSocketArtifacts2(subprojectDir, artifacts, tmpDir);
     await extractArchivesIfNeeded(tmpDir, apps, deps);
-    return new _JavaCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, timeoutInSeconds, statusUpdater);
+    return new _JavaCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, statusUpdater);
   }
   static async runOnAlreadyDownloadedPackages([appPath, ...depPaths], vulnerability, options) {
     return withTmpDirectory("java-run-on-dependency-chain", async (tmpDir) => {
@@ -109683,8 +109679,8 @@ var JavaCodeAwareVulnerabilityScanner = class _JavaCodeAwareVulnerabilityScanner
         };
       }
       await extractArchivesIfNeeded(tmpDir, apps, deps);
-      const scanner = new _JavaCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, options.timeoutInSeconds);
-      const result = await scanner.runAnalysis([vulnerability], AlucardHeuristics.ALL_PACKAGES, false);
+      const scanner = new _JavaCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl);
+      const result = await scanner.runAnalysis([vulnerability], AlucardHeuristics.ALL_PACKAGES, options.timeoutSeconds.allVulnRuns);
       if (result.type === "error")
         return { error: result.message, terminatedEarly: true };
       return {
@@ -109715,8 +109711,8 @@ var JavaCodeAwareVulnerabilityScanner = class _JavaCodeAwareVulnerabilityScanner
           };
         });
         await extractArchivesIfNeeded(tmpDir, apps, deps);
-        const scanner = new _JavaCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, timeoutInSeconds, statusUpdater);
-        const result = await scanner.actuallyRunAnalysis(vulnerability.vulnerabilityAccessPaths);
+        const scanner = new _JavaCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, statusUpdater);
+        const result = await scanner.actuallyRunAnalysis(vulnerability.vulnerabilityAccessPaths, timeoutInSeconds);
         if (result.type === "error")
           return { error: result.message, terminatedEarly: false };
         return {
@@ -109728,7 +109724,7 @@ var JavaCodeAwareVulnerabilityScanner = class _JavaCodeAwareVulnerabilityScanner
       }
     });
   }
-  async runPhantomDependencyAnalysis() {
+  async runPhantomDependencyAnalysis(timeoutInSeconds) {
     return withTmpDirectory("java-direct-dependency-analysis", async (tmpDir) => {
       try {
         await ensureJdk8OrAbove();
@@ -109738,12 +109734,12 @@ var JavaCodeAwareVulnerabilityScanner = class _JavaCodeAwareVulnerabilityScanner
       const options = {
         apps: this.apps,
         deps: this.deps,
-        timeoutInSeconds: this.timeoutInSeconds
+        timeoutInSeconds
       };
       const inputFile = resolve11(tmpDir, "input.json");
       const outputFile = resolve11(tmpDir, "output.json");
       await writeFile5(inputFile, JSON.stringify(options));
-      const timeoutMs = this.timeoutInSeconds ? Math.max(this.timeoutInSeconds * 1.5, this.timeoutInSeconds + 30) * 1e3 : 750 * 1e3;
+      const timeoutMs = Math.max(timeoutInSeconds * 1.5, timeoutInSeconds + 30) * 1e3;
       const result = await execNeverFail2(cmdt`${await getNodeExecutable(ToolPathResolver.nodeExecutablePath)} ${getClassGraphAnalysisCliPath()} runJvmDirectDependencyAnalysis -i ${inputFile} -o ${outputFile} --javap-service ${getJavapServicePath()} --tree-sitter-java ${getTreeSitterJavaPath()} --tree-sitter-kotlin ${getTreeSitterKotlinPath()} --tree-sitter-scala ${getTreeSitterScalaPath()}`, void 0, { timeout: timeoutMs });
       if (result.error)
         return void 0;
@@ -109751,7 +109747,7 @@ var JavaCodeAwareVulnerabilityScanner = class _JavaCodeAwareVulnerabilityScanner
       return packageIds?.map((packageId) => this.depIdToPurl.get(packageId)).filter((purl) => purl !== void 0).map((purl) => `${purl.namespace}:${purl.name}}`);
     });
   }
-  async runAnalysis(vulnerabilities, heuristic, _analyzesAllVulns, _experiment) {
+  async runAnalysis(vulnerabilities, heuristic, timeoutInSeconds, _experiment) {
     try {
       this.statusUpdater?.("Preparing code for analysis...");
       const packagesToAnalyze = heuristic.getPackagesToAnalyze(vulnerabilities);
@@ -109760,12 +109756,12 @@ var JavaCodeAwareVulnerabilityScanner = class _JavaCodeAwareVulnerabilityScanner
         const purl = this.depIdToPurl.get(packageId);
         return purl && packagesToAnalyzeSet.has(`${purl.namespace}:${purl.name}}`);
       }));
-      return await this.actuallyRunAnalysis(vulnerabilities.flatMap((v) => v.vulnerabilityAccessPaths), filteredDeps);
+      return await this.actuallyRunAnalysis(vulnerabilities.flatMap((v) => v.vulnerabilityAccessPaths), timeoutInSeconds, filteredDeps);
     } catch (e) {
       return { type: "error", message: e.message };
     }
   }
-  async actuallyRunAnalysis(vulnerabilityAccessPaths, filteredDeps) {
+  async actuallyRunAnalysis(vulnerabilityAccessPaths, timeoutInSeconds, filteredDeps) {
     this.statusUpdater?.("Running analysis...");
     return withTmpDirectory("java-run-analysis", async (tmpDir) => {
       try {
@@ -109777,12 +109773,12 @@ var JavaCodeAwareVulnerabilityScanner = class _JavaCodeAwareVulnerabilityScanner
         apps: this.apps,
         deps: filteredDeps ?? this.deps,
         vulnerableClasses: uniq3(vulnerabilityAccessPaths?.map((vulnFunction) => vulnFunction.slice(1).split(":")[0])),
-        timeoutInSeconds: this.timeoutInSeconds
+        timeoutInSeconds
       };
       const inputFile = resolve11(tmpDir, "input.json");
       const outputFile = resolve11(tmpDir, "output.json");
       await writeFile5(inputFile, JSON.stringify(options));
-      const timeoutMs = this.timeoutInSeconds ? Math.max(this.timeoutInSeconds * 1.5, this.timeoutInSeconds + 30) * 1e3 : 750 * 1e3;
+      const timeoutMs = Math.max(timeoutInSeconds * 1.5, timeoutInSeconds + 30) * 1e3;
       const result = await execNeverFail2(cmdt`${await getNodeExecutable(ToolPathResolver.nodeExecutablePath)} ${getClassGraphAnalysisCliPath()} runJvmReachabilityAnalysis -i ${inputFile} -o ${outputFile} --javap-service ${getJavapServicePath()} --tree-sitter-java ${getTreeSitterJavaPath()} --tree-sitter-kotlin ${getTreeSitterKotlinPath()} --tree-sitter-scala ${getTreeSitterScalaPath()}`, void 0, { timeout: timeoutMs });
       if (result.error)
         return { type: "error", message: result.error.message ?? "unknown error" };
@@ -110442,7 +110438,7 @@ import { readFile as readFile8, rm as rm2, writeFile as writeFile6 } from "fs/pr
 import { relative as relative6, resolve as resolve14 } from "path";
 var { map: map2, uniq: uniq4 } = import_lodash10.default;
 var PRINT_JELLY_COMMAND = false;
-async function runJellyAnalysis(mainProjectRoot, projectRoot, jellyOptions, reachabilityAnalysisOptions, vulnerabilities, experiment) {
+async function runJellyAnalysis(mainProjectRoot, projectRoot, jellyOptions, reachabilityAnalysisOptions, timeoutInSeconds, vulnerabilities, experiment) {
   const tmpFolder = await createTmpDirectory("jelly-analysis");
   try {
     const filesToAnalyze = reachabilityAnalysisOptions.entryPoints ? reachabilityAnalysisOptions.entryPoints : [projectRoot];
@@ -110468,7 +110464,7 @@ async function runJellyAnalysis(mainProjectRoot, projectRoot, jellyOptions, reac
       ${await getNodeExecutable(ToolPathResolver.nodeExecutablePath)} --max-old-space-size=${reachabilityAnalysisOptions.memoryLimitInMB ?? 8192}
         ${jellyExecutable}
         --basedir ${mainProjectRoot}
-        --timeout ${reachabilityAnalysisOptions.timeoutInSeconds ?? 60}
+        --timeout ${timeoutInSeconds}
         --vulnerabilities ${vulnerabilitiesFile}
         --reachable-json ${affectedPackagesFile}
         ${excludeEntries && ["--exclude-entries", ...excludeEntries]}
@@ -110487,7 +110483,7 @@ async function runJellyAnalysis(mainProjectRoot, projectRoot, jellyOptions, reac
       void 0,
       // If it is an experimental run, make sure to crash the process if Jelly takes more than 50% longer than the timeout.
       // This is done to mitigate the scenario where the Jelly process gets close to the memory limit and thus ends up spending most of its time on garbage collection, which can increase the time between timeout checks dramatically.
-      experiment && reachabilityAnalysisOptions.timeoutInSeconds ? { timeout: reachabilityAnalysisOptions.timeoutInSeconds * 1e3 * 1.5 } : void 0
+      experiment ? { timeout: timeoutInSeconds * 1e3 * 1.5 } : void 0
     );
     if (reachabilityAnalysisOptions.printLogFile)
       logger.info("JS analysis log file:", await readFile8(logFile, "utf-8"));
@@ -110526,7 +110522,7 @@ async function runJellyPhantomDependencyAnalysis(projectRoot, options) {
     const jellyCmd = cmdt`${await getNodeExecutable(ToolPathResolver.nodeExecutablePath)} --max-old-space-size=${options.memoryLimitInMB}
       ${jellyExecutable} --basedir ${projectRoot} --modules-only --ignore-dependencies
         --reachable-json ${reachablePackagesFile} ${projectRoot}`;
-    await runCommandResolveStdOut2(jellyCmd);
+    await runCommandResolveStdOut2(jellyCmd, void 0, { timeout: options.timeoutSeconds.allVulnRuns * 1e3 });
     return JSON.parse(await readFile8(reachablePackagesFile, "utf-8")).packages;
   } finally {
     await rm2(tmpFolder, { recursive: true });
@@ -110540,7 +110536,7 @@ async function runJellyImportReachabilityAnalysis(baseDir, projectDir, options)
     const jellyCmd = cmdt`${await getNodeExecutable(ToolPathResolver.nodeExecutablePath)} --max-old-space-size=${options.memoryLimitInMB}
       ${jellyExecutable} --basedir ${baseDir} --modules-only
         --reachable-json ${reachableModulesFile} ${projectDir}`;
-    await runCommandResolveStdOut2(jellyCmd);
+    await runCommandResolveStdOut2(jellyCmd, void 0, { timeout: options.timeoutSeconds.allVulnRuns * 1e3 });
     return JSON.parse(await readFile8(reachableModulesFile, "utf-8"));
   } finally {
     await rm2(tmpFolder, { recursive: true });
@@ -110571,7 +110567,7 @@ var JSCodeAwareVulnerabilityScanner = class _JSCodeAwareVulnerabilityScanner {
   numberAnalysesRun = 0;
   packagesExcludedUnrelatedToHeuristic = [];
   socketMode = false;
-  constructor(mainProjectDir, projectDir, options = {}) {
+  constructor(mainProjectDir, projectDir, options) {
     this.mainProjectDir = mainProjectDir;
     this.projectDir = projectDir;
     this.options = options;
@@ -110587,15 +110583,11 @@ var JSCodeAwareVulnerabilityScanner = class _JSCodeAwareVulnerabilityScanner {
     const { failedPackages } = await prepareNpmDependencies(state.rootWorkingDir, this.projectDir, state.workspaceData.type === "coana" ? state.workspaceData.data.dependencyTree.transitiveDependencies : Object.fromEntries(state.workspaceData.data.artifacts.map((d) => [d.id, d])), state.workspaceData.type === "coana" ? state.workspaceData.data.dependencyTree.dependencies ?? [] : state.workspaceData.data.artifacts.filter((a2) => a2.direct).map((a2) => a2.id), packagesToInstall);
     this.packagesExcludedUnrelatedToHeuristic = failedPackages.map((p) => getPackageName(p));
   }
-  async runAnalysis(vulnerabilities, heuristic, analyzesAllVulns, experiment) {
+  async runAnalysis(vulnerabilities, heuristic, timeoutInSeconds, experiment) {
     const analysisOptionsFromHeuristic = heuristic.getOptions(vulnerabilities);
-    const timeoutInSeconds = analyzesAllVulns ? this.options.timeoutInSeconds ?? 600 : 60;
     try {
       analysisOptionsFromHeuristic.approx = process.env.JELLY_APPROX === "true" || experiment === "JELLY_APPROX";
-      const analysisRes = await runJellyAnalysis(this.mainProjectDir, this.projectDir, analysisOptionsFromHeuristic, {
-        ...this.options,
-        timeoutInSeconds
-      }, vulnerabilities, experiment);
+      const analysisRes = await runJellyAnalysis(this.mainProjectDir, this.projectDir, analysisOptionsFromHeuristic, this.options, timeoutInSeconds, vulnerabilities, experiment);
       const { analysisDiagnostics: diagnostics, matches } = analysisRes;
       return {
         type: "success",
@@ -110659,7 +110651,7 @@ var JSCodeAwareVulnerabilityScanner = class _JSCodeAwareVulnerabilityScanner {
       const projectDir = join14(tmpDir, "node_modules", firstPackageName);
       const scanner = new _JSCodeAwareVulnerabilityScanner(projectDir, projectDir, reachabilityAnalysisOptions);
       logger.info(`Started analysis of ${projectDir}`);
-      const result = await scanner.runAnalysis([vulnerability], heuristics.createIncludePackagesHeuristic(otherPackageNames, baseHeuristic.getOptions([vulnerability])), true);
+      const result = await scanner.runAnalysis([vulnerability], heuristics.createIncludePackagesHeuristic(otherPackageNames, baseHeuristic.getOptions([vulnerability])), reachabilityAnalysisOptions.timeoutSeconds.allVulnRuns);
       if (result.type === "error") {
         return {
           error: result.message,
@@ -110683,7 +110675,7 @@ var JSCodeAwareVulnerabilityScanner = class _JSCodeAwareVulnerabilityScanner {
     const restWithoutLast = rest.slice(0, -1);
     const projectDir = join14(tmpDir, "node_modules", first2.packageName);
     const scanner = new _JSCodeAwareVulnerabilityScanner(tmpDir, projectDir, reachabilityAnalysisOptions);
-    const result = await scanner.runAnalysis([vulnerability], heuristics.createIncludePackagesHeuristic(restWithoutLast.map((p) => p.packageName), baseHeuristic.getOptions([vulnerability])), true);
+    const result = await scanner.runAnalysis([vulnerability], heuristics.createIncludePackagesHeuristic(restWithoutLast.map((p) => p.packageName), baseHeuristic.getOptions([vulnerability])), reachabilityAnalysisOptions.timeoutSeconds.allVulnRuns);
     await rm3(tmpDir, { recursive: true, force: true });
     if (result.type === "error") {
       return {
@@ -110774,11 +110766,11 @@ var GoCodeAwareVulnerabilityScanner = class {
     this.projectDir = projectDir;
     this.options = options;
   }
-  async runAnalysis(vulns, heuristic, analyzesAllVulns) {
+  async runAnalysis(vulns, heuristic, timeoutInSeconds) {
     logger.info("Started instantiating Go code-aware analysis");
     if (!existsSync10(join15(this.projectDir, "go.mod")))
       throw new Error("go.mod file not found in the project directory");
-    const { timeoutInSeconds, memoryLimitInMB } = this.options;
+    const { memoryLimitInMB } = this.options;
     const tmpDir = await createTmpDirectory("goana-output");
     const vulnsOutputFile = join15(tmpDir, "vulns.json");
     const diagnosticsOutputFile = join15(tmpDir, "diagnostics.json");
@@ -110795,7 +110787,7 @@ var GoCodeAwareVulnerabilityScanner = class {
           -output-reached-modules ${reachedModulesOutputFile}
           -topk=4 ${heuristic.includeTests && "-tests"}
           ${this.projectDir} ${vulnAccPaths}`, void 0, {
-        timeout: timeoutInSeconds ? timeoutInSeconds * 1e3 : analyzesAllVulns ? 600 * 1e3 : 60 * 1e3,
+        timeout: timeoutInSeconds * 1e3,
         env: memoryLimitInMB ? { ...process.env, GOMEMLIMIT: `${memoryLimitInMB}MiB` } : void 0
       });
       if (error) {
@@ -110840,7 +110832,7 @@ ${stderr}`);
       await rm4(tmpDir, { recursive: true, force: true });
     }
   }
-  static async runOnDependencyChain([first2, ...rest], vuln, options = {}) {
+  static async runOnDependencyChain([first2, ...rest], vuln, options) {
     assert4(first2.version);
     const { Dir, GoMod } = JSON.parse(await runCommandResolveStdOut2(cmdt`go mod download -json ${first2.packageName}@v${first2.version}`));
     const projectDir = await createTmpDirectory("go-run-on-dependency-chain-");
@@ -110857,7 +110849,7 @@ ${stderr}`);
         await runGoModTidy(projectDir);
       }
       const heuristic = GoanaHeuristics.NO_TESTS;
-      const result = await new this(projectDir, options).runAnalysis([vuln], heuristic, true);
+      const result = await new this(projectDir, options).runAnalysis([vuln], heuristic, options.timeoutSeconds.allVulnRuns);
       if (result.type === "error")
         return {
           error: result.message,
@@ -110873,7 +110865,7 @@ ${stderr}`);
       await rm4(projectDir, { recursive: true, force: true });
     }
   }
-  static async runOnAlreadyDownloadedPackages(packages, vuln, options = {}) {
+  static async runOnAlreadyDownloadedPackages(packages, vuln, options) {
     for (const pkg of packages)
       assert4(existsSync10(join15(pkg, "go.mod")), `${pkg} does not contain a go.mod file`);
     const [app, ...dependencies] = packages;
@@ -110890,7 +110882,7 @@ ${stderr}`);
         await runGoModTidy(projectDir);
       }
       const heuristic = GoanaHeuristics.NO_TESTS;
-      const result = await new this(projectDir, options).runAnalysis([vuln], heuristic, true);
+      const result = await new this(projectDir, options).runAnalysis([vuln], heuristic, options.timeoutSeconds.allVulnRuns);
       if (result.type === "error")
         return {
           error: result.message,
@@ -110948,17 +110940,15 @@ var RustCodeAwareVulnerabilityScanner = class _RustCodeAwareVulnerabilityScanner
   apps;
   deps;
   depIdToPurl;
-  timeoutInSeconds;
   statusUpdater;
   name = "RUSTICA";
-  constructor(apps, deps, depIdToPurl, timeoutInSeconds, statusUpdater) {
+  constructor(apps, deps, depIdToPurl, statusUpdater) {
     this.apps = apps;
     this.deps = deps;
     this.depIdToPurl = depIdToPurl;
-    this.timeoutInSeconds = timeoutInSeconds;
     this.statusUpdater = statusUpdater;
   }
-  static initFromDependencyTree(dependencyTree, timeoutInSeconds, statusUpdater) {
+  static initFromDependencyTree(dependencyTree, statusUpdater) {
     const appDependencies = {};
     if (dependencyTree.dependenciesWithAliases) {
       for (const [depId, names] of Object.entries(dependencyTree.dependenciesWithAliases)) {
@@ -110992,9 +110982,9 @@ var RustCodeAwareVulnerabilityScanner = class _RustCodeAwareVulnerabilityScanner
         }
       };
     }
-    return new _RustCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, timeoutInSeconds, statusUpdater);
+    return new _RustCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, statusUpdater);
   }
-  static async initFromSocketArtifacts(subprojectDir, workspacePath, artifacts, tmpDir, timeoutInSeconds, statusUpdater) {
+  static async initFromSocketArtifacts(subprojectDir, workspacePath, artifacts, tmpDir, statusUpdater) {
     const cargoTomlToArtifacts = /* @__PURE__ */ new Map();
     for (const artifact of artifacts) {
       for (const mf of artifact.manifestFiles ?? []) {
@@ -111048,7 +111038,7 @@ var RustCodeAwareVulnerabilityScanner = class _RustCodeAwareVulnerabilityScanner
       }
     };
     const { deps, depIdToPurl } = await convertSocketArtifacts3(artifacts, tmpDir, artifactNameToId);
-    return new _RustCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, timeoutInSeconds, statusUpdater);
+    return new _RustCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, statusUpdater);
   }
   /** @deprecated */
   static async runOnAlreadyDownloadedPackages([appPath, ...depPaths], vulnerability, options) {
@@ -111106,8 +111096,8 @@ var RustCodeAwareVulnerabilityScanner = class _RustCodeAwareVulnerabilityScanner
         deps[packageId] = packageInfo;
       }
     }
-    const scanner = new _RustCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, options.timeoutInSeconds);
-    const result = await scanner.runAnalysis([vulnerability], RusticaHeuristics.ALL_PACKAGES, false);
+    const scanner = new _RustCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl);
+    const result = await scanner.runAnalysis([vulnerability], RusticaHeuristics.ALL_PACKAGES, options.timeoutSeconds.allVulnRuns);
     if (result.type === "error")
       return { error: result.message, terminatedEarly: true };
     return {
@@ -111173,8 +111163,8 @@ var RustCodeAwareVulnerabilityScanner = class _RustCodeAwareVulnerabilityScanner
             }
           };
         }
-        const scanner = new _RustCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, timeoutInSeconds, statusUpdater);
-        const result = await scanner.actuallyRunAnalysis(vulnerability.vulnerabilityAccessPaths);
+        const scanner = new _RustCodeAwareVulnerabilityScanner(apps, deps, depIdToPurl, statusUpdater);
+        const result = await scanner.actuallyRunAnalysis(vulnerability.vulnerabilityAccessPaths, timeoutInSeconds);
         if (result.type === "error")
           return { error: result.message, terminatedEarly: false };
         return {
@@ -111186,17 +111176,17 @@ var RustCodeAwareVulnerabilityScanner = class _RustCodeAwareVulnerabilityScanner
       }
     });
   }
-  async runPhantomDependencyAnalysis() {
+  async runPhantomDependencyAnalysis(timeoutInSeconds) {
     return withTmpDirectory("rust-direct-dependency-analysis", async (tmpDir) => {
       const options = {
         apps: this.apps,
         deps: this.deps,
-        timeoutInSeconds: this.timeoutInSeconds
+        timeoutInSeconds
       };
       const inputFile = resolve16(tmpDir, "input.json");
       const outputFile = resolve16(tmpDir, "output.json");
       await writeFile8(inputFile, JSON.stringify(options));
-      const timeoutMs = this.timeoutInSeconds ? Math.max(this.timeoutInSeconds * 1.5, this.timeoutInSeconds + 30) * 1e3 : 750 * 1e3;
+      const timeoutMs = Math.max(timeoutInSeconds * 1.5, timeoutInSeconds + 30) * 1e3;
       const result = await execNeverFail2(cmdt`${await getNodeExecutable(ToolPathResolver.nodeExecutablePath)} ${getClassGraphAnalysisCliPath()} runRustDirectDependencyAnalysis -i ${inputFile} -o ${outputFile} --tree-sitter-rust ${getTreeSitterRustPath()}`, void 0, { timeout: timeoutMs });
       if (result.error)
         return void 0;
@@ -111204,7 +111194,7 @@ var RustCodeAwareVulnerabilityScanner = class _RustCodeAwareVulnerabilityScanner
       return packageIds?.map((packageId) => this.depIdToPurl.get(packageId)?.name).filter((name2) => name2 !== void 0).map((name2) => name2);
     });
   }
-  async runAnalysis(vulnerabilities, heuristic, _analyzesAllVulns) {
+  async runAnalysis(vulnerabilities, heuristic, timeoutInSeconds) {
     try {
       this.statusUpdater?.("Preparing code for analysis...");
       const packagesToAnalyze = heuristic.getPackagesToAnalyze(vulnerabilities);
@@ -111213,25 +111203,26 @@ var RustCodeAwareVulnerabilityScanner = class _RustCodeAwareVulnerabilityScanner
         const purl = this.depIdToPurl.get(packageId);
         return purl?.name && packagesToAnalyzeSet.has(purl.name);
       }));
-      return await this.actuallyRunAnalysis(vulnerabilities.flatMap((v) => v.vulnerabilityAccessPaths), filteredDeps);
+      return await this.actuallyRunAnalysis(vulnerabilities.flatMap((v) => v.vulnerabilityAccessPaths), timeoutInSeconds, filteredDeps);
     } catch (e) {
       return { type: "error", message: e.message };
     }
   }
-  async actuallyRunAnalysis(vulnerabilityAccessPaths, filteredDeps) {
+  async actuallyRunAnalysis(vulnerabilityAccessPaths, timeoutInSeconds, filteredDeps) {
     this.statusUpdater?.("Running analysis...");
     return withTmpDirectory("rust-run-analysis", async (tmpDir) => {
+      const effectiveTimeout = timeoutInSeconds;
       const options = {
         apps: this.apps,
         deps: filteredDeps ?? this.deps,
         // Note, rust uses '::' as path separator, so we need to split on ': ' and not only ':'
         vulnerableClasses: uniq6(vulnerabilityAccessPaths?.map((vulnFunction) => vulnFunction.slice(1).split(": ")[0])),
-        timeoutInSeconds: this.timeoutInSeconds
+        timeoutInSeconds: effectiveTimeout
       };
       const inputFile = resolve16(tmpDir, "input.json");
       const outputFile = resolve16(tmpDir, "output.json");
       await writeFile8(inputFile, JSON.stringify(options));
-      const timeoutMs = this.timeoutInSeconds ? Math.max(this.timeoutInSeconds * 1.5, this.timeoutInSeconds + 30) * 1e3 : 750 * 1e3;
+      const timeoutMs = Math.max(effectiveTimeout * 1.5, effectiveTimeout + 30) * 1e3;
       const result = await execNeverFail2(cmdt`${await getNodeExecutable(ToolPathResolver.nodeExecutablePath)} ${getClassGraphAnalysisCliPath()} runRustReachabilityAnalysis -i ${inputFile} -o ${outputFile} --tree-sitter-rust ${getTreeSitterRustPath()}`, void 0, { timeout: timeoutMs });
       if (result.error)
         return { type: "error", message: result.error.message ?? "unknown error" };
@@ -111549,36 +111540,27 @@ async function analyzePackages(ecosystem, packages, vulnerability, options) {
   switch (ecosystem) {
     case "NPM":
       analysisName = "Jelly";
-      result = await runWithJSHeuristics(async (h) => await JSCodeAwareVulnerabilityScanner.runOnDependencyChain(packages, vulnerability, {
-        timeoutInSeconds: options?.timeoutInSeconds ?? 60,
-        memoryLimitInMB: options?.memoryLimitInMB ?? 16384
-      }, h));
+      result = await runWithJSHeuristics(async (h) => await JSCodeAwareVulnerabilityScanner.runOnDependencyChain(packages, vulnerability, options, h));
       break;
     case "MAVEN":
       analysisName = "Alucard";
-      result = await JavaCodeAwareVulnerabilityScanner.runOnDependencyChain(packages, vulnerability, options?.timeoutInSeconds ?? 60);
+      result = await JavaCodeAwareVulnerabilityScanner.runOnDependencyChain(packages, vulnerability, options.timeoutSeconds.allVulnRuns);
       break;
     case "NUGET":
       analysisName = "Cocoa";
-      result = await DotnetCodeAwareVulnerabilityScanner.runOnDependencyChain(packages, vulnerability, options?.timeoutInSeconds ?? 60);
+      result = await DotnetCodeAwareVulnerabilityScanner.runOnDependencyChain(packages, vulnerability, options.timeoutSeconds.allVulnRuns);
       break;
     case "PIP":
       analysisName = "Mambalade";
-      result = await PythonCodeAwareVulnerabilityScanner.runOnDependencyChain(packages, vulnerability, {
-        timeoutInSeconds: options?.timeoutInSeconds ?? 60,
-        memoryLimitInMB: options?.memoryLimitInMB ?? 16384
-      });
+      result = await PythonCodeAwareVulnerabilityScanner.runOnDependencyChain(packages, vulnerability, options);
       break;
     case "GO":
       analysisName = "Goana";
-      result = await GoCodeAwareVulnerabilityScanner.runOnDependencyChain(packages, vulnerability, {
-        timeoutInSeconds: options?.timeoutInSeconds ?? 60,
-        memoryLimitInMB: options?.memoryLimitInMB ?? 16384
-      });
+      result = await GoCodeAwareVulnerabilityScanner.runOnDependencyChain(packages, vulnerability, options);
       break;
     case "RUST":
       analysisName = "Rustica";
-      result = await RustCodeAwareVulnerabilityScanner.runOnDependencyChain(packages, vulnerability, options?.timeoutInSeconds ?? 60);
+      result = await RustCodeAwareVulnerabilityScanner.runOnDependencyChain(packages, vulnerability, options.timeoutSeconds.allVulnRuns);
       break;
     default:
       throw new Error(`Analyze dependency chain not implemented for ${ecosystem}.`);
@@ -111591,45 +111573,27 @@ async function analyzeAlreadyInstalledPackages(ecosystem, packages, vulnerabilit
   switch (ecosystem) {
     case "NPM":
       analysisName = "Jelly";
-      result = await runWithJSHeuristics(async (h) => await JSCodeAwareVulnerabilityScanner.runOnAlreadyDownloadedPackages(packages, vulnerability, {
-        timeoutInSeconds: options?.timeoutInSeconds ?? 60,
-        memoryLimitInMB: options?.memoryLimitInMB ?? 16384
-      }, h));
+      result = await runWithJSHeuristics(async (h) => await JSCodeAwareVulnerabilityScanner.runOnAlreadyDownloadedPackages(packages, vulnerability, options, h));
       break;
     case "MAVEN":
       analysisName = "Alucard";
-      result = await JavaCodeAwareVulnerabilityScanner.runOnAlreadyDownloadedPackages(packages, vulnerability, {
-        timeoutInSeconds: options?.timeoutInSeconds ?? 60,
-        memoryLimitInMB: options?.memoryLimitInMB ?? 16384
-      });
+      result = await JavaCodeAwareVulnerabilityScanner.runOnAlreadyDownloadedPackages(packages, vulnerability, options);
       break;
     case "NUGET":
       analysisName = "Cocoa";
-      result = await DotnetCodeAwareVulnerabilityScanner.runOnAlreadyDownloadedPackages(packages, vulnerability, {
-        timeoutInSeconds: options?.timeoutInSeconds ?? 60,
-        memoryLimitInMB: options?.memoryLimitInMB ?? 16384
-      });
+      result = await DotnetCodeAwareVulnerabilityScanner.runOnAlreadyDownloadedPackages(packages, vulnerability, options);
       break;
     case "PIP":
       analysisName = "Mambalade";
-      result = await PythonCodeAwareVulnerabilityScanner.runOnAlreadyDownloadedPackages(packages, vulnerability, {
-        timeoutInSeconds: options?.timeoutInSeconds ?? 60,
-        memoryLimitInMB: options?.memoryLimitInMB ?? 16384
-      });
+      result = await PythonCodeAwareVulnerabilityScanner.runOnAlreadyDownloadedPackages(packages, vulnerability, options);
       break;
     case "GO":
       analysisName = "Goana";
-      result = await GoCodeAwareVulnerabilityScanner.runOnAlreadyDownloadedPackages(packages, vulnerability, {
-        timeoutInSeconds: options?.timeoutInSeconds ?? 60,
-        memoryLimitInMB: options?.memoryLimitInMB ?? 16384
-      });
+      result = await GoCodeAwareVulnerabilityScanner.runOnAlreadyDownloadedPackages(packages, vulnerability, options);
       break;
     case "RUST":
       analysisName = "Rustica";
-      result = await RustCodeAwareVulnerabilityScanner.runOnAlreadyDownloadedPackages(packages, vulnerability, {
-        timeoutInSeconds: options?.timeoutInSeconds ?? 60,
-        memoryLimitInMB: options?.memoryLimitInMB ?? 16384
-      });
+      result = await RustCodeAwareVulnerabilityScanner.runOnAlreadyDownloadedPackages(packages, vulnerability, options);
       break;
     default:
       throw new Error(`analyzePackageRegistryPackage is not implemented for ${ecosystem}.`);
@@ -111723,7 +111687,7 @@ var PythonCodeAwareVulnerabilityScanner = class {
       logger.info("Done setting up virtual environment");
     }
   }
-  async runAnalysis(vulns, heuristic, analyzesAllVulns) {
+  async runAnalysis(vulns, heuristic, timeoutInSeconds) {
     if (!this.virtualEnvInfo)
       throw new Error("Virtual environment not set up");
     this.mambaladeVenvPath ??= await setupMambalade();
@@ -111753,8 +111717,6 @@ var PythonCodeAwareVulnerabilityScanner = class {
     const vulnsOutputFile = join16(tmpDir, "vulns.json");
     const diagnosticsOutputFile = join16(tmpDir, "diagnostics.json");
     const reachedPackagesOutputFile = join16(tmpDir, "reached-packages.json");
-    const timeout = reachabilityAnalysisOptions.timeoutInSeconds ?? // 10 minutes for the first analysis, 1 minute for subsequent analyses
-    (analyzesAllVulns ? 60 * 10 : 60);
     const pythonExecutable = join16(this.mambaladeVenvPath, "bin", "python");
     const mambaladeArgs = cmdt`\
       ${pythonExecutable} - ${reachabilityAnalysisOptions.memoryLimitInMB ?? 0}
@@ -111764,7 +111726,7 @@ var PythonCodeAwareVulnerabilityScanner = class {
       --output-vulnerabilities ${vulnsOutputFile}
       --output-diagnostics ${diagnosticsOutputFile}
       --output-reached-distributions ${reachedPackagesOutputFile}
-      --timeout=${timeout}
+      --timeout=${timeoutInSeconds}
       ${packagesToExclude?.size ? ["--exclude-distributions", ...packagesToExclude] : []}
       --
       ${filesToAnalyze}`;
@@ -111782,7 +111744,7 @@ ${vulnAccPaths.join("\n")}`);
           PYPY_GC_MAX: `${reachabilityAnalysisOptions.memoryLimitInMB ?? 0}MB`
         },
         // Forcefully kill the process if the internal timeout mechanism fails
-        timeout: (timeout * 1.5 + 15) * 1e3
+        timeout: (timeoutInSeconds * 1.5 + 15) * 1e3
       });
       logger.debug("Done running mambalade");
       const errors = stderr.split("\n").filter((line) => line.startsWith("ERROR:") && !/^ERROR: Excluded distribution/.test(line));
@@ -111876,7 +111838,7 @@ ${msg}`;
           await cp6(dep, dependencyDir, { recursive: true });
           fileMappings.set(dependencyDir, dep);
         }
-        const result = await scanner.runAnalysis([vuln], MambaladeHeuristics.ALL_PACKAGES, false);
+        const result = await scanner.runAnalysis([vuln], MambaladeHeuristics.ALL_PACKAGES, options.timeoutSeconds.allVulnRuns);
         if (result.type === "error")
           return { error: result.message, terminatedEarly: true };
         return {
@@ -111916,7 +111878,7 @@ ${msg}`;
         ]);
         if (scanner.virtualEnvInfo.packageInstallationStats.failedToInstall.length)
           throw new Error("Failed to install some packages");
-        const result = await scanner.runAnalysis([vuln], MambaladeHeuristics.ALL_PACKAGES, false);
+        const result = await scanner.runAnalysis([vuln], MambaladeHeuristics.ALL_PACKAGES, options.timeoutSeconds.allVulnRuns);
         if (result.type === "error")
           return { error: result.message, terminatedEarly: true };
         return {
@@ -112510,8 +112472,9 @@ async function analyzeWithHeuristics(state, vulns, heuristicsInOrder, doNotRecom
       try {
         newAnalysisRunListener();
         const initialBucketContainingAllVulns = buckets.length === 1 && buckets[0] === bucket;
+        const timeoutInSeconds = initialBucketContainingAllVulns ? state.reachabilityAnalysisOptions.timeoutSeconds.allVulnRuns : state.reachabilityAnalysisOptions.timeoutSeconds.bucketedRuns;
         logger.info(`Running full reachability analysis for ${vulnsForBucket.length}/${vulnerabilities.length} vulnerabilities.`);
-        const result = await codeAwareScanner.runAnalysis(vulnsForBucket, bucket.heuristic, initialBucketContainingAllVulns, experiment);
+        const result = await codeAwareScanner.runAnalysis(vulnsForBucket, bucket.heuristic, timeoutInSeconds, experiment);
         const allowSplitInBuckets = !disableBucketing && bucket.heuristic.splitAnalysisInBuckets && !state.otherAnalysisOptions.disableBucketing && vulnDepIdentifiers.length > 1 && (result.type === "error" || result.reachedDependencies);
         if (result.type === "success") {
           result.diagnostics.timings ??= {};
@@ -112532,13 +112495,7 @@ async function analyzeWithHeuristics(state, vulns, heuristicsInOrder, doNotRecom
           await analysisMetadataCollector2?.(finalAnalysisMetadata);
         } else {
           result.type;
-          const enqueueWithoutSplitting = !allowSplitInBuckets && initialBucketContainingAllVulns && !state.reachabilityAnalysisOptions.timeoutInSeconds;
-          await sendErrorAnalysisMetadata(result.message, !allowSplitInBuckets && isLastHeuristic(bucket.heuristic.name) && !enqueueWithoutSplitting, !allowSplitInBuckets);
-          if (enqueueWithoutSplitting) {
-            logger.info("Analysis failed, retrying different configuration.");
-            enqueueBucket(vulnDepIdentifiers);
-            return;
-          }
+          await sendErrorAnalysisMetadata(result.message, !allowSplitInBuckets && isLastHeuristic(bucket.heuristic.name), !allowSplitInBuckets);
           if (!allowSplitInBuckets) {
             augmentVulnsWithErrorMessage(vulnsForBucket, result.message);
             return;
@@ -112794,12 +112751,12 @@ var MavenAnalyzer = class {
   async runPhantomDependencyAnalysis() {
     return withTmpDirectory("maven-phantom-dependency-analysis", async (tmpDir) => {
       const scanner = this.state.workspaceData.type === "coana" ? await JavaCodeAwareVulnerabilityScanner.initFromDependencyTree(this.state.workspaceData.data.dependencyTree, tmpDir) : await JavaCodeAwareVulnerabilityScanner.initFromSocketArtifacts(this.state.subprojectDir, this.state.workspaceData.data.artifacts, tmpDir);
-      return scanner.runPhantomDependencyAnalysis();
+      return scanner.runPhantomDependencyAnalysis(this.state.reachabilityAnalysisOptions.timeoutSeconds.allVulnRuns);
     });
   }
   async runReachabilityAnalysis(vulns, analysisMetadataCollector, statusUpdater) {
     return withTmpDirectory("maven-reachability-analysis", async (tmpDir) => {
-      const scanner = this.state.workspaceData.type === "coana" ? await JavaCodeAwareVulnerabilityScanner.initFromDependencyTree(this.state.workspaceData.data.dependencyTree, tmpDir, this.state.reachabilityAnalysisOptions.timeoutInSeconds, statusUpdater) : await JavaCodeAwareVulnerabilityScanner.initFromSocketArtifacts(this.state.subprojectDir, this.state.workspaceData.data.artifacts, tmpDir, this.state.reachabilityAnalysisOptions.timeoutInSeconds, statusUpdater);
+      const scanner = this.state.workspaceData.type === "coana" ? await JavaCodeAwareVulnerabilityScanner.initFromDependencyTree(this.state.workspaceData.data.dependencyTree, tmpDir, statusUpdater) : await JavaCodeAwareVulnerabilityScanner.initFromSocketArtifacts(this.state.subprojectDir, this.state.workspaceData.data.artifacts, tmpDir, statusUpdater);
       const heuristicsInOrder = [AlucardHeuristics.ALL_PACKAGES];
       return await analyzeWithHeuristics(this.state, vulns, heuristicsInOrder, false, scanner, analysisMetadataCollector, statusUpdater);
     });
@@ -112932,12 +112889,12 @@ var NugetAnalyzer = class {
   async runPhantomDependencyAnalysis() {
     return withTmpDirectory("nuget-phantom-dependency-analysis", async (tmpDir) => {
       const scanner = this.state.workspaceData.type === "coana" ? DotnetCodeAwareVulnerabilityScanner.initFromDependencyTree(this.state.workspaceData.data.dependencyTree) : await DotnetCodeAwareVulnerabilityScanner.initFromSocketArtifacts(this.state.subprojectDir, this.state.workspaceData.data.manifestFiles, this.state.workspaceData.data.artifacts, tmpDir);
-      return scanner.runPhantomDependencyAnalysis();
+      return scanner.runPhantomDependencyAnalysis(this.state.reachabilityAnalysisOptions.timeoutSeconds.allVulnRuns);
     });
   }
   async runReachabilityAnalysis(vulns, analysisMetadataCollector, statusUpdater) {
     return withTmpDirectory("nuget-reachability-analysis", async (tmpDir) => {
-      const scanner = this.state.workspaceData.type === "coana" ? DotnetCodeAwareVulnerabilityScanner.initFromDependencyTree(this.state.workspaceData.data.dependencyTree, this.state.reachabilityAnalysisOptions.timeoutInSeconds, statusUpdater) : await DotnetCodeAwareVulnerabilityScanner.initFromSocketArtifacts(this.state.subprojectDir, this.state.workspaceData.data.manifestFiles, this.state.workspaceData.data.artifacts, tmpDir, this.state.reachabilityAnalysisOptions.timeoutInSeconds, statusUpdater);
+      const scanner = this.state.workspaceData.type === "coana" ? DotnetCodeAwareVulnerabilityScanner.initFromDependencyTree(this.state.workspaceData.data.dependencyTree, statusUpdater) : await DotnetCodeAwareVulnerabilityScanner.initFromSocketArtifacts(this.state.subprojectDir, this.state.workspaceData.data.manifestFiles, this.state.workspaceData.data.artifacts, tmpDir, statusUpdater);
       const heuristicsInOrder = [CocoaHeuristics.ALL_PACKAGES];
       return await analyzeWithHeuristics(this.state, vulns, heuristicsInOrder, false, scanner, analysisMetadataCollector, statusUpdater);
     });
@@ -116307,7 +116264,7 @@ var RubyCodeAwareVulnerabilityScanner = class {
     this.vendorDirWasCreated = true;
     logger.info("Done setting up vendor directory");
   }
-  async runAnalysis(vulns, heuristic, analyzesAllVulns, _experiment) {
+  async runAnalysis(vulns, heuristic, timeoutInSeconds, _experiment) {
     return await withTmpDirectory("ruby-analyzer-output", async (tmpDir) => {
       if (!this.vendorDir)
         throw new Error("Assertion error: The vendor directory is not correctly initialized");
@@ -116334,7 +116291,7 @@ var RubyCodeAwareVulnerabilityScanner = class {
       const cmd = cmdt`
         ${await getNodeExecutable(ToolPathResolver.nodeExecutablePath)} --max-old-space-size=${this.options.memoryLimitInMB}
         ${analyzerPath}
-        --timeout ${analyzesAllVulns ? this.options.timeoutInSeconds ?? 600 : 60}
+        --timeout ${timeoutInSeconds}
         --load-path ${loadPaths}
         --vulnerabilities ${vulnAccPaths}
         --output-diagnostics ${diagnosticsOutputFile}
@@ -116533,12 +116490,12 @@ var RustAnalyzer = class {
   async runPhantomDependencyAnalysis() {
     return withTmpDirectory("cargo-phantom-dependency-analysis", async (tmpDir) => {
       const scanner = this.state.workspaceData.type === "coana" ? RustCodeAwareVulnerabilityScanner.initFromDependencyTree(this.state.workspaceData.data.dependencyTree) : await RustCodeAwareVulnerabilityScanner.initFromSocketArtifacts(this.state.subprojectDir, this.state.workspacePath, this.state.workspaceData.data.artifacts, tmpDir);
-      return scanner.runPhantomDependencyAnalysis();
+      return scanner.runPhantomDependencyAnalysis(this.state.reachabilityAnalysisOptions.timeoutSeconds.allVulnRuns);
     });
   }
   async runReachabilityAnalysis(vulns, analysisMetadataCollector, statusUpdater) {
     return withTmpDirectory("cargo-reachability-analysis", async (tmpDir) => {
-      const scanner = this.state.workspaceData.type === "coana" ? RustCodeAwareVulnerabilityScanner.initFromDependencyTree(this.state.workspaceData.data.dependencyTree, this.state.reachabilityAnalysisOptions.timeoutInSeconds, statusUpdater) : await RustCodeAwareVulnerabilityScanner.initFromSocketArtifacts(this.state.subprojectDir, this.state.workspacePath, this.state.workspaceData.data.artifacts, tmpDir, this.state.reachabilityAnalysisOptions.timeoutInSeconds, statusUpdater);
+      const scanner = this.state.workspaceData.type === "coana" ? RustCodeAwareVulnerabilityScanner.initFromDependencyTree(this.state.workspaceData.data.dependencyTree, statusUpdater) : await RustCodeAwareVulnerabilityScanner.initFromSocketArtifacts(this.state.subprojectDir, this.state.workspacePath, this.state.workspaceData.data.artifacts, tmpDir, statusUpdater);
       const heuristicsInOrder = [RusticaHeuristics.ALL_PACKAGES];
       return await analyzeWithHeuristics(this.state, vulns, heuristicsInOrder, false, scanner, analysisMetadataCollector, statusUpdater);
     });
@@ -116597,7 +116554,11 @@ var runReachabilityAnalysisCmd = new Command().name("runReachabilityAnalysis").a
 }, "reachability-analyzer"));
 var runOnDependencyChainCmd = new Command().name("runOnDependencyChain").option("-d, --debug", "Enable debug logging", false).option("-s, --silent", "Silence all debug/warning output", false).option("--coana-socket-path <socketPath>", "Coana socket path").option("--silent-spinner", "Silence spinner", "CI" in process.env || !process.stdin.isTTY).requiredOption("-i, --input-file <inputFile>", "Input file for data and vulnerabilities").requiredOption("-o, --output-file <outputFile>", "Output file for the results").configureHelp({ sortSubcommands: true, sortOptions: true }).action(async (options) => withLoggerAndSpinner("Coana Reachability Analyzers", options, async () => {
   const { ecosystem, dependencyChain, vulnerability } = JSON.parse(await readFile14(options.inputFile, "utf-8"));
-  const result = await analyzePackages(ecosystem, deserializeDependencyChain(ecosystem, dependencyChain), vulnerability);
+  const defaultOptions2 = {
+    timeoutSeconds: { allVulnRuns: 60, bucketedRuns: 60 },
+    memoryLimitInMB: 16384
+  };
+  const result = await analyzePackages(ecosystem, deserializeDependencyChain(ecosystem, dependencyChain), vulnerability, defaultOptions2);
   if (options.outputFile) {
     logger.debug("Writing result to file", options.outputFile);
     await writeFile9(options.outputFile, JSON.stringify({ result }));
@@ -116625,7 +116586,12 @@ var runOnPackageRegistryPackageCmd = new Command().name("runOnPackageRegistryPac
     else if (typeof vulnerability.vulnerabilityAccessPaths === "string")
       throw new Error(`Vulnerability ${options.vulnerability} has undeterminable reachability, so running the reachability analysis is not possible.`);
     const isFile4 = mainPackage.startsWith("file://");
-    const result = isFile4 ? await analyzeAlreadyInstalledPackages(options.ecosystem, [mainPackage, ...options.dependencies].map((p) => p.replace("file://", "")), vulnerability, { timeoutInSeconds: +options.analysisTimeout, memoryLimitInMB: +options.memoryLimit }) : await analyzePackages(options.ecosystem, deserializeDependencyChain(options.ecosystem, `${mainPackage}${options.dependencies.length > 0 ? ` > ${options.dependencies.join(" > ")}` : ""}`), vulnerability, { timeoutInSeconds: +options.analysisTimeout, memoryLimitInMB: +options.memoryLimit });
+    const analysisTimeout = +options.analysisTimeout;
+    const reachabilityOptions = {
+      timeoutSeconds: { allVulnRuns: analysisTimeout, bucketedRuns: analysisTimeout },
+      memoryLimitInMB: +options.memoryLimit
+    };
+    const result = isFile4 ? await analyzeAlreadyInstalledPackages(options.ecosystem, [mainPackage, ...options.dependencies].map((p) => p.replace("file://", "")), vulnerability, reachabilityOptions) : await analyzePackages(options.ecosystem, deserializeDependencyChain(options.ecosystem, `${mainPackage}${options.dependencies.length > 0 ? ` > ${options.dependencies.join(" > ")}` : ""}`), vulnerability, reachabilityOptions);
     if (options.outputFile) {
       logger.info("Writing result to file", options.outputFile);
       await writeFile9(options.outputFile, JSON.stringify(result, null, 2));