cognium-dev 4.11.0 → 4.12.0

package/dist/cli.js

@@ -9403,6 +9403,31 @@ function processStatement2(stmt, startDefId, startUseId, scopeStack, isJavaScrip
       }
       break;
     }
+    case "switch_expression":
+    case "switch_statement": {
+      const value = stmt.childForFieldName("condition") ?? stmt.childForFieldName("value");
+      if (value) {
+        const valueUses = extractUses(value, useId, scopeStack, isJavaScript);
+        uses.push(...valueUses.uses);
+        useId = valueUses.nextId;
+      }
+      const body2 = stmt.childForFieldName("body");
+      if (body2) {
+        scopeStack.push(new Map);
+        for (let i2 = 0;i2 < body2.childCount; i2++) {
+          const group = body2.child(i2);
+          if (!group)
+            continue;
+          const result = processBlock(group, defId, useId, scopeStack, isJavaScript);
+          defs.push(...result.defs);
+          uses.push(...result.uses);
+          defId = result.nextDefId;
+          useId = result.nextUseId;
+        }
+        scopeStack.pop();
+      }
+      break;
+    }
     case "block":
     case "statement_block": {
       scopeStack.push(new Map);
@@ -11404,6 +11429,7 @@ var DEFAULT_SOURCES = [
   { method: "get", class: "ConcurrentHashMap", type: "plugin_param", severity: "high", return_tainted: true },
   { method: "get", class: "Hashtable", type: "plugin_param", severity: "high", return_tainted: true },
   { method: "get", class: "Properties", type: "config_param", severity: "high", return_tainted: true },
+  { method: "getProperty", class: "Properties", type: "config_param", severity: "high", return_tainted: true },
   { method: "getText", class: "Message", type: "io_input", severity: "high", return_tainted: true },
   { method: "getPayload", type: "io_input", severity: "high", return_tainted: true },
   { method: "getData", type: "io_input", severity: "high", return_tainted: true },
@@ -11986,8 +12012,8 @@ var DEFAULT_SINKS = [
   { method: "write", class: "PrintWriter", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0] },
   { method: "println", class: "PrintWriter", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0] },
   { method: "print", class: "PrintWriter", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0] },
-  { method: "format", class: "PrintWriter", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0, 1] },
-  { method: "printf", class: "PrintWriter", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0, 1] },
+  { method: "format", class: "PrintWriter", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0, 1, 2, 3, 4, 5, 6, 7] },
+  { method: "printf", class: "PrintWriter", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0, 1, 2, 3, 4, 5, 6, 7] },
   { method: "write", class: "ServletOutputStream", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0] },
   { method: "print", class: "ServletOutputStream", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0] },
   { method: "println", class: "ServletOutputStream", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0] },
@@ -20183,9 +20209,18 @@ class ConstantPropagator {
         }
       }
     } else {
+      const taintedBefore = new Set(this.tainted);
+      const taintedAfter = new Set(taintedBefore);
+      const wasInConditional = this.inConditionalBranch;
+      this.inConditionalBranch = true;
       for (const caseGroup of caseGroups) {
+        this.tainted = new Set(taintedBefore);
         this.visit(caseGroup);
+        for (const v of this.tainted)
+          taintedAfter.add(v);
       }
+      this.inConditionalBranch = wasInConditional;
+      this.tainted = taintedAfter;
     }
   }
   handleTernary(node) {
@@ -21260,7 +21295,11 @@ function annotationsInclude(annotations, targets) {
   return false;
 }
 function simpleTypeName(ref) {
-  return ref.replace(/<.*$/, "").trim();
+  const name2 = ref.replace(/<.*$/, "").trim();
+  return name2.substring(name2.lastIndexOf(".") + 1);
+}
+function isSupertypeLifecycleMethod(supertype, methodName) {
+  return TIER_1_BY_SUPERTYPE.get(simpleTypeName(supertype))?.has(methodName) ?? false;
 }
 function looksLikeMainMethod(method) {
   if (method.name !== "main")
@@ -21822,7 +21861,7 @@ function applyRequireEntryPath(fileAnalyses, options = {}) {
   if (graph.methodsByKey.size === 0)
     return;
   const fileContext = buildFileContext(fileAnalyses);
-  const entryPointKeys = collectEntryPointKeys(graph, fileContext);
+  const entryPointKeys = collectEntryPointKeys(graph, fileContext, indexTypesByName(fileAnalyses));
   const entryPointKeysByLanguage = countEntryPointKeysByLanguage(graph, entryPointKeys);
   const profileResolver = makeProfileResolver(options.projectProfile);
   for (const fa of fileAnalyses) {
@@ -21984,7 +22023,7 @@ function resolveCalleeKeys(call, methodsByKey, methodsByName) {
   }
   return candidates;
 }
-function collectEntryPointKeys(graph, fileContext) {
+function collectEntryPointKeys(graph, fileContext, typesByName) {
   const entryPoints = new Set;
   for (const rec of graph.methodsByKey.values()) {
     const fileCtx = fileContext.get(rec.file);
@@ -21995,11 +22034,48 @@ function collectEntryPointKeys(graph, fileContext) {
       calls: fileCtx?.calls ?? null,
       runtimeRegistrations: fileCtx?.runtimeRegistrations ?? null
     });
-    if (tier === "TIER_1_ENTRY_POINT")
+    if (tier === "TIER_1_ENTRY_POINT" || inheritsLifecycleEntry(rec.method.name, rec.enclosingType, typesByName)) {
       entryPoints.add(rec.key);
+    }
   }
   return entryPoints;
 }
+function indexTypesByName(fileAnalyses) {
+  const byName = new Map;
+  for (const fa of fileAnalyses) {
+    for (const t of fa.analysis.types ?? []) {
+      const list = byName.get(t.name) ?? [];
+      list.push(t);
+      byName.set(t.name, list);
+    }
+  }
+  return byName;
+}
+var simpleName = (ref) => {
+  const name2 = ref.replace(/<.*$/, "").trim();
+  return name2.substring(name2.lastIndexOf(".") + 1);
+};
+function inheritsLifecycleEntry(methodName, enclosingType, typesByName) {
+  if (!methodName || !enclosingType?.extends)
+    return false;
+  const seen = new Set([enclosingType]);
+  let frontier = typesByName.get(simpleName(enclosingType.extends)) ?? [];
+  for (let depth = 0;depth < 8 && frontier.length > 0; depth++) {
+    const next = [];
+    for (const ancestor of frontier) {
+      if (seen.has(ancestor))
+        continue;
+      seen.add(ancestor);
+      const supers = [ancestor.extends, ...ancestor.implements ?? []].filter((x) => !!x);
+      if (supers.some((sup) => isSupertypeLifecycleMethod(sup, methodName)))
+        return true;
+      if (ancestor.extends)
+        next.push(...typesByName.get(simpleName(ancestor.extends)) ?? []);
+    }
+    frontier = next;
+  }
+  return false;
+}
 function buildFileContext(fileAnalyses) {
   const out2 = new Map;
   for (const fa of fileAnalyses) {
@@ -26307,7 +26383,8 @@ class LanguageSourcesPass {
       for (const finding of findJavaPatternFindings(code, graph.ir.meta.file)) {
         ctx.addFinding(finding);
       }
-      for (const finding of findJavaResponseWriterXssFindings(code, graph.ir.meta.file)) {
+      const xssSinkLines = new Set(ctx.getResult("taint-matcher").sinks.filter((s) => s.type === "xss").map((s) => s.line));
+      for (const finding of findJavaResponseWriterXssFindings(code, graph.ir.meta.file, xssSinkLines)) {
         ctx.addFinding(finding);
       }
       for (const finding of findJavaMongoNosqlInjectionFindings(code, graph.ir.meta.file)) {
@@ -30861,7 +30938,7 @@ function findGoXssFindings(code, file) {
   }
   return out2;
 }
-function findJavaResponseWriterXssFindings(code, file) {
+function findJavaResponseWriterXssFindings(code, file, taintSinkLines = new Set) {
   const out2 = [];
   const lines = code.split(`
 `);
@@ -30897,6 +30974,8 @@ function findJavaResponseWriterXssFindings(code, file) {
     const m = trimmed.match(chainRe);
     if (!m)
       continue;
+    if (taintSinkLines.has(i2 + 1))
+      continue;
     const recv = m[1];
     if (!respNames.has(recv))
       continue;
@@ -37919,8 +37998,53 @@ function isReassignedToLiteralBetween(code, variable, srcLine, sinkLine) {
     const line = lines[i2];
     if (!line)
       continue;
-    if (reNaked.test(line) || reGuarded.test(line) || reSwitchCase.test(line))
+    if (reGuarded.test(line))
       return true;
+    if (!reNaked.test(line) && !reSwitchCase.test(line))
+      continue;
+    if (switchAlsoAssignsNonLiteral(lines, i2, variable, strLit))
+      continue;
+    return true;
+  }
+  return false;
+}
+function switchAlsoAssignsNonLiteral(lines, idx, variable, strLit) {
+  let depth = 0;
+  let start2 = -1;
+  for (let i2 = idx;i2 >= 0; i2--) {
+    const line = lines[i2];
+    for (let c = line.length - 1;c >= 0; c--) {
+      if (line[c] === "}")
+        depth++;
+      else if (line[c] === "{")
+        depth--;
+    }
+    if (depth < 0) {
+      if (/\bswitch\b/.test(line))
+        start2 = i2;
+      break;
+    }
+  }
+  if (start2 < 0)
+    return false;
+  const assign = new RegExp(`(?:^|[^\\w.$])${variable}\\s*(?::?=)(?!=)\\s*(.*?)\\s*;?\\s*(?:break\\s*;?)?\\s*$`);
+  const literalOnly = new RegExp(`^${strLit}$`);
+  depth = 0;
+  for (let i2 = start2;i2 < lines.length; i2++) {
+    const line = lines[i2];
+    if (i2 > start2 || line.includes("{")) {
+      const m = assign.exec(line);
+      if (m && m[1] && !literalOnly.test(m[1]))
+        return true;
+    }
+    for (const ch of line) {
+      if (ch === "{")
+        depth++;
+      else if (ch === "}")
+        depth--;
+    }
+    if (i2 > start2 && depth <= 0)
+      break;
   }
   return false;
 }
@@ -51011,7 +51135,7 @@ var colors = {
 };
 
 // src/version.ts
-var version = "4.11.0";
+var version = "4.12.0";
 
 // src/formatters.ts
 var LIBRARY_API_SURFACE_TAG2 = "library-api-surface:caller-responsibility";
@@ -51563,8 +51687,8 @@ function generateSarifResults(results, crossFileData) {
 
 // src/build-info.ts
 var buildInfo = {
-  gitSha: "165e82d",
-  builtAt: "2026-10-07T23:49:13.604Z"
+  gitSha: "8c284bc",
+  builtAt: "2026-10-08T00:42:12.776Z"
 };
 
 // src/utils/args.ts

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "cognium-dev",
-  "version": "4.11.0",
+  "version": "4.12.0",
   "description": "Static Application Security Testing CLI for detecting security vulnerabilities via taint tracking",
   "bin": {
     "cognium-dev": "dist/cli.js"
@@ -65,7 +65,7 @@
   },
   "dependencies": {
     "@cognium/project-profile-detect": "1.1.2",
-    "circle-ir": "4.11.0"
+    "circle-ir": "4.12.0"
   },
   "devDependencies": {
     "@types/node": "^26.6.4",