cognium-dev 3.157.0 → 3.159.0

package/dist/cli.js

@@ -18898,6 +18898,42 @@ function shouldGateInterproceduralParam(sourceType, enclosingMethod, enclosingTy
 // ../circle-ir/dist/analysis/require-entry-path.js
 var RULE_ID_REQUIRE_ENTRY_PATH = "require-entry-path";
 var MAX_VISITED_METHODS = 2000;
+var TAINT_FLOW_RULE_IDS = new Set([
+  "sql_injection",
+  "nosql_injection",
+  "command_injection",
+  "path_traversal",
+  "xss",
+  "xxe",
+  "deserialization",
+  "insecure_deserialization",
+  "ldap_injection",
+  "xpath_injection",
+  "ssrf",
+  "open_redirect",
+  "code_injection",
+  "log_injection",
+  "redos",
+  "format_string",
+  "crlf",
+  "mass_assignment",
+  "mybatis_mapper_call",
+  "external_taint_escape",
+  "template_injection",
+  "sql-injection",
+  "nosql-injection",
+  "command-injection",
+  "path-traversal",
+  "ldap-injection",
+  "xpath-injection",
+  "open-redirect",
+  "code-injection",
+  "log-injection",
+  "format-string",
+  "mass-assignment",
+  "template-injection",
+  "insecure-deserialization"
+]);
 function applyRequireEntryPath(fileAnalyses, options = {}) {
   const disabledSet = normalizeDisabled(options.disabledPasses);
   if (disabledSet.has(RULE_ID_REQUIRE_ENTRY_PATH))
@@ -19033,6 +19069,8 @@ function collectEntryPointKeys(graph) {
 function classifyFinding(finding, ir, graph, entryPointKeys, profile) {
   if (finding.category !== "security")
     return { action: "keep" };
+  if (!TAINT_FLOW_RULE_IDS.has(finding.rule_id))
+    return { action: "keep" };
   const isHighOrCritical = finding.severity === "high" || finding.severity === "critical";
   const language = (ir.meta.language ?? "").toLowerCase();
   if (language !== "java")
@@ -22478,14 +22516,40 @@ class CrossFilePass {
         });
       }
     }
+    const filteredTaintPaths = taintPaths.filter((tp) => {
+      const sinkIR = projectGraph.getIR(tp.sink.file);
+      if (!sinkIR)
+        return true;
+      const sinkTypeStr = tp.sink.type;
+      if (tp.source.file === tp.sink.file) {
+        const lo = Math.min(tp.source.line, tp.sink.line);
+        const hi = Math.max(tp.source.line, tp.sink.line);
+        for (const san of sinkIR.taint.sanitizers ?? []) {
+          if (san.line < lo || san.line > hi)
+            continue;
+          if (san.sanitizes.includes(sinkTypeStr)) {
+            return false;
+          }
+        }
+        return true;
+      }
+      for (const san of sinkIR.taint.sanitizers ?? []) {
+        if (san.line !== tp.sink.line)
+          continue;
+        if (san.sanitizes.includes(sinkTypeStr)) {
+          return false;
+        }
+      }
+      return true;
+    });
     const typeHierarchy = projectGraph.typeHierarchy.toTypeHierarchyData();
     logger.info("cross-file: complete", {
       totalMs: Date.now() - startMs,
-      paths: taintPaths.length,
+      paths: filteredTaintPaths.length,
       crossFileCalls: crossFileCalls.length,
       budgetExceeded: exceeded
     });
-    const result = { crossFileCalls, taintPaths, typeHierarchy };
+    const result = { crossFileCalls, taintPaths: filteredTaintPaths, typeHierarchy };
     if (exceeded)
       result.budgetExceeded = true;
     return result;
@@ -23631,6 +23695,7 @@ class LanguageSourcesPass {
     if (language === "java") {
       additionalSanitizers.push(...findJavaSafeJsonParseSanitizers(code));
       additionalSanitizers.push(...findJavaPathNormalizeStartsWithGuardSanitizers(code));
+      additionalSanitizers.push(...findJavaPathGetFileNameSanitizers(code));
       additionalSanitizers.push(...findJavaInlineCrlfStripLogSanitizers(code));
       additionalSanitizers.push(...findJavaArgvFormExecSanitizers(code));
       for (const finding of findJavaPatternFindings(code, graph.ir.meta.file)) {
@@ -25899,6 +25964,48 @@ function findJavaPathNormalizeStartsWithGuardSanitizers(code) {
   }
   return sanitizers;
 }
+function findJavaPathGetFileNameSanitizers(code) {
+  const sanitizers = [];
+  const lines = code.split(`
+`);
+  const assignmentRe = /^\s*(?:(?:final\s+)?[A-Za-z_][\w.<>?,\s\[\]]*?\s+)?([A-Za-z_]\w*)\s*=\s*(.+?);\s*$/;
+  const rhsHasGetFileNameRe = /\.\s*getFileName\s*\(\s*\)/;
+  const rhsHasPathsChainRe = /\b(?:Paths\s*\.\s*get|Path\s*\.\s*of)\s*\(/;
+  const candidates = [];
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    const m = assignmentRe.exec(lines[i2]);
+    if (!m)
+      continue;
+    const rhs = m[2];
+    if (!rhsHasGetFileNameRe.test(rhs))
+      continue;
+    if (!rhsHasPathsChainRe.test(rhs))
+      continue;
+    candidates.push({ line: i2 + 1, boundVar: m[1] });
+  }
+  if (candidates.length === 0)
+    return sanitizers;
+  for (const c of candidates) {
+    sanitizers.push({
+      type: "java_path_get_filename",
+      method: "getFileName",
+      line: c.line,
+      sanitizes: ["path_traversal", "external_taint_escape"]
+    });
+    const varRefRe = new RegExp(`\\b${c.boundVar}\\b`);
+    for (let l = c.line;l < lines.length; l++) {
+      if (!varRefRe.test(lines[l]))
+        continue;
+      sanitizers.push({
+        type: "java_path_get_filename",
+        method: "getFileName",
+        line: l + 1,
+        sanitizes: ["path_traversal", "external_taint_escape"]
+      });
+    }
+  }
+  return sanitizers;
+}
 function findJavaInlineCrlfStripLogSanitizers(code) {
   const sanitizers = [];
   const lines = code.split(`
@@ -30415,6 +30522,30 @@ class SinkFilterPass {
     }
     if (language === "java") {
       const sourceLines = ctx.code.split(`
+`);
+      filtered = filtered.filter((sink) => {
+        if (sink.type !== "xss")
+          return true;
+        const sinkLineText = sourceLines[sink.line - 1] ?? "";
+        const receiverMatch = sinkLineText.match(/\b(\w+)\s*\.\s*(\w+)\s*\(/);
+        const receiver = receiverMatch?.[1];
+        const method = sink.method ?? receiverMatch?.[2];
+        if ((method === "render" || method === "process" || method === "merge" || method === "renderTo" || method === "apply") && receiver) {
+          const recvType = resolveJavaReceiverType(receiver, sink.line, sourceLines);
+          if (recvType && COMPILED_TEMPLATE_TYPES.has(recvType))
+            return false;
+          if (recvType && TEMPLATE_ENGINE_LITERAL_TARGETS.has(recvType)) {
+            const args2 = extractJavaCallArgs(method, sinkLineText);
+            if (args2 !== null && args2.length >= 1 && isJavaLiteralOrAnnotationAccessor(args2[0])) {
+              return false;
+            }
+          }
+        }
+        return true;
+      });
+    }
+    if (language === "java") {
+      const sourceLines = ctx.code.split(`
 `);
       filtered = filtered.filter((sink) => {
         if (sink.type !== "command_injection")
@@ -38674,10 +38805,22 @@ var TEST_PATH_PATTERNS = [
   /\.spec\.(?:tsx?|jsx?|mjs|cjs)$/i,
   /\.test\.(?:java|kt)$/i
 ];
+var JVM_TEST_FILE_PATTERNS = [
+  /(?:^|\/)[A-Za-z_]\w*(?:Test|Tests|Spec|IT|ITCase|TestCase)\.(?:java|kt|scala|groovy)$/,
+  /(?:^|\/)[A-Za-z_]\w*\.(?:test|spec)\.(?:java|kt|scala|groovy)$/i
+];
+var JVM_SOURCE_FILE_RE = /\.(?:java|kt|scala|groovy)$/i;
 function isTestPath(filepath) {
   if (!filepath)
     return false;
   const normalized = filepath.replace(/\\/g, "/");
+  if (JVM_SOURCE_FILE_RE.test(normalized)) {
+    for (const pattern of JVM_TEST_FILE_PATTERNS) {
+      if (pattern.test(normalized))
+        return true;
+    }
+    return false;
+  }
   for (const pattern of TEST_PATH_PATTERNS) {
     if (pattern.test(normalized))
       return true;
@@ -43608,7 +43751,7 @@ var colors = {
 };
 
 // src/version.ts
-var version = "3.157.0";
+var version = "3.159.0";
 
 // src/formatters.ts
 var LIBRARY_API_SURFACE_TAG2 = "library-api-surface:caller-responsibility";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "cognium-dev",
-  "version": "3.157.0",
+  "version": "3.159.0",
   "description": "Static Application Security Testing CLI for detecting security vulnerabilities via taint tracking",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
@@ -66,7 +66,7 @@
   },
   "dependencies": {
     "@cognium/project-profile-detect": "^1.1.0",
-    "circle-ir": "^3.157.0"
+    "circle-ir": "^3.159.0"
   },
   "devDependencies": {
     "@types/node": "^25.5.0",