cognium-dev 4.9.26 → 4.9.27

package/dist/cli.js

@@ -7,6 +7,7 @@ import { readFileSync, existsSync, writeFileSync } from "fs";
 import { stat as stat2, readdir as readdir2 } from "fs/promises";
 import { join as join2, dirname as dirname3, extname, resolve as resolve2, relative as relative4, basename } from "path";
 import { createRequire as createRequire2 } from "module";
+import { getHeapStatistics } from "v8";
 
 // ../../node_modules/web-tree-sitter/web-tree-sitter.js
 var __defProp = Object.defineProperty;
@@ -12703,6 +12704,7 @@ var DEFAULT_SINKS = [
   { method: "Deserialize", class: "ObjectStateFormatter", type: "deserialization", cwe: "CWE-502", severity: "critical", arg_positions: [0], languages: ["csharp"] },
   { method: "Raw", class: "Html", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0], languages: ["csharp"] },
   { method: "Write", class: "Response", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0], languages: ["csharp"] },
+  { method: "WriteAsync", class: "Response", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0], languages: ["csharp"] },
   { method: "HtmlString", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0], languages: ["csharp"] },
   { method: "MarkupString", class: "constructor", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0], languages: ["csharp"] },
   { method: "Content", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0], languages: ["csharp"] },
@@ -26783,18 +26785,23 @@ function findCSharpRequestSources(sourceCode, language) {
   const lines = sourceCode.split(`
 `);
   const assignRe = /^\s*(?:await\s+)?(?:using\s*\(?\s*)?(?:var\s+|[A-Za-z_][\w.<>\[\]]*\s+)?([A-Za-z_]\w*)\s*=\s*(.+?);?\s*$/;
-  const requestReadRe = /\bRequest\s*\.\s*(?:Query|Form|Headers|Cookies|QueryString|RouteValues|Body|Files|Params)\b/;
   const consoleReadRe = /\bConsole\s*\.\s*ReadLine\s*\(/;
   const envReadRe = /\bEnvironment\s*\.\s*GetEnvironmentVariables?\s*(?:\(|\[)/;
   const formFileParams = new Set;
   const formFileDeclRe = /\bIFormFile\s+([A-Za-z_]\w*)/g;
+  const httpRequestReceivers = new Set(["Request"]);
+  const httpRequestDeclRe = /\b(?:HttpRequest|HttpRequestBase)\??\s+([A-Za-z_]\w*)/g;
   for (const line of lines) {
-    const re = new RegExp(formFileDeclRe.source, "g");
+    const formRe = new RegExp(formFileDeclRe.source, "g");
     let d;
-    while ((d = re.exec(line)) !== null)
+    while ((d = formRe.exec(line)) !== null)
       formFileParams.add(d[1]);
+    const reqRe = new RegExp(httpRequestDeclRe.source, "g");
+    while ((d = reqRe.exec(line)) !== null)
+      httpRequestReceivers.add(d[1]);
   }
   const formFileReadRe = formFileParams.size > 0 ? new RegExp(`\\b(?:${[...formFileParams].join("|")})\\s*\\.\\s*(?:FileName|ContentType)\\b`) : null;
+  const requestReadRe = new RegExp(`\\b(?:${[...httpRequestReceivers].join("|")})\\s*\\.\\s*(?:Query|Form|Headers|Cookies|QueryString|RouteValues|Body|Files|Params)\\b`);
   const classify = (text) => requestReadRe.test(text) ? "http_param" : formFileReadRe?.test(text) ? "http_param" : consoleReadRe.test(text) ? "io_input" : envReadRe.test(text) ? "env_input" : null;
   const inlineReads = [
     [requestReadRe, "http_param"],
@@ -26819,10 +26826,37 @@ function findCSharpRequestSources(sourceCode, language) {
   };
   const exprStmtCallRe = /^\s*(?:await\s+)?[A-Za-z_][\w.]*(?:<[^>]*>)?\s*\(.*\)\s*;\s*$/;
   const nonCallKeywordRe = /^\s*(?:await\s+)?(?:if|while|for|foreach|switch|using|lock|return|throw|catch|when|nameof|typeof|sizeof|default)\b/;
+  const embeddedAssignRe = /(?:^|[{;])\s*(?:await\s+)?(?:using\s*\(?\s*)?(?:var\s+|[A-Za-z_][\w.<>\[\]]*\s+)?([A-Za-z_]\w*)\s*=(?!=)\s*([^;{}]+)/;
   for (let i2 = 0;i2 < lines.length; i2++) {
     const m = assignRe.exec(lines[i2]);
     if (!m) {
       const stmt = lines[i2];
+      if (stmt.includes("{") && !/^\s*(?:\/\/|\/\*|\*)/.test(stmt)) {
+        const emb = new RegExp(embeddedAssignRe.source, "g");
+        let em;
+        let seeded = false;
+        while ((em = emb.exec(stmt)) !== null) {
+          const varName2 = em[1];
+          const rhs2 = em[2];
+          const type3 = classify(rhs2);
+          if (!type3)
+            continue;
+          const lineNumber3 = i2 + 1;
+          if (sources.some((s) => s.line === lineNumber3 && s.variable === varName2))
+            continue;
+          sources.push({
+            type: type3,
+            location: `${varName2} = ${rhs2.trim().substring(0, 50)}${rhs2.length > 50 ? "..." : ""}`,
+            severity: "high",
+            line: lineNumber3,
+            confidence: 1,
+            variable: varName2
+          });
+          seeded = true;
+        }
+        if (seeded)
+          continue;
+      }
       if (!exprStmtCallRe.test(stmt) || nonCallKeywordRe.test(stmt))
         continue;
       const hit = inlineRead(stmt);
@@ -49135,7 +49169,30 @@ async function analyzeProject(files, options = {}) {
   const perFileBudgetMs = options.perFileBudgetMs ?? 0;
   const perFileStart = Date.now();
   let perFileBudgetExceeded = false;
+  const maxProjectSourceChars = options.maxProjectSourceChars ?? 0;
+  const maxProjectFiles = options.maxProjectFiles ?? 0;
+  let projectSourceChars = 0;
+  let projectSizeBudgetExceeded = false;
   for (const { code, filePath, language } of files) {
+    if (maxProjectFiles > 0 && fileAnalyses.length >= maxProjectFiles) {
+      projectSizeBudgetExceeded = true;
+      logger.warn("analyzeProject: file-count ceiling reached, skipping remaining files", {
+        analysed: fileAnalyses.length,
+        total: files.length,
+        maxProjectFiles
+      });
+      break;
+    }
+    if (maxProjectSourceChars > 0 && projectSourceChars + code.length > maxProjectSourceChars) {
+      projectSizeBudgetExceeded = true;
+      logger.warn("analyzeProject: source-size ceiling reached, skipping remaining files", {
+        analysed: fileAnalyses.length,
+        total: files.length,
+        sourceChars: projectSourceChars,
+        maxProjectSourceChars
+      });
+      break;
+    }
     if (perFileBudgetMs > 0 && Date.now() - perFileStart > perFileBudgetMs) {
       perFileBudgetExceeded = true;
       logger.warn("analyzeProject: per-file budget exceeded, skipping remaining files", {
@@ -49150,6 +49207,7 @@ async function analyzeProject(files, options = {}) {
     projectGraph.addFile(filePath, new CodeGraph(ir));
     sourceLinesByFile.set(filePath, code.split(`
 `));
+    projectSourceChars += code.length;
   }
   const crossFileBudgetMs = options.crossFileBudgetMs ?? 300000;
   const crossFileResult = new CrossFilePass().run(projectGraph, sourceLinesByFile, { budgetMs: crossFileBudgetMs });
@@ -49203,6 +49261,9 @@ async function analyzeProject(files, options = {}) {
   if (perFileBudgetExceeded) {
     projectAnalysis.per_file_budget_exceeded = true;
   }
+  if (projectSizeBudgetExceeded) {
+    projectAnalysis.project_size_budget_exceeded = true;
+  }
   return projectAnalysis;
 }
 function deriveProjectName(paths) {
@@ -50296,7 +50357,7 @@ var colors = {
 };
 
 // src/version.ts
-var version = "4.9.26";
+var version = "4.9.27";
 
 // src/formatters.ts
 var LIBRARY_API_SURFACE_TAG2 = "library-api-surface:caller-responsibility";
@@ -50694,6 +50755,12 @@ function formatResults(results, verbose, crossFileData, profileSummary) {
     lines.push("");
     lines.push(formatCrossFilePaths(crossFileData.taintPaths));
   }
+  if (crossFileData?.projectSizeBudgetExceeded) {
+    lines.push("");
+    lines.push(colors.yellow(`⚠ Project size ceiling reached — analysed ${crossFileData.filesAnalysed ?? "?"} of ${crossFileData.filesTotal ?? "?"} files.`));
+    lines.push(colors.yellow("  Results cover the analysed files only; this is NOT a clean scan of the project."));
+    lines.push(colors.yellow("  Raise or disable the cap with --max-project-source-chars <n> (0 = unlimited)."));
+  }
   if (crossFileData?.budgetExceeded) {
     lines.push("");
     lines.push(colors.yellow("⚠ Cross-file budget exceeded — some cross-file taint paths may be missing."));
@@ -50714,6 +50781,7 @@ function formatJSON(results, crossFileData, profileSummary) {
     cross_file_taint_paths: crossFileData?.taintPaths ?? [],
     cross_file_calls: crossFileData?.crossFileCalls ?? [],
     cross_file_budget_exceeded: crossFileData?.budgetExceeded ?? false,
+    project_size_budget_exceeded: crossFileData?.projectSizeBudgetExceeded ?? false,
     ...profileSummary ? { project_profile: profileSummary } : {},
     summary: {
       filesScanned: results.length,
@@ -50841,8 +50909,8 @@ function generateSarifResults(results, crossFileData) {
 
 // src/build-info.ts
 var buildInfo = {
-  gitSha: "178c681",
-  builtAt: "2026-09-24T18:11:45.249Z"
+  gitSha: "39d07d9",
+  builtAt: "2026-09-29T23:22:05.194Z"
 };
 
 // src/utils/args.ts
@@ -50932,6 +51000,17 @@ SCAN OPTIONS:
                                On exceed: partial taint paths kept, remaining
                                cross-file phases skipped, cross_file_budget_exceeded
                                surfaced in output (text warning / JSON / SARIF field).
+  --max-project-source-chars <n>
+                             Cap the per-file phase by total source characters
+                               [default: scaled to this process's V8 heap limit
+                               (~7000 chars per MB, so ~29M at Node's default
+                               4 GB heap) — 0 = unlimited. Raise it together
+                               with --max-old-space-size, not on its own.]
+                               A project large enough to exhaust the V8 heap would
+                               otherwise abort the process with no results at all.
+                               On exceed: remaining files skipped, results kept for
+                               the analysed subset, project_size_budget_exceeded
+                               surfaced in output (text warning / JSON field).
 
 METRICS OPTIONS:
   -l, --language <lang>      Analyze only files for language (bash|csharp|go|html|java|javascript|typescript|python|rust)
@@ -51350,12 +51429,35 @@ async function scanFile(filePath, language, analyzeOpts) {
     };
   }
 }
-async function scanProject(files, language, analyzeOpts, crossFileBudgetMs) {
-  const filesWithCode = files.map((f) => ({
-    code: readFileSync(f, "utf-8"),
-    filePath: f,
-    language: language || detectLanguage7(f)
-  }));
+var CHARS_PER_MB_OF_HEAP = 7000;
+function defaultMaxProjectSourceChars() {
+  try {
+    const heapMb = getHeapStatistics().heap_size_limit / (1024 * 1024);
+    if (!Number.isFinite(heapMb) || heapMb <= 0)
+      return 32000000;
+    return Math.floor(heapMb * CHARS_PER_MB_OF_HEAP);
+  } catch {
+    return 32000000;
+  }
+}
+async function scanProject(files, language, analyzeOpts, crossFileBudgetMs, maxProjectSourceChars) {
+  const sourceCap = maxProjectSourceChars ?? defaultMaxProjectSourceChars();
+  const filesWithCode = [];
+  let sourceChars = 0;
+  let readTruncated = false;
+  for (const f of files) {
+    const code = readFileSync(f, "utf-8");
+    if (sourceCap > 0 && sourceChars + code.length > sourceCap && filesWithCode.length > 0) {
+      readTruncated = true;
+      break;
+    }
+    sourceChars += code.length;
+    filesWithCode.push({
+      code,
+      filePath: f,
+      language: language || detectLanguage7(f)
+    });
+  }
   const projectResult = await analyzeProject(filesWithCode, {
     passOptions: analyzeOpts?.passOptions,
     disabledPasses: analyzeOpts?.disabledPasses,
@@ -51391,7 +51493,10 @@ async function scanProject(files, language, analyzeOpts, crossFileBudgetMs) {
     crossFileData: {
       taintPaths: projectResult.taint_paths,
       crossFileCalls: projectResult.cross_file_calls,
-      budgetExceeded: projectResult.cross_file_budget_exceeded === true
+      budgetExceeded: projectResult.cross_file_budget_exceeded === true,
+      projectSizeBudgetExceeded: readTruncated || projectResult.project_size_budget_exceeded === true,
+      filesAnalysed: projectResult.files.length,
+      filesTotal: files.length
     }
   };
 }
@@ -51622,7 +51727,7 @@ async function runScan(targetPath, options) {
     if ((await stat2(absPath)).isDirectory()) {
       if (spin)
         spin.text = `Running project analysis on ${files.length} file(s)...`;
-      const projectScan = await scanProject(files, options.language, analyzeOpts, options.crossFileBudgetMs);
+      const projectScan = await scanProject(files, options.language, analyzeOpts, options.crossFileBudgetMs, options.maxProjectSourceChars);
       results = projectScan.results;
       crossFileData = projectScan.crossFileData;
     } else {
@@ -51654,8 +51759,10 @@ async function runScan(targetPath, options) {
           spin.text = `Scanning... (${processed}/${files.length})`;
       }
     }
-    if (spin)
-      spin.succeed(`Scanned ${files.length} file(s)`);
+    if (spin) {
+      const analysed = crossFileData?.projectSizeBudgetExceeded ? crossFileData.filesAnalysed ?? files.length : files.length;
+      spin.succeed(analysed === files.length ? `Scanned ${files.length} file(s)` : `Scanned ${analysed} of ${files.length} file(s) — stopped at the project size ceiling`);
+    }
     if (suppressions.length > 0) {
       const beforeCount = results.reduce((sum, r) => sum + r.vulnerabilities.length, 0) + (crossFileData?.taintPaths.length ?? 0);
       results = applySuppressionsToResults(results, suppressions, process.cwd());
@@ -51731,7 +51838,8 @@ async function runScan(targetPath, options) {
     const qualityCount = allVulns.filter((v) => v.category !== "security").length;
     const errors = results.filter((r) => r.error).length;
     const crossFilePaths = crossFileData?.taintPaths.length ?? 0;
-    const shouldOutput = totalVulns > 0 || crossFilePaths > 0 || errors > 0 || options.verbose || options.output || options.format !== "text";
+    const truncated = crossFileData?.projectSizeBudgetExceeded === true;
+    const shouldOutput = totalVulns > 0 || crossFilePaths > 0 || errors > 0 || options.verbose || options.output || options.format !== "text" || truncated;
     const profileSummary = buildProfileSummary(absPath, detectedModules, resolvedProfiles);
     if (resolvedProfiles) {
       for (const r of results) {
@@ -51763,15 +51871,17 @@ async function runScan(targetPath, options) {
       }
       if (!options.quiet && options.format === "text") {
         console.log();
+        const scanned = crossFileData?.projectSizeBudgetExceeded ? crossFileData.filesAnalysed ?? files.length : files.length;
+        const scannedLabel = crossFileData?.projectSizeBudgetExceeded ? `${scanned} of ${crossFileData.filesTotal ?? files.length} file(s) analysed` : `${scanned} file(s)`;
         if (securityCount > 0) {
-          console.log(colors.red(`Found ${securityCount} security finding(s) in ${files.length} file(s)`));
+          console.log(colors.red(`Found ${securityCount} security finding(s) in ${scannedLabel}`));
         }
         if (qualityCount > 0) {
           const label = securityCount > 0 ? "Also found" : "Found";
-          console.log(colors.yellow(`${label} ${qualityCount} code quality finding(s) in ${files.length} file(s)`));
+          console.log(colors.yellow(`${label} ${qualityCount} code quality finding(s) in ${scannedLabel}`));
         }
         if (securityCount === 0 && qualityCount === 0 && options.verbose) {
-          console.log(colors.green(`No findings in ${files.length} file(s)`));
+          console.log(colors.green(`No findings in ${scannedLabel}`));
         }
         if (errors > 0) {
           console.log(colors.yellow(`${errors} file(s) had errors during analysis`));
@@ -52065,6 +52175,17 @@ function parseCrossFileBudgetMs(raw) {
   }
   return n;
 }
+function parseMaxProjectSourceChars(raw) {
+  if (raw === undefined || raw === true || raw === "")
+    return;
+  const s = String(raw);
+  const n = Number.parseInt(s, 10);
+  if (!Number.isFinite(n) || n < 0 || String(n) !== s) {
+    console.error(colors.yellow(`Warning: invalid --max-project-source-chars "${s}" (expected non-negative integer, 0 = unlimited); ignoring`));
+    return;
+  }
+  return n;
+}
 var SBOM_MANIFESTS = {
   "package.json": parseNpmDependencies,
   "package-lock.json": parseNpmLockDependencies,
@@ -52262,6 +52383,7 @@ Usage: cognium-dev scan <path> [options]`);
       profile: options.profile || options.p,
       disablePass: options["disable-pass"],
       crossFileBudgetMs: parseCrossFileBudgetMs(options["cross-file-budget-ms"]),
+      maxProjectSourceChars: parseMaxProjectSourceChars(options["max-project-source-chars"]),
       projectProfile: parseProjectProfileArg(options["project-profile"]),
       noProjectProfile: options["no-project-profile"] === true,
       projectProfileExplain: options["project-profile-explain"] === true

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "cognium-dev",
-  "version": "4.9.26",
+  "version": "4.9.27",
   "description": "Static Application Security Testing CLI for detecting security vulnerabilities via taint tracking",
   "bin": {
     "cognium-dev": "dist/cli.js"
@@ -65,10 +65,10 @@
   },
   "dependencies": {
     "@cognium/project-profile-detect": "1.1.2",
-    "circle-ir": "4.9.26"
+    "circle-ir": "4.9.27"
   },
   "devDependencies": {
-    "@types/node": "^26.6.1",
+    "@types/node": "^26.6.2",
     "ajv": "^8.17.1",
     "ajv-draft-04": "^1.0.0",
     "bun-types": "^1.4.2",