cognium-dev 4.9.28 → 4.10.0

package/dist/cli.js

@@ -3667,7 +3667,7 @@ function detectLanguage(tree) {
     return "python";
   return jsScore > javaScore ? "javascript" : "java";
 }
-function extractTypes(tree, cache, language) {
+function extractTypes(tree, cache, language, options) {
   const effectiveLanguage = language ?? detectLanguage(tree);
   const isJavaScript = effectiveLanguage === "javascript" || effectiveLanguage === "typescript" || effectiveLanguage === "tsx";
   const isPython = effectiveLanguage === "python";
@@ -3687,7 +3687,27 @@ function extractTypes(tree, cache, language) {
   if (effectiveLanguage === "csharp") {
     return extractCSharpTypes(tree, cache);
   }
-  return extractJavaTypes(tree, cache);
+  return extractJavaTypes(tree, cache, options);
+}
+function csharpMemberNodes(body2) {
+  if (!body2)
+    return [];
+  const out2 = [];
+  const visit = (parent, depth) => {
+    if (depth > 32)
+      return;
+    for (let i2 = 0;i2 < parent.childCount; i2++) {
+      const c = parent.child(i2);
+      if (!c)
+        continue;
+      if (c.type.startsWith("preproc_"))
+        visit(c, depth + 1);
+      else
+        out2.push(c);
+    }
+  };
+  visit(body2, 0);
+  return out2;
 }
 function extractCSharpTypes(tree, cache) {
   const types = [];
@@ -3705,9 +3725,8 @@ function extractCSharpTypes(tree, cache) {
       const methods = [];
       const fields = extractCSharpFields(body2);
       if (body2) {
-        for (let i2 = 0;i2 < body2.childCount; i2++) {
-          const m = body2.child(i2);
-          if (!m || m.type !== "method_declaration")
+        for (const m of csharpMemberNodes(body2)) {
+          if (m.type !== "method_declaration")
             continue;
           const mName = m.childForFieldName("name");
           const paramList = m.childForFieldName("parameters");
@@ -3761,10 +3780,7 @@ function extractCSharpFields(body2) {
   const fields = [];
   if (!body2)
     return fields;
-  for (let i2 = 0;i2 < body2.childCount; i2++) {
-    const c = body2.child(i2);
-    if (!c)
-      continue;
+  for (const c of csharpMemberNodes(body2)) {
     if (c.type === "field_declaration") {
       let varDecl = null;
       for (let k = 0;k < c.childCount; k++) {
@@ -3827,7 +3843,7 @@ function extractCSharpModifiers(node) {
   }
   return mods;
 }
-function extractJavaTypes(tree, cache) {
+function extractJavaTypes(tree, cache, options) {
   const types = [];
   const classes = getNodesFromCache(tree.rootNode, "class_declaration", cache);
   for (const cls of classes) {
@@ -3841,8 +3857,81 @@ function extractJavaTypes(tree, cache) {
   for (const enumDecl of enums) {
     types.push(extractEnumInfo(enumDecl));
   }
+  if (!options?.navigationTypes)
+    return types;
+  for (const rec of getNodesFromCache(tree.rootNode, "record_declaration", cache)) {
+    const info2 = extractClassInfo(rec);
+    info2.is_record = true;
+    for (const comp of recordComponents(rec)) {
+      if (!info2.fields.some((f) => f.name === comp.name)) {
+        info2.fields.push({
+          name: comp.name,
+          type: comp.type,
+          modifiers: ["private", "final"],
+          annotations: []
+        });
+      }
+      if (!info2.methods.some((m) => m.name === comp.name)) {
+        info2.methods.push({
+          name: comp.name,
+          return_type: comp.type,
+          parameters: [],
+          annotations: [],
+          modifiers: ["public"],
+          start_line: rec.startPosition.row + 1,
+          end_line: rec.startPosition.row + 1
+        });
+      }
+    }
+    types.push(info2);
+  }
+  const declNodes = [
+    ...classes,
+    ...interfaces,
+    ...enums,
+    ...getNodesFromCache(tree.rootNode, "record_declaration", cache)
+  ];
+  for (const t of types) {
+    const node = declNodes.find((n) => n.startPosition.row + 1 === t.start_line && getIdentifier(n, "name") === t.name);
+    const path = node ? enclosingTypePath(node) : [];
+    if (path.length > 0)
+      t.enclosing_type = path.join(".");
+  }
   return types;
 }
+function recordComponents(node) {
+  const out2 = [];
+  const params = node.childForFieldName("parameters");
+  if (!params)
+    return out2;
+  for (let i2 = 0;i2 < params.childCount; i2++) {
+    const c = params.child(i2);
+    if (!c || c.type !== "formal_parameter")
+      continue;
+    const name2 = c.childForFieldName("name");
+    const type = c.childForFieldName("type");
+    if (name2)
+      out2.push({ name: getNodeText(name2), type: type ? getNodeText(type) : null });
+  }
+  return out2;
+}
+function enclosingTypePath(node) {
+  const DECLS = new Set([
+    "class_declaration",
+    "interface_declaration",
+    "enum_declaration",
+    "record_declaration"
+  ]);
+  const path = [];
+  for (let p = node.parent;p; p = p.parent) {
+    if (!DECLS.has(p.type))
+      continue;
+    const n = getIdentifier(p, "name");
+    if (n)
+      path.unshift(n);
+  }
+  return path;
+}
 function extractJavaScriptTypes(tree, cache) {
   const types = [];
   const classes = getNodesFromCache(tree.rootNode, "class_declaration", cache);
@@ -5351,6 +5440,15 @@ function extractCalls(tree, cache, language) {
 function buildCSharpReceiverTypeMap(tree, cache) {
   const map = new Map;
   const simple = (t) => t.replace(/<[^>]*>/g, "").split(".").pop()?.trim() ?? t;
+  for (const prm of getNodesFromCache(tree.rootNode, "parameter", cache)) {
+    const nameNode = prm.childForFieldName("name");
+    const typeNode = prm.childForFieldName("type");
+    if (nameNode?.type !== "identifier" || !typeNode)
+      continue;
+    const t = getNodeText(typeNode);
+    if (t && t !== "var")
+      map.set(getNodeText(nameNode), simple(t));
+  }
   for (const vd of getNodesFromCache(tree.rootNode, "variable_declaration", cache)) {
     const typeNode = vd.childForFieldName("type");
     const declaredType = typeNode ? getNodeText(typeNode) : null;
@@ -5387,6 +5485,7 @@ function findFirstDescendant(node, type) {
   }
   return null;
 }
+var CSHARP_RESPONSE_TYPES = new Set(["HttpResponse", "HttpResponseBase"]);
 var CSHARP_COMMAND_EXECUTE_METHODS = new Set([
   "ExecuteScalar",
   "ExecuteReader",
@@ -5547,7 +5646,8 @@ function extractCSharpCalls(tree, cache) {
         continue;
     } else if (propName === "StatusDescription") {
       const recv = exprNode ? getNodeText(exprNode) : "";
-      if (!/(^|\.)(Response|HttpResponse|Context\.Response)$/.test(recv))
+      const recvType = recv ? typeMap.get(recv) : undefined;
+      if (!/(^|\.)(Response|HttpResponse|Context\.Response)$/.test(recv) && !(recvType && CSHARP_RESPONSE_TYPES.has(recvType)))
         continue;
     } else if (propName === "BaseAddress") {
       const recv = exprNode ? getNodeText(exprNode) : null;
@@ -11207,6 +11307,14 @@ var DEFAULT_SOURCES = [
   { method: "nextLine", class: "Scanner", type: "io_input", severity: "high", return_tainted: true },
   { method: "next", class: "Scanner", type: "io_input", severity: "high", return_tainted: true },
   { method: "nextInt", class: "Scanner", type: "io_input", severity: "high", return_tainted: true },
+  { method: "ReadLine", class: "StreamReader", type: "io_input", severity: "high", return_tainted: true, languages: ["csharp"] },
+  { method: "ReadLineAsync", class: "StreamReader", type: "io_input", severity: "high", return_tainted: true, languages: ["csharp"] },
+  { method: "ReadToEnd", class: "StreamReader", type: "io_input", severity: "high", return_tainted: true, languages: ["csharp"] },
+  { method: "ReadToEndAsync", class: "StreamReader", type: "io_input", severity: "high", return_tainted: true, languages: ["csharp"] },
+  { method: "GetStream", class: "TcpClient", type: "network_input", severity: "high", return_tainted: true, languages: ["csharp"] },
+  { method: "AcceptTcpClient", class: "TcpListener", type: "network_input", severity: "high", return_tainted: true, languages: ["csharp"] },
+  { method: "OpenRead", class: "WebClient", type: "network_input", severity: "high", return_tainted: true, languages: ["csharp"] },
+  { method: "DownloadString", class: "WebClient", type: "network_input", severity: "high", return_tainted: true, languages: ["csharp"] },
   { method: "getString", class: "ResultSet", type: "db_input", severity: "medium", return_tainted: true },
   { method: "getObject", class: "ResultSet", type: "db_input", severity: "medium", return_tainted: true },
   { method: "getInt", class: "ResultSet", type: "db_input", severity: "medium", return_tainted: true },
@@ -12556,6 +12664,22 @@ 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_slice", class: "rmp_serde", type: "deserialization", cwe: "CWE-502", severity: "high", arg_positions: [0] },
+  { method: "from_read", class: "rmp_serde", type: "deserialization", cwe: "CWE-502", severity: "high", arg_positions: [0] },
+  { method: "from_read_ref", class: "rmp_serde", type: "deserialization", cwe: "CWE-502", severity: "high", arg_positions: [0] },
+  { method: "from_slice", class: "serde_yaml", type: "deserialization", cwe: "CWE-502", severity: "high", arg_positions: [0] },
+  { method: "from_slice", class: "toml", type: "deserialization", cwe: "CWE-502", severity: "high", arg_positions: [0] },
+  { method: "from_reader", class: "ron", type: "deserialization", cwe: "CWE-502", severity: "high", arg_positions: [0] },
+  { method: "from_bytes", class: "postcard", type: "deserialization", cwe: "CWE-502", severity: "high", arg_positions: [0] },
+  { method: "from_slice", class: "serde_cbor", type: "deserialization", cwe: "CWE-502", severity: "high", arg_positions: [0] },
+  { method: "from_reader", class: "serde_cbor", type: "deserialization", cwe: "CWE-502", severity: "high", arg_positions: [0] },
+  { method: "from_reader", class: "ciborium", type: "deserialization", cwe: "CWE-502", severity: "high", arg_positions: [0] },
+  { method: "from_str", class: "serde_xml_rs", type: "deserialization", cwe: "CWE-502", severity: "high", arg_positions: [0] },
+  { method: "from_reader", class: "serde_xml_rs", type: "deserialization", cwe: "CWE-502", severity: "high", arg_positions: [0] },
+  { method: "from_str", class: "quick_xml", type: "deserialization", cwe: "CWE-502", severity: "high", arg_positions: [0] },
+  { method: "from_reader", class: "quick_xml", type: "deserialization", cwe: "CWE-502", severity: "high", arg_positions: [0] },
+  { method: "from_slice", class: "bincode", type: "deserialization", cwe: "CWE-502", severity: "critical", arg_positions: [0] },
+  { method: "deserialize_from", class: "bincode", type: "deserialization", cwe: "CWE-502", severity: "critical", 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] },
@@ -12730,8 +12854,8 @@ var DEFAULT_SINKS = [
   { method: "OpenRead", class: "File", type: "path_traversal", cwe: "CWE-22", severity: "high", arg_positions: [0], languages: ["csharp"] },
   { method: "OpenWrite", class: "File", type: "path_traversal", cwe: "CWE-22", severity: "high", arg_positions: [0], languages: ["csharp"] },
   { method: "FileStream", type: "path_traversal", cwe: "CWE-22", severity: "high", arg_positions: [0], languages: ["csharp"] },
-  { method: "StreamReader", type: "path_traversal", cwe: "CWE-22", severity: "high", arg_positions: [0], languages: ["csharp"] },
-  { method: "StreamWriter", type: "path_traversal", cwe: "CWE-22", severity: "high", arg_positions: [0], languages: ["csharp"] },
+  { method: "StreamReader", type: "path_traversal", cwe: "CWE-22", severity: "high", arg_positions: [0], safe_if_stream_arg_at: 0, languages: ["csharp"] },
+  { method: "StreamWriter", type: "path_traversal", cwe: "CWE-22", severity: "high", arg_positions: [0], safe_if_stream_arg_at: 0, languages: ["csharp"] },
   { method: "Copy", class: "File", type: "path_traversal", cwe: "CWE-22", severity: "high", arg_positions: [0, 1], languages: ["csharp"] },
   { method: "Move", class: "File", type: "path_traversal", cwe: "CWE-22", severity: "high", arg_positions: [0, 1], languages: ["csharp"] },
   { method: "Delete", class: "File", type: "path_traversal", cwe: "CWE-22", severity: "high", arg_positions: [0], languages: ["csharp"] },
@@ -12761,6 +12885,10 @@ var DEFAULT_SINKS = [
   { method: "DownloadFile", type: "ssrf", cwe: "CWE-918", severity: "high", arg_positions: [1], languages: ["csharp"] },
   { method: "Create", class: "WebRequest", type: "ssrf", cwe: "CWE-918", severity: "high", arg_positions: [0], languages: ["csharp"] },
   { method: "RestClient", class: "constructor", type: "ssrf", cwe: "CWE-918", severity: "high", arg_positions: [0], languages: ["csharp"] },
+  { method: "CompileAssemblyFromSource", type: "code_injection", cwe: "CWE-94", severity: "critical", arg_positions: [1, 2], languages: ["csharp"] },
+  { method: "CompileAssemblyFromSourceBatch", type: "code_injection", cwe: "CWE-94", severity: "critical", arg_positions: [1, 2], languages: ["csharp"] },
+  { method: "ParseText", class: "CSharpSyntaxTree", type: "code_injection", cwe: "CWE-94", severity: "critical", arg_positions: [0], languages: ["csharp"] },
+  { method: "ParseText", class: "SyntaxFactory", type: "code_injection", cwe: "CWE-94", severity: "critical", arg_positions: [0], languages: ["csharp"] },
   { method: "EvaluateAsync", type: "code_injection", cwe: "CWE-94", severity: "critical", arg_positions: [0], languages: ["csharp"] },
   { method: "RunAsync", class: "CSharpScript", type: "code_injection", cwe: "CWE-94", severity: "critical", arg_positions: [0], languages: ["csharp"] },
   { method: "Load", class: "Assembly", type: "code_injection", cwe: "CWE-94", severity: "critical", arg_positions: [0], languages: ["csharp"] },
@@ -14348,6 +14476,15 @@ function escapeRe(s) {
   return s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
 }
 var TYPE_TOKEN_RE = /^new\s+(?:TypeReference|TypeToken)\s*<[\s\S]*>\s*\(\s*\)\s*\{\s*\}$/;
+function argIsStreamExpression(call, position) {
+  const arg = call.arguments.find((a) => a.position === position);
+  if (!arg)
+    return false;
+  const expr = (arg.expression ?? "").trim();
+  if (!expr)
+    return false;
+  return /^new\s+[A-Za-z_][\w.]*Stream\s*\(/.test(expr) || /\.\s*Get(?:Response)?Stream\s*\(/.test(expr) || /\.\s*OpenReadStream\s*\(/.test(expr) || /\.\s*OpenRead\s*\(/.test(expr) || /\.\s*(?:Body|BaseStream)\s*$/.test(expr) || /^(?:[A-Za-z_]\w*\.)*[A-Za-z_]*[sS]tream\d*$/.test(expr);
+}
 function argIsStringLiteral(call, position) {
   const arg = call.arguments.find((a) => a.position === position);
   if (!arg)
@@ -14618,6 +14755,9 @@ function findSinks(calls, patterns, typeHierarchy, language, sourceLines, types)
         if (pattern.safe_if_string_literal_at !== undefined && argIsStringLiteral(call, pattern.safe_if_string_literal_at)) {
           continue;
         }
+        if (pattern.safe_if_stream_arg_at !== undefined && argIsStreamExpression(call, pattern.safe_if_stream_arg_at)) {
+          continue;
+        }
         if (pattern.type === "command_injection") {
           if (call.is_constructor) {
             if (!CWE_78_RECEIVER_ALLOWLIST.has(call.method_name)) {
@@ -26866,6 +27006,10 @@ function findCSharpRequestSources(sourceCode, language) {
   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;
+  const streamReaderVars = new Set;
+  const streamReaderDeclRe = /\b(?:StreamReader|TextReader|BinaryReader)\??\s+([A-Za-z_]\w*)/g;
+  const dbReaderVars = new Set;
+  const dbReaderDeclRe = /\b(?:SqlDataReader|DbDataReader|IDataReader|OdbcDataReader|OleDbDataReader)\??\s+([A-Za-z_]\w*)/g;
   for (const line of lines) {
     const formRe = new RegExp(formFileDeclRe.source, "g");
     let d;
@@ -26874,15 +27018,25 @@ function findCSharpRequestSources(sourceCode, language) {
     const reqRe = new RegExp(httpRequestDeclRe.source, "g");
     while ((d = reqRe.exec(line)) !== null)
       httpRequestReceivers.add(d[1]);
-  }
+    const srRe = new RegExp(streamReaderDeclRe.source, "g");
+    while ((d = srRe.exec(line)) !== null)
+      streamReaderVars.add(d[1]);
+    const dbRe = new RegExp(dbReaderDeclRe.source, "g");
+    while ((d = dbRe.exec(line)) !== null)
+      dbReaderVars.add(d[1]);
+  }
+  const streamReadRe = streamReaderVars.size > 0 ? new RegExp(`\\b(?:${[...streamReaderVars].join("|")})\\s*\\.\\s*(?:ReadLine|ReadToEnd|ReadLineAsync|ReadToEndAsync|ReadBlock|Read)\\s*\\(`) : null;
+  const dbReadRe = dbReaderVars.size > 0 ? new RegExp(`\\b(?:${[...dbReaderVars].join("|")})\\s*\\.\\s*(?:GetString|GetValue|GetInt32|GetInt64|GetDecimal|GetDateTime|GetFieldValue|\\[)`) : null;
   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 classify = (text) => requestReadRe.test(text) ? "http_param" : formFileReadRe?.test(text) ? "http_param" : consoleReadRe.test(text) ? "io_input" : envReadRe.test(text) ? "env_input" : streamReadRe?.test(text) ? "io_input" : dbReadRe?.test(text) ? "db_input" : null;
   const inlineReads = [
     [requestReadRe, "http_param"],
     [formFileReadRe, "http_param"],
     [consoleReadRe, "io_input"],
-    [envReadRe, "env_input"]
+    [envReadRe, "env_input"],
+    [streamReadRe, "io_input"],
+    [dbReadRe, "db_input"]
   ];
   const inlineRead = (text) => {
     const argsStart = text.indexOf("(");
@@ -26904,7 +27058,8 @@ function findCSharpRequestSources(sourceCode, language) {
   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 rhsCrossesBlock = m !== null && m[2].includes("{");
+    if (!m || rhsCrossesBlock) {
       const stmt = lines[i2];
       if (stmt.includes("{") && !/^\s*(?:\/\/|\/\*|\*)/.test(stmt)) {
         const emb = new RegExp(embeddedAssignRe.source, "g");
@@ -26922,7 +27077,7 @@ function findCSharpRequestSources(sourceCode, language) {
           sources.push({
             type: type3,
             location: `${varName2} = ${rhs2.trim().substring(0, 50)}${rhs2.length > 50 ? "..." : ""}`,
-            severity: "high",
+            severity: type3 === "db_input" ? "medium" : "high",
             line: lineNumber3,
             confidence: 1,
             variable: varName2
@@ -26945,7 +27100,7 @@ function findCSharpRequestSources(sourceCode, language) {
       sources.push({
         type: type2,
         location: `${read} in ${code.substring(0, 50)}${code.length > 50 ? "..." : ""}`,
-        severity: "high",
+        severity: type2 === "db_input" ? "medium" : "high",
         line: lineNumber2,
         confidence: 1,
         variable: "<inline>",
@@ -26963,7 +27118,7 @@ function findCSharpRequestSources(sourceCode, language) {
     sources.push({
       type,
       location: `${varName} = ${rhs.trim().substring(0, 50)}${rhs.length > 50 ? "..." : ""}`,
-      severity: "high",
+      severity: type === "db_input" ? "medium" : "high",
       line: lineNumber,
       confidence: 1,
       variable: varName
@@ -27157,7 +27312,7 @@ function findPythonAssignmentSources(sourceCode, language) {
           sources.push({
             type,
             location: `${varName} = ${rhs.trim().substring(0, 50)}${rhs.length > 50 ? "..." : ""}`,
-            severity: "high",
+            severity: type === "db_input" ? "medium" : "high",
             line: lineNumber,
             confidence: 0.95,
             variable: varName
@@ -37753,13 +37908,17 @@ function maskStringLiteralsForTokenScan(expr) {
   }
   return out2;
 }
+function argsReferenceTaintedVar(expr, sources) {
+  const codePart = expr.replace(/\$@?"(?:[^"\\]|\\.)*"/g, (lit) => " " + [...lit.matchAll(/\{([^}]*)\}/g)].map((x) => x[1]).join(" ") + " ").replace(/@?"(?:[^"\\]|\\.)*"/g, " ").replace(/\/\*[\s\S]*?\*\//g, " ").replace(/\/\/[^\n]*/g, " ");
+  return sources.some((s) => new RegExp(`(?<![\\p{L}\\p{N}_])${s.variable.replace(/[.*+?^${}()|[\]\\]/g, "\\$&")}(?![\\p{L}\\p{N}_])`, "u").test(codePart));
+}
 function detectExpressionScanFlows(calls, sources, sinks, sanitizers, unreachableLines, tainted, code, language, types) {
   const flows = [];
-  const goFnRanges = language === "go" && types ? types.flatMap((t) => t.methods.map((m) => [m.start_line, m.end_line])) : [];
-  const goFnStart = (line) => {
+  const methodRanges = (langs) => language && langs.includes(language) && types ? types.flatMap((t) => t.methods.map((m) => [m.start_line, m.end_line])) : [];
+  const enclosingStart = (ranges, line) => {
     let best = -1;
     let bestSpan = -1;
-    for (const [start2, end] of goFnRanges) {
+    for (const [start2, end] of ranges) {
       if (line >= start2 && line <= end && end - start2 > bestSpan) {
         best = start2;
         bestSpan = end - start2;
@@ -37767,6 +37926,10 @@ function detectExpressionScanFlows(calls, sources, sinks, sanitizers, unreachabl
     }
     return best;
   };
+  const goFnRanges = methodRanges(["go"]);
+  const goFnStart = (line) => enclosingStart(goFnRanges, line);
+  const csFnRanges = methodRanges(["csharp"]);
+  const csFnStart = (line) => enclosingStart(csFnRanges, line);
   const sourcesWithVar = sources.filter((s) => typeof s.variable === "string" && s.variable.length > 0);
   const aliasSanitizedFor = new Map;
   if (language === "python" && typeof code === "string") {
@@ -38102,15 +38265,51 @@ function detectExpressionScanFlows(calls, sources, sinks, sanitizers, unreachabl
         const [, obj, rhs] = m;
         if (known.has(obj))
           continue;
-        const codePart = rhs.replace(/\$@?"(?:[^"\\]|\\.)*"/g, (lit) => " " + [...lit.matchAll(/\{([^}]*)\}/g)].map((x) => x[1]).join(" ") + " ").replace(/@?"(?:[^"\\]|\\.)*"/g, " ");
-        const rhsTainted = sourcesWithVar.some((s) => new RegExp(`(?<![\\p{L}\\p{N}_])${s.variable.replace(/[.*+?^${}()|[\\]\\\\]/g, "\\$&")}(?![\\p{L}\\p{N}_])`, "u").test(codePart));
-        if (!rhsTainted)
+        if (!argsReferenceTaintedVar(rhs, sourcesWithVar))
           continue;
         sourcesWithVar.push({ ...anchor, variable: obj, line: i2 + 1 });
         added = true;
       }
     }
   }
+  const builderSeeds = new Set;
+  if (language === "csharp" && typeof code === "string" && sourcesWithVar.length > 0) {
+    const lines = code.split(`
+`);
+    const builders = new Set;
+    for (const line of lines) {
+      for (const m of line.matchAll(/\bStringBuilder\s+([\p{L}_][\p{L}\p{N}_]*)/gu))
+        builders.add(m[1]);
+      for (const m of line.matchAll(/\b([\p{L}_][\p{L}\p{N}_]*)\s*=\s*new\s+StringBuilder\b/gu))
+        builders.add(m[1]);
+    }
+    if (builders.size > 0) {
+      const appendRe = /([\p{L}_][\p{L}\p{N}_]*)\s*\.\s*(?:Append|AppendLine|AppendFormat|Insert)\s*\(([\s\S]*)/u;
+      const anchor = sourcesWithVar.reduce((a, s) => s.line < a.line ? s : a, sourcesWithVar[0]);
+      let added = true;
+      let guard = 0;
+      while (added && guard < lines.length + 2) {
+        added = false;
+        guard++;
+        const known = new Set(sourcesWithVar.map((s) => s.variable));
+        for (let i2 = 0;i2 < lines.length; i2++) {
+          const m = appendRe.exec(lines[i2]);
+          if (!m)
+            continue;
+          const [, obj, args2] = m;
+          if (!builders.has(obj) || known.has(obj))
+            continue;
+          const appendFn = csFnStart(i2 + 1);
+          const reachable = sourcesWithVar.filter((sv) => appendFn === -1 || csFnStart(sv.line) === -1 || csFnStart(sv.line) === appendFn);
+          if (reachable.length > 0 && argsReferenceTaintedVar(args2, reachable)) {
+            sourcesWithVar.push({ ...anchor, variable: obj, line: i2 + 1 });
+            builderSeeds.add(`${obj}@${i2 + 1}`);
+            added = true;
+          }
+        }
+      }
+    }
+  }
   const SIMPLE_IDENT = /^[\p{L}\p{N}_]+$/u;
   const reCache = new Map;
   for (const s of sourcesWithVar) {
@@ -38181,6 +38380,12 @@ function detectExpressionScanFlows(calls, sources, sinks, sanitizers, unreachabl
             if (srcFn !== -1 && sinkFn !== -1 && srcFn !== sinkFn)
               continue;
           }
+          if (csFnRanges.length > 0 && builderSeeds.has(`${source.variable}@${source.line}`)) {
+            const srcFn = csFnStart(source.line);
+            const sinkFn = csFnStart(sink.line);
+            if (srcFn !== sinkFn)
+              continue;
+          }
           if (complex) {
             const re = reCache.get(source.variable);
             if (!re || !re.test(expr))
@@ -49154,7 +49359,7 @@ async function analyze(code, filePath, language, options = {}) {
       };
     }
     const tTypes = phaseStart();
-    const types = extractTypes(tree, nodeCache, language);
+    const types = extractTypes(tree, nodeCache, language, { navigationTypes: options.navigationTypes });
     phaseEnd("extractTypes", tTypes);
     const tCalls = phaseStart();
     const calls = extractCalls(tree, nodeCache, language);
@@ -50669,7 +50874,7 @@ var colors = {
 };
 
 // src/version.ts
-var version = "4.9.28";
+var version = "4.10.0";
 
 // src/formatters.ts
 var LIBRARY_API_SURFACE_TAG2 = "library-api-surface:caller-responsibility";
@@ -51221,8 +51426,8 @@ function generateSarifResults(results, crossFileData) {
 
 // src/build-info.ts
 var buildInfo = {
-  gitSha: "7bfe5de",
-  builtAt: "2026-10-01T00:24:15.337Z"
+  gitSha: "598f8fc",
+  builtAt: "2026-10-02T23:23:28.653Z"
 };
 
 // src/utils/args.ts
@@ -51850,7 +52055,7 @@ async function initWasm(spin) {
           go: join3(wasmDir, "tree-sitter-go.wasm"),
           java: join3(wasmDir, "tree-sitter-java.wasm"),
           javascript: join3(wasmDir, "tree-sitter-javascript.wasm"),
-          typescript: join3(wasmDir, "tree-sitter-javascript.wasm"),
+          typescript: join3(wasmDir, "tree-sitter-typescript.wasm"),
           python: join3(wasmDir, "tree-sitter-python.wasm"),
           rust: join3(wasmDir, "tree-sitter-rust.wasm"),
           html: join3(wasmDir, "tree-sitter-html.wasm"),
@@ -51885,7 +52090,7 @@ Please ensure the wasm/ directory is located next to the binary or in your curre
         go: wasmBasePath + "tree-sitter-go.wasm",
         java: wasmBasePath + "tree-sitter-java.wasm",
         javascript: wasmBasePath + "tree-sitter-javascript.wasm",
-        typescript: wasmBasePath + "tree-sitter-javascript.wasm",
+        typescript: wasmBasePath + "tree-sitter-typescript.wasm",
         python: wasmBasePath + "tree-sitter-python.wasm",
         rust: wasmBasePath + "tree-sitter-rust.wasm",
         html: wasmBasePath + "tree-sitter-html.wasm",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "cognium-dev",
-  "version": "4.9.28",
+  "version": "4.10.0",
   "description": "Static Application Security Testing CLI for detecting security vulnerabilities via taint tracking",
   "bin": {
     "cognium-dev": "dist/cli.js"
@@ -12,7 +12,7 @@
     "test": "bun test",
     "clean": "rm -rf dist cognium-dev cognium-dev-* *.bun-build wasm",
     "typecheck": "tsc --noEmit",
-    "version": "node -e \"const v = require('./package.json').version; require('fs').writeFileSync('src/version.ts', '/**\\n * Version information\\n *\\n * Kept in sync with package.json via the \\`version\\` npm lifecycle script.\\n * Do not edit manually \u2014 use \\`npm version patch|minor|major\\` instead.\\n */\\nexport const version = \\x27' + v + '\\x27;\\n')\" && git add src/version.ts",
+    "version": "node -e \"const v = require('./package.json').version; require('fs').writeFileSync('src/version.ts', '/**\\n * Version information\\n *\\n * Kept in sync with package.json via the \\`version\\` npm lifecycle script.\\n * Do not edit manually — use \\`npm version patch|minor|major\\` instead.\\n */\\nexport const version = \\x27' + v + '\\x27;\\n')\" && git add src/version.ts",
     "dogfood": "bun run src/cli.ts scan src/ -q",
     "prepublishOnly": "bun run build",
     "test:coverage": "bun test --coverage"
@@ -65,7 +65,7 @@
   },
   "dependencies": {
     "@cognium/project-profile-detect": "1.1.2",
-    "circle-ir": "4.9.28"
+    "circle-ir": "4.10.0"
   },
   "devDependencies": {
     "@types/node": "^26.6.2",