cognium-dev 4.9.27 → 4.9.28

package/dist/cli.js

@@ -5506,6 +5506,33 @@ function extractCSharpCalls(tree, cache) {
       });
       continue;
     }
+    if (left?.type === "identifier" && asn.parent?.type === "initializer_expression") {
+      const creation = asn.parent.parent;
+      if (creation?.type !== "object_creation_expression")
+        continue;
+      const ctorType = creation.childForFieldName("type");
+      const right2 = asn.childForFieldName("right");
+      if (!ctorType || !right2)
+        continue;
+      const typeName = csharpBareName(ctorType);
+      const rhsText2 = getNodeText(right2);
+      calls.push({
+        method_name: getNodeText(left),
+        receiver: typeName,
+        receiver_type: typeName,
+        receiver_type_fqn: null,
+        arguments: [{
+          position: 0,
+          expression: rhsText2,
+          variable: right2.type === "identifier" ? rhsText2 : null,
+          literal: CSHARP_LITERAL_NODE_TYPES.has(right2.type) ? rhsText2 : null,
+          value: null
+        }],
+        location: { line: asn.startPosition.row + 1, column: asn.startPosition.column },
+        in_method: findEnclosingMethod(asn)
+      });
+      continue;
+    }
     if (left?.type !== "member_access_expression")
       continue;
     const nameNode = left.childForFieldName("name");
@@ -5518,6 +5545,15 @@ function extractCSharpCalls(tree, cache) {
       const recvType = recv ? typeMap.get(recv) : undefined;
       if (recvType !== "DirectorySearcher")
         continue;
+    } else if (propName === "StatusDescription") {
+      const recv = exprNode ? getNodeText(exprNode) : "";
+      if (!/(^|\.)(Response|HttpResponse|Context\.Response)$/.test(recv))
+        continue;
+    } else if (propName === "BaseAddress") {
+      const recv = exprNode ? getNodeText(exprNode) : null;
+      const recvType = recv ? typeMap.get(recv) : undefined;
+      if (recvType !== "HttpClient")
+        continue;
     } else if (propName !== "CommandText") {
       continue;
     }
@@ -5541,8 +5577,36 @@ function extractCSharpCalls(tree, cache) {
       in_method: findEnclosingMethod(asn)
     });
   }
+  const casts = getNodesFromCache(tree.rootNode, "cast_expression", cache);
+  for (const cast of casts) {
+    const typeNode = cast.childForFieldName("type");
+    const valueNode = cast.childForFieldName("value");
+    if (!typeNode || !valueNode)
+      continue;
+    const typeName = csharpBareName(typeNode);
+    if (!CSHARP_RAW_MARKUP_CAST_TYPES.has(typeName))
+      continue;
+    const valueText = getNodeText(valueNode);
+    calls.push({
+      method_name: typeName,
+      receiver: null,
+      receiver_type: null,
+      receiver_type_fqn: null,
+      arguments: [{
+        position: 0,
+        expression: valueText,
+        variable: valueNode.type === "identifier" ? valueText : null,
+        literal: CSHARP_LITERAL_NODE_TYPES.has(valueNode.type) ? valueText : null,
+        value: null
+      }],
+      location: { line: cast.startPosition.row + 1, column: cast.startPosition.column },
+      in_method: findEnclosingMethod(cast),
+      is_constructor: true
+    });
+  }
   return calls;
 }
+var CSHARP_RAW_MARKUP_CAST_TYPES = new Set(["MarkupString"]);
 function extractCSharpArguments(argsNode) {
   const args2 = [];
   let position = 0;
@@ -5563,12 +5627,22 @@ function extractCSharpArguments(argsNode) {
       position: position++,
       expression: text,
       variable: expr?.type === "identifier" ? text : null,
-      literal: expr?.type === "string_literal" ? text : null,
+      literal: expr && CSHARP_LITERAL_NODE_TYPES.has(expr.type) ? text : null,
       value: null
     });
   }
   return args2;
 }
+var CSHARP_LITERAL_NODE_TYPES = new Set([
+  "string_literal",
+  "verbatim_string_literal",
+  "raw_string_literal",
+  "character_literal",
+  "integer_literal",
+  "real_literal",
+  "boolean_literal",
+  "null_literal"
+]);
 function extractJavaScriptCalls(tree, cache) {
   const calls = [];
   const context = buildJSResolutionContext(tree, cache);
@@ -12482,8 +12556,6 @@ var DEFAULT_SINKS = [
   { method: "deserialize", class: "bincode", type: "deserialization", cwe: "CWE-502", severity: "critical", arg_positions: [0] },
   { method: "from_str", class: "toml", type: "deserialization", cwe: "CWE-502", severity: "high", arg_positions: [0] },
   { method: "from_str", class: "ron", type: "deserialization", cwe: "CWE-502", severity: "high", arg_positions: [0] },
-  { method: "from_str", type: "deserialization", cwe: "CWE-502", severity: "medium", arg_positions: [0] },
-  { method: "from_slice", type: "deserialization", cwe: "CWE-502", severity: "medium", arg_positions: [0] },
   { method: "body", class: "HttpResponseBuilder", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0] },
   { method: "body", class: "HttpResponse", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0] },
   { method: "Html", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0] },
@@ -12707,10 +12779,12 @@ var DEFAULT_SINKS = [
   { 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: "StatusDescription", class: "Response", type: "xss", cwe: "CWE-81", severity: "medium", arg_positions: [0], languages: ["csharp"] },
   { method: "Content", type: "xss", cwe: "CWE-79", severity: "high", arg_positions: [0], languages: ["csharp"] },
   { method: "Format", class: "String", type: "format_string", cwe: "CWE-134", severity: "medium", arg_positions: [0], languages: ["csharp"] },
   { method: "DirectorySearcher", type: "ldap_injection", cwe: "CWE-90", severity: "high", arg_positions: [0], languages: ["csharp"] },
   { method: "DirectoryEntry", type: "ldap_injection", cwe: "CWE-90", severity: "high", arg_positions: [0], languages: ["csharp"] },
+  { method: "BaseAddress", class: "HttpClient", type: "ssrf", cwe: "CWE-918", severity: "high", arg_positions: [0], languages: ["csharp"] },
   { method: "Redirect", type: "open_redirect", cwe: "CWE-601", severity: "medium", arg_positions: [0], languages: ["csharp"] },
   { method: "RedirectPermanent", type: "open_redirect", cwe: "CWE-601", severity: "medium", arg_positions: [0], languages: ["csharp"] },
   { method: "AddHeader", type: "crlf", cwe: "CWE-113", severity: "medium", arg_positions: [1], languages: ["csharp"] },
@@ -14920,8 +14994,9 @@ function matchesSinkPattern(call, pattern, typeHierarchy, language) {
       return false;
     } else if (!call.receiver && !call.receiver_type) {
       const target = call.resolution?.target;
+      const normalisedTarget = language === "rust" ? target?.replace(/::/g, ".") : target;
       const expectedTail = `${pattern.class}.${pattern.method}`;
-      if (target && (target === expectedTail || target.endsWith("." + expectedTail))) {} else {
+      if (normalisedTarget && (normalisedTarget === expectedTail || normalisedTarget.endsWith("." + expectedTail))) {} else {
         return false;
       }
     }
@@ -26079,7 +26154,7 @@ class LanguageSourcesPass {
       }
     }
     if (language === "csharp") {
-      additionalSanitizers.push(...findCSharpFullPathStartsWithGuardSanitizers(code));
+      additionalSanitizers.push(...findCSharpFullPathStartsWithGuardSanitizers(code), ...findCSharpEarlyReturnGuardSanitizers(code, language));
     }
     if (language === "java") {
       additionalSanitizers.push(...findJavaSafeJsonParseSanitizers(code));
@@ -29574,6 +29649,76 @@ function guardRejects(lines, i2, terminatorRe, window2) {
   }
   return false;
 }
+function findCSharpEarlyReturnGuardSanitizers(code, language) {
+  if (language !== "csharp")
+    return [];
+  const sanitizers = [];
+  const lines = code.split(`
+`);
+  const terminatorRe = /\b(throw|return)\b/;
+  const allowlistRes = [
+    /\bif\s*\(\s*Array\s*\.\s*IndexOf\s*\([^,]+,\s*([A-Za-z_][\w.]*)\s*\)\s*<\s*0\s*\)/,
+    /\bif\s*\(\s*!\s*[A-Za-z_][\w.]*\s*\.\s*Contains\s*\(\s*([A-Za-z_][\w.]*)\s*\)\s*\)/
+  ];
+  const charClassRe = /\bif\s*\(\s*!\s*([A-Za-z_][\w.]*)\s*\.\s*All\s*\(\s*char\s*\.\s*Is[A-Za-z]+\s*\)\s*\)/;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    let guardedExpr = null;
+    for (const re of allowlistRes) {
+      const m = re.exec(lines[i2]);
+      if (m) {
+        guardedExpr = m[1];
+        break;
+      }
+    }
+    if (!guardedExpr) {
+      const m = charClassRe.exec(lines[i2]);
+      if (m)
+        guardedExpr = m[1];
+    }
+    if (!guardedExpr)
+      continue;
+    if (!guardRejects(lines, i2, terminatorRe, 6))
+      continue;
+    const root = guardedExpr.split(".")[0];
+    const guarded = new Set([guardedExpr, root]);
+    const assignRe = /^\s*(?:(?:var|string)\s+)?([A-Za-z_]\w*)\s*=(?!=)\s*(.*)$/;
+    for (let b = i2 - 1;b >= 0; b--) {
+      const a = assignRe.exec(lines[b]);
+      if (!a || !guarded.has(a[1]))
+        continue;
+      for (const id of a[2].match(/[A-Za-z_]\w*/g) ?? [])
+        guarded.add(id);
+    }
+    const mentions = (t) => {
+      for (const n of guarded)
+        if (new RegExp(`\\b${n.replace(/[.*+?^${}()|[\]\\]/g, "\\$&")}\\b`).test(t))
+          return true;
+      return false;
+    };
+    for (let l = i2 + 1;l < lines.length; l++) {
+      const a = assignRe.exec(lines[l]);
+      if (a && mentions(a[2]))
+        guarded.add(a[1]);
+      if (mentions(lines[l])) {
+        sanitizers.push({
+          type: "csharp_early_return_guard",
+          method: "guard",
+          line: l + 1,
+          sanitizes: [
+            "ssrf",
+            "xpath_injection",
+            "ldap_injection",
+            "path_traversal",
+            "command_injection",
+            "sql_injection",
+            "external_taint_escape"
+          ]
+        });
+      }
+    }
+  }
+  return sanitizers;
+}
 function findCSharpFullPathStartsWithGuardSanitizers(code) {
   const sanitizers = [];
   const lines = code.split(`
@@ -36647,6 +36792,65 @@ class LibraryProfileXssGatePass {
 }
 
 // ../circle-ir/dist/analysis/passes/taint-propagation-pass.js
+var CONTAINER_READ_SOURCES = new Set(["plugin_param", "config_param"]);
+function makeConstPropVeto(constProp, graph, sources, code) {
+  const lines = typeof code === "string" ? code.split(`
+`) : [];
+  const selfReassign = new Map;
+  const escape = (v) => v.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+  for (const [line, defs] of graph.defsByLine) {
+    const text = lines[line - 1];
+    if (!text)
+      continue;
+    for (const d of defs) {
+      if (d.kind !== "local" && d.kind !== "param")
+        continue;
+      const v = escape(d.variable);
+      const m = new RegExp(`(?:^|[^\\w.$])${v}\\s*(?:([-+*/%&|^]|<<|>>)=|=(?!=))(.*)$`).exec(text);
+      if (!m)
+        continue;
+      if (m[1] || new RegExp(`(?:^|[^\\w.$])${v}\\b`).test(m[2])) {
+        const arr = selfReassign.get(d.variable) ?? [];
+        arr.push(line);
+        selfReassign.set(d.variable, arr);
+      }
+    }
+  }
+  const reassignedAt = (v, line) => (selfReassign.get(v) ?? []).includes(line);
+  const defAt = (v, line) => {
+    const own = (graph.defsByLine.get(line) ?? []).find((d) => d.variable === v);
+    if (own)
+      return own;
+    const use = (graph.usesByLine.get(line) ?? []).find((u) => u.variable === v && u.def_id != null);
+    return use ? graph.defById.get(use.def_id) : undefined;
+  };
+  return (step, sourceLine, sinkLine) => {
+    const r = isFalsePositive(constProp, step.line, step.variable);
+    if (!r.isFalsePositive)
+      return false;
+    if (r.reason !== "variable_not_tainted")
+      return true;
+    const lo = Math.min(sourceLine, sinkLine);
+    let d = defAt(step.variable, step.line);
+    let selfHops = 0;
+    for (let guard = 0;d && d.line > lo && reassignedAt(d.variable, d.line) && guard < 32; guard++) {
+      const here = d.id;
+      const prior = (graph.usesByLine.get(d.line) ?? []).find((u) => u.variable === d.variable && u.def_id != null && u.def_id !== here);
+      if (!prior)
+        break;
+      selfHops++;
+      d = graph.defById.get(prior.def_id);
+    }
+    if (!d)
+      return true;
+    if (d.line === sourceLine && sources.some((s) => s.line === sourceLine && !CONTAINER_READ_SOURCES.has(s.type)))
+      return false;
+    if (selfHops > 0 && d.line >= lo)
+      return false;
+    return true;
+  };
+}
+
 class TaintPropagationPass {
   name = "taint-propagation";
   category = "security";
@@ -36664,12 +36868,12 @@ class TaintPropagationPass {
       return { flows: [] };
     }
     const propagationResult = propagateTaint(graph, sources, sinks, sanitizers);
+    const isVetoed = makeConstPropVeto(constProp, graph, sources, ctx.code);
     const verifiedFlows = propagationResult.flows.filter((flow) => {
       if (constProp.unreachableLines.has(flow.sink.line))
         return false;
       for (const step of flow.path) {
-        const fpCheck = isFalsePositive(constProp, step.line, step.variable);
-        if (fpCheck.isFalsePositive)
+        if (isVetoed(step, flow.source.line, flow.sink.line))
           return false;
       }
       if (isCorrelatedPredicateFP(constProp, flow))
@@ -36775,7 +36979,7 @@ class TaintPropagationPass {
         continue;
       let isFP = false;
       for (const step of f.path) {
-        if (isFalsePositive(constProp, step.line, step.variable).isFalsePositive) {
+        if (isVetoed(step, f.source_line, f.sink_line)) {
           isFP = true;
           break;
         }
@@ -36801,7 +37005,7 @@ class TaintPropagationPass {
         continue;
       let isFP = false;
       for (const step of f.path) {
-        if (isFalsePositive(constProp, step.line, step.variable).isFalsePositive) {
+        if (isVetoed(step, f.source_line, f.sink_line)) {
           isFP = true;
           break;
         }
@@ -38205,6 +38409,109 @@ var GO_PURE_PACKAGES = new Set([
   "hex",
   "base64"
 ]);
+var CSHARP_PURE_STATIC_RECEIVERS = new Set([
+  "string",
+  "String",
+  "Convert",
+  "Encoding",
+  "BitConverter",
+  "Math",
+  "Int16",
+  "Int32",
+  "Int64",
+  "UInt16",
+  "UInt32",
+  "UInt64",
+  "Double",
+  "Single",
+  "Decimal",
+  "Boolean",
+  "Byte",
+  "SByte",
+  "Char",
+  "Guid",
+  "DateTime",
+  "DateTimeOffset",
+  "TimeSpan",
+  "Enum",
+  "Array",
+  "Buffer",
+  "Nullable",
+  "CultureInfo",
+  "StringComparer",
+  "Comparer",
+  "EqualityComparer",
+  "Console",
+  "Debug",
+  "Trace",
+  "Logger",
+  "logger",
+  "_logger",
+  "Log"
+]);
+var CSHARP_NON_ESCAPE_METHODS = new Set([
+  "ToString",
+  "ToArray",
+  "ToList",
+  "ToCharArray",
+  "GetHashCode",
+  "Equals",
+  "CompareTo",
+  "Trim",
+  "TrimStart",
+  "TrimEnd",
+  "Substring",
+  "Split",
+  "Join",
+  "Concat",
+  "PadLeft",
+  "PadRight",
+  "ToLower",
+  "ToUpper",
+  "ToLowerInvariant",
+  "ToUpperInvariant",
+  "StartsWith",
+  "EndsWith",
+  "Contains",
+  "IndexOf",
+  "LastIndexOf",
+  "Insert",
+  "Remove",
+  "Normalize",
+  "Append",
+  "AppendLine",
+  "AppendFormat",
+  "TryParse",
+  "Parse",
+  "LogInformation",
+  "LogWarning",
+  "LogError",
+  "LogDebug",
+  "LogTrace",
+  "LogCritical",
+  "Information",
+  "Warning",
+  "Verbose",
+  "Fatal",
+  "BeginScope",
+  "Add",
+  "AddLast",
+  "AddFirst",
+  "AddRange",
+  "TryAdd",
+  "Insert",
+  "Push",
+  "Enqueue"
+]);
+function isCSharpNonEscapeCall(call) {
+  const name2 = call.method_name;
+  const recv = (call.receiver ?? "").split(".").pop() ?? "";
+  if (CSHARP_PURE_STATIC_RECEIVERS.has(recv))
+    return true;
+  if (CSHARP_NON_ESCAPE_METHODS.has(name2))
+    return true;
+  return false;
+}
 function isGoNonEscapeCall(call) {
   const name2 = call.method_name;
   const recv = (call.receiver ?? "").split(".").pop() ?? "";
@@ -38452,6 +38759,9 @@ function analyzeInterprocedural2(graphOrTypes, callsOrSources, dfgOrSinks, sourc
         if (graph.ir.meta.language === "go" && isGoNonEscapeCall(call)) {
           continue;
         }
+        if (graph.ir.meta.language === "csharp" && isCSharpNonEscapeCall(call)) {
+          continue;
+        }
         const bashSafeBuiltins = new Set([
           "echo",
           "printf",
@@ -40086,6 +40396,8 @@ class VariableShadowingPass {
             const outerEntry = declLocals[0];
             for (let i2 = 1;i2 < numDeclLocals; i2++) {
               const inner = declLocals[i2];
+              if (inner.def.line <= outerEntry.def.line)
+                continue;
               if (!isInNestedScope(codeLines, outerEntry.def.line, inner.def.line))
                 continue;
               const key = `${variable}-${inner.def.line}`;
@@ -50357,7 +50669,7 @@ var colors = {
 };
 
 // src/version.ts
-var version = "4.9.27";
+var version = "4.9.28";
 
 // src/formatters.ts
 var LIBRARY_API_SURFACE_TAG2 = "library-api-surface:caller-responsibility";
@@ -50909,8 +51221,8 @@ function generateSarifResults(results, crossFileData) {
 
 // src/build-info.ts
 var buildInfo = {
-  gitSha: "39d07d9",
-  builtAt: "2026-09-29T23:22:05.194Z"
+  gitSha: "7bfe5de",
+  builtAt: "2026-10-01T00:24:15.337Z"
 };
 
 // src/utils/args.ts

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "cognium-dev",
-  "version": "4.9.27",
+  "version": "4.9.28",
   "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.9.27"
+    "circle-ir": "4.9.28"
   },
   "devDependencies": {
     "@types/node": "^26.6.2",