cognium-dev 3.135.0 → 3.137.0

package/dist/cli.js

@@ -22616,6 +22616,9 @@ class LanguageSourcesPass {
       for (const finding of findGoMongoNosqlInjectionFindings(code, graph.ir.meta.file)) {
         ctx.addFinding(finding);
       }
+      for (const finding of findGoLdapInjectionFindings(code, graph.ir.meta.file)) {
+        ctx.addFinding(finding);
+      }
     }
     if (language === "python") {
       additionalSanitizers.push(...findPythonNetlocAllowlistGuardSanitizers(code));
@@ -22643,6 +22646,12 @@ class LanguageSourcesPass {
       for (const finding of findPythonMongoengineWhereNosqlInjectionFindings(code, graph.ir.meta.file)) {
         ctx.addFinding(finding);
       }
+      for (const finding of findPythonTaintedFormatStringFindings(code, graph.ir.meta.file)) {
+        ctx.addFinding(finding);
+      }
+      for (const finding of findPythonHeaderCrlfInjectionFindings(code, graph.ir.meta.file)) {
+        ctx.addFinding(finding);
+      }
     }
     if (language === "rust") {
       additionalSanitizers.push(...findRustSetAllowlistGuardSanitizers(code));
@@ -22670,6 +22679,12 @@ class LanguageSourcesPass {
       for (const finding of findRustEvalCrateCodeInjectionFindings(code, graph.ir.meta.file)) {
         ctx.addFinding(finding);
       }
+      for (const finding of findRustLdapInjectionFindings(code, graph.ir.meta.file)) {
+        ctx.addFinding(finding);
+      }
+      for (const finding of findRustLogInjectionFindings(code, graph.ir.meta.file)) {
+        ctx.addFinding(finding);
+      }
     }
     if (language === "javascript" || language === "typescript" || language === "htmljs") {
       additionalSanitizers.push(...findJsSafeJsonParseSanitizers(code));
@@ -22694,6 +22709,12 @@ class LanguageSourcesPass {
       for (const finding of findJsIndirectEvalCodeInjectionFindings(code, graph.ir.meta.file)) {
         ctx.addFinding(finding);
       }
+      for (const finding of findJsUtilFormatFormatStringFindings(code, graph.ir.meta.file)) {
+        ctx.addFinding(finding);
+      }
+      for (const finding of findJsLdapInjectionFindings(code, graph.ir.meta.file)) {
+        ctx.addFinding(finding);
+      }
     }
     if (language === "java") {
       additionalSanitizers.push(...findJavaSafeJsonParseSanitizers(code));
@@ -27036,6 +27057,835 @@ function findJavaUrlOpenStreamSsrfFindings(code, file) {
   }
   return findings;
 }
+function findPythonTaintedFormatStringFindings(code, file) {
+  const findings = [];
+  if (typeof code !== "string" || code.length === 0)
+    return findings;
+  if (!/\b(?:request\.(?:args|form|values|json|files|cookies|headers|data)|flask\.request)\b/.test(code)) {
+    return findings;
+  }
+  const lines = code.split(`
+`);
+  const reqExtractRe = /\b(?:request\.(?:args|form|values|json|files|cookies|headers|data)\b|flask\.request\b)/;
+  const taintedVars = new Set;
+  for (let pass = 0;pass < 3; pass++) {
+    const before = taintedVars.size;
+    for (let i2 = 0;i2 < lines.length; i2++) {
+      const t = lines[i2].trim();
+      if (t.startsWith("#"))
+        continue;
+      const a = t.match(/^(\w+)\s*=\s*(.+?)$/);
+      if (!a)
+        continue;
+      const lhs = a[1];
+      const rhs = a[2];
+      if (taintedVars.has(lhs))
+        continue;
+      if (reqExtractRe.test(rhs)) {
+        taintedVars.add(lhs);
+        continue;
+      }
+      for (const v of taintedVars) {
+        if (new RegExp(`\\b${v}\\b`).test(rhs)) {
+          taintedVars.add(lhs);
+          break;
+        }
+      }
+    }
+    if (taintedVars.size === before)
+      break;
+  }
+  if (taintedVars.size === 0)
+    return findings;
+  const percentRe = /\b(\w+)\s*%\s*[\(\[\{"'\w]/;
+  const dotFormatRe = /\b(\w+)\s*\.\s*format\s*\(/;
+  const seen = new Set;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    const line = lines[i2];
+    const t = line.trim();
+    if (t.startsWith("#"))
+      continue;
+    const pm = line.match(percentRe);
+    if (pm && taintedVars.has(pm[1])) {
+      const key = `${i2 + 1}:percent`;
+      if (!seen.has(key)) {
+        seen.add(key);
+        findings.push({
+          id: `format_string-${file}-${i2 + 1}-py-percent`,
+          pass: "language-sources",
+          category: "security",
+          rule_id: "format_string",
+          cwe: "CWE-134",
+          severity: "high",
+          level: "error",
+          message: "Format-string injection: Python `<tainted> % args` uses an " + "HTTP-request-controlled format string. Malformed specifiers can " + "crash the handler (TypeError) and `%(name)s` access can reveal " + "arbitrary mapping keys. Use a literal format string and pass " + "untrusted values as arguments only.",
+          file,
+          line: i2 + 1,
+          snippet: line.trim()
+        });
+      }
+    }
+    const dm = line.match(dotFormatRe);
+    if (dm && taintedVars.has(dm[1])) {
+      const key = `${i2 + 1}:dotformat`;
+      if (!seen.has(key)) {
+        seen.add(key);
+        findings.push({
+          id: `format_string-${file}-${i2 + 1}-py-strformat`,
+          pass: "language-sources",
+          category: "security",
+          rule_id: "format_string",
+          cwe: "CWE-134",
+          severity: "high",
+          level: "error",
+          message: "Format-string injection: Python `<tainted>.format(...)` lets " + "the attacker control the format template. Field-access shapes " + "such as `{0.__class__.__init__.__globals__}` can leak module " + "globals (e.g. secret keys). Use a literal template and pass " + "untrusted values as positional/keyword arguments only.",
+          file,
+          line: i2 + 1,
+          snippet: line.trim()
+        });
+      }
+    }
+  }
+  return findings;
+}
+function findJsUtilFormatFormatStringFindings(code, file) {
+  const findings = [];
+  if (typeof code !== "string" || code.length === 0)
+    return findings;
+  if (!/\butil\s*\.\s*format\s*\(/.test(code))
+    return findings;
+  if (!/\breq\s*\.\s*(?:query|body|params|headers|cookies)\b/.test(code)) {
+    return findings;
+  }
+  const lines = code.split(`
+`);
+  const reqExtractRe = /\breq\s*\.\s*(?:query|body|params|headers|cookies)\b/;
+  const taintedVars = new Set;
+  for (let pass = 0;pass < 3; pass++) {
+    const before = taintedVars.size;
+    for (let i2 = 0;i2 < lines.length; i2++) {
+      const t = lines[i2].trim();
+      if (t.startsWith("//"))
+        continue;
+      const a = t.match(/^(?:const|let|var)\s+(\w+)\s*=\s*(.+?);?$/);
+      if (!a)
+        continue;
+      const lhs = a[1];
+      const rhs = a[2];
+      if (taintedVars.has(lhs))
+        continue;
+      if (reqExtractRe.test(rhs)) {
+        taintedVars.add(lhs);
+        continue;
+      }
+      for (const v of taintedVars) {
+        if (new RegExp(`\\b${v}\\b`).test(rhs)) {
+          taintedVars.add(lhs);
+          break;
+        }
+      }
+    }
+    if (taintedVars.size === before)
+      break;
+  }
+  if (taintedVars.size === 0)
+    return findings;
+  const callRe = /\butil\s*\.\s*format\s*\(\s*([\w.]+)\s*[,)]/;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    const line = lines[i2];
+    const m = line.match(callRe);
+    if (!m)
+      continue;
+    const arg = m[1];
+    const root = arg.split(".")[0];
+    if (!taintedVars.has(root) && !reqExtractRe.test(arg))
+      continue;
+    findings.push({
+      id: `format_string-${file}-${i2 + 1}-js-util-format`,
+      pass: "language-sources",
+      category: "security",
+      rule_id: "format_string",
+      cwe: "CWE-134",
+      severity: "medium",
+      level: "error",
+      message: "Format-string injection: Node `util.format(<tainted>, ...)` uses " + "an HTTP-request-controlled format string. The attacker can " + "manipulate `%s`/`%j`/`%O` specifiers to alter the rendered " + "output. Pass user input as a subsequent argument with a literal " + "format string.",
+      file,
+      line: i2 + 1,
+      snippet: line.trim()
+    });
+  }
+  return findings;
+}
+function findPythonHeaderCrlfInjectionFindings(code, file) {
+  const findings = [];
+  if (typeof code !== "string" || code.length === 0)
+    return findings;
+  if (!/\b\w+\s*\.\s*headers\b/.test(code))
+    return findings;
+  if (!/\b(?:request\.(?:args|form|values|json|files|cookies|headers|data)|flask\.request)\b/.test(code)) {
+    return findings;
+  }
+  const lines = code.split(`
+`);
+  const reqExtractRe = /\b(?:request\.(?:args|form|values|json|files|cookies|headers|data)\b|flask\.request\b)/;
+  const taintedVars = new Set;
+  for (let pass = 0;pass < 3; pass++) {
+    const before = taintedVars.size;
+    for (let i2 = 0;i2 < lines.length; i2++) {
+      const t = lines[i2].trim();
+      if (t.startsWith("#"))
+        continue;
+      const a = t.match(/^(\w+)\s*=\s*(.+?)$/);
+      if (!a)
+        continue;
+      const lhs = a[1];
+      const rhs = a[2];
+      if (taintedVars.has(lhs))
+        continue;
+      if (reqExtractRe.test(rhs)) {
+        taintedVars.add(lhs);
+        continue;
+      }
+      for (const v of taintedVars) {
+        if (new RegExp(`\\b${v}\\b`).test(rhs)) {
+          taintedVars.add(lhs);
+          break;
+        }
+      }
+    }
+    if (taintedVars.size === before)
+      break;
+  }
+  if (taintedVars.size === 0)
+    return findings;
+  const subscriptRe = /\b\w+\s*\.\s*headers\s*\[\s*['"][^'"]+['"]\s*\]\s*=\s*(.+)$/;
+  const methodRe = /\b\w+\s*\.\s*headers\s*\.\s*(?:add|set|setdefault|append)\s*\(\s*['"][^'"]+['"]\s*,\s*(.+?)\)/;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    const line = lines[i2];
+    const t = line.trim();
+    if (t.startsWith("#"))
+      continue;
+    let expr = null;
+    const sm = line.match(subscriptRe);
+    if (sm)
+      expr = sm[1];
+    else {
+      const mm = line.match(methodRe);
+      if (mm)
+        expr = mm[1];
+    }
+    if (!expr)
+      continue;
+    let tainted = reqExtractRe.test(expr);
+    if (!tainted) {
+      for (const v of taintedVars) {
+        if (new RegExp(`\\b${v}\\b`).test(expr)) {
+          tainted = true;
+          break;
+        }
+      }
+    }
+    if (!tainted)
+      continue;
+    findings.push({
+      id: `crlf-${file}-${i2 + 1}-py-headers`,
+      pass: "language-sources",
+      category: "security",
+      rule_id: "crlf",
+      cwe: "CWE-113",
+      severity: "medium",
+      level: "error",
+      message: "CRLF / header injection: Python Flask/Werkzeug " + "`response.headers[...] = <tainted>` lets an attacker inject a " + "`\\r\\n` sequence and forge additional headers or split the " + "response body. Validate the value (reject control characters) or " + "use a fixed allowlist.",
+      file,
+      line: i2 + 1,
+      snippet: line.trim()
+    });
+  }
+  return findings;
+}
+function findJsLdapInjectionFindings(code, file) {
+  const findings = [];
+  if (typeof code !== "string" || code.length === 0)
+    return findings;
+  if (!/\.\s*search\s*\(/.test(code))
+    return findings;
+  if (!/\breq\s*\.\s*(?:query|body|params|headers|cookies)\b/.test(code)) {
+    return findings;
+  }
+  if (!/\b(?:ldapjs|ldapts|require\(['"]ldapjs['"]\)|from\s+['"]ldapts['"])\b/.test(code)) {
+    return findings;
+  }
+  const lines = code.split(`
+`);
+  const reqExtractRe = /\breq\s*\.\s*(?:query|body|params|headers|cookies)\b/;
+  const taintedVars = new Set;
+  for (let pass = 0;pass < 3; pass++) {
+    const before = taintedVars.size;
+    for (let i2 = 0;i2 < lines.length; i2++) {
+      const t = lines[i2].trim();
+      if (t.startsWith("//"))
+        continue;
+      const m = t.match(/^(?:const|let|var)\s+(\w+)(?:\s*:\s*[^=]+)?\s*=\s*(.+?);?$/);
+      if (!m)
+        continue;
+      const lhs = m[1];
+      const rhs = m[2];
+      if (taintedVars.has(lhs))
+        continue;
+      if (reqExtractRe.test(rhs)) {
+        taintedVars.add(lhs);
+        continue;
+      }
+      for (const v of taintedVars) {
+        if (new RegExp(`\\b${v}\\b`).test(rhs)) {
+          taintedVars.add(lhs);
+          break;
+        }
+      }
+    }
+    if (taintedVars.size === before)
+      break;
+  }
+  if (taintedVars.size === 0)
+    return findings;
+  const filterPropRe = /\bfilter\s*:\s*([^,}\n]+)/;
+  const filterShorthandRe = /(?:^|[\{,])\s*filter\s*[,}]/;
+  const seen = new Set;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    const line = lines[i2];
+    const fm = line.match(filterPropRe);
+    let expr = null;
+    if (fm) {
+      expr = fm[1].trim();
+    } else if (filterShorthandRe.test(line)) {
+      expr = "filter";
+    } else {
+      continue;
+    }
+    let tainted = false;
+    for (const v of taintedVars) {
+      if (new RegExp(`\\b${v}\\b`).test(expr)) {
+        tainted = true;
+        break;
+      }
+    }
+    if (!tainted)
+      continue;
+    if (seen.has(i2 + 1))
+      continue;
+    seen.add(i2 + 1);
+    findings.push({
+      id: `ldap_injection-${file}-${i2 + 1}-js-ldap-filter`,
+      pass: "language-sources",
+      category: "security",
+      rule_id: "ldap_injection",
+      cwe: "CWE-90",
+      severity: "critical",
+      level: "error",
+      message: "LDAP injection: ldapjs/ldapts `client.search(..., { filter: " + "<tainted>, ... })` lets the attacker break out of the filter " + "expression (e.g. `*)(uid=*`) and enumerate the directory. " + "Escape the user input with a tight allowlist (`[A-Za-z0-9_-]+`) " + "or use a structured filter builder.",
+      file,
+      line: i2 + 1,
+      snippet: line.trim()
+    });
+  }
+  return findings;
+}
+function findGoLdapInjectionFindings(code, file) {
+  const findings = [];
+  if (typeof code !== "string" || code.length === 0)
+    return findings;
+  if (!/\bldap\s*\.\s*NewSearchRequest\s*\(/.test(code))
+    return findings;
+  if (!/\br\s*\.\s*(?:URL\s*\.\s*Query\s*\(\s*\)|Form|PostForm|FormValue|PostFormValue|Header)/.test(code)) {
+    return findings;
+  }
+  const lines = code.split(`
+`);
+  const reqExtractRe = /\br\s*\.\s*(?:URL\s*\.\s*Query\s*\(\s*\)\s*\.\s*Get|Form\s*\.\s*Get|PostForm\s*\.\s*Get|FormValue|PostFormValue|Header\s*\.\s*Get)\s*\(/;
+  const taintedVars = new Set;
+  for (let pass = 0;pass < 3; pass++) {
+    const before = taintedVars.size;
+    for (let i2 = 0;i2 < lines.length; i2++) {
+      const t = lines[i2].trim();
+      if (t.startsWith("//"))
+        continue;
+      const m = t.match(/^(\w+)\s*(?::=|=)\s*(.+?)$/);
+      if (!m)
+        continue;
+      const lhs = m[1];
+      const rhs = m[2];
+      if (taintedVars.has(lhs))
+        continue;
+      if (reqExtractRe.test(rhs)) {
+        taintedVars.add(lhs);
+        continue;
+      }
+      for (const v of taintedVars) {
+        if (new RegExp(`\\b${v}\\b`).test(rhs)) {
+          taintedVars.add(lhs);
+          break;
+        }
+      }
+    }
+    if (taintedVars.size === before)
+      break;
+  }
+  if (taintedVars.size === 0)
+    return findings;
+  const seen = new Set;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    const openIdx = lines[i2].indexOf("NewSearchRequest(");
+    if (openIdx === -1)
+      continue;
+    let depth = 0;
+    let buf = "";
+    let endLine = i2;
+    let started = false;
+    for (let j = i2;j < Math.min(i2 + 25, lines.length); j++) {
+      for (const ch of lines[j]) {
+        if (ch === "(") {
+          depth++;
+          started = true;
+        } else if (ch === ")") {
+          depth--;
+        }
+        buf += ch;
+        if (started && depth === 0) {
+          endLine = j;
+          break;
+        }
+      }
+      if (started && depth === 0)
+        break;
+      buf += `
+`;
+    }
+    const argsStart = buf.indexOf("(");
+    if (argsStart === -1)
+      continue;
+    const args2 = buf.substring(argsStart + 1, buf.length - 1);
+    const parts2 = [];
+    {
+      let d = 0;
+      let b = "";
+      let inStr = null;
+      for (let k = 0;k < args2.length; k++) {
+        const ch = args2[k];
+        if (inStr) {
+          if (ch === "\\") {
+            b += ch + (args2[k + 1] ?? "");
+            k++;
+            continue;
+          }
+          if (ch === inStr)
+            inStr = null;
+          b += ch;
+          continue;
+        }
+        if (ch === '"' || ch === "`") {
+          inStr = ch;
+          b += ch;
+          continue;
+        }
+        if (ch === "(" || ch === "[" || ch === "{")
+          d++;
+        else if (ch === ")" || ch === "]" || ch === "}")
+          d--;
+        if (ch === "," && d === 0) {
+          parts2.push(b);
+          b = "";
+          continue;
+        }
+        b += ch;
+      }
+      if (b.trim().length > 0)
+        parts2.push(b);
+    }
+    if (parts2.length < 7)
+      continue;
+    const filterExpr = parts2[6].trim();
+    let tainted = false;
+    for (const v of taintedVars) {
+      if (new RegExp(`\\b${v}\\b`).test(filterExpr)) {
+        tainted = true;
+        break;
+      }
+    }
+    if (!tainted)
+      continue;
+    if (seen.has(i2 + 1))
+      continue;
+    seen.add(i2 + 1);
+    findings.push({
+      id: `ldap_injection-${file}-${i2 + 1}-go-newsearchrequest`,
+      pass: "language-sources",
+      category: "security",
+      rule_id: "ldap_injection",
+      cwe: "CWE-90",
+      severity: "critical",
+      level: "error",
+      message: "LDAP injection: go-ldap `ldap.NewSearchRequest(..., <tainted " + "filter>, ...)` lets the attacker break out of the filter " + "expression and enumerate the directory. Escape the user input " + "with `ldap.EscapeFilter(...)` or use a structured filter " + "builder.",
+      file,
+      line: i2 + 1,
+      snippet: (lines[i2] + (endLine > i2 ? " …" : "")).trim()
+    });
+  }
+  return findings;
+}
+function findRustLdapInjectionFindings(code, file) {
+  const findings = [];
+  if (typeof code !== "string" || code.length === 0)
+    return findings;
+  if (!/\.\s*search\s*\(/.test(code))
+    return findings;
+  if (!/\b(?:ldap3|LdapConn|Ldap)\b/.test(code))
+    return findings;
+  const lines = code.split(`
+`);
+  const extractorTypeRe = /:\s*(?:String|Bytes|bytes::Bytes|axum::body::Bytes|web::Query\b|web::Path\b|web::Form\b|web::Json\b|HttpRequest\b|actix_web::HttpRequest\b)/;
+  const fns = [];
+  let cur = null;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    const t = lines[i2];
+    if (/^\s*(?:pub\s+)?(?:async\s+)?fn\s+\w+\s*\(/.test(t)) {
+      if (cur) {
+        cur.end = i2 - 1;
+        fns.push(cur);
+      }
+      cur = { start: i2, end: lines.length - 1, tainted: new Set };
+      let headerJoined = "";
+      for (let j = i2;j < Math.min(i2 + 12, lines.length); j++) {
+        headerJoined += lines[j];
+        if (/\{\s*$/.test(lines[j]))
+          break;
+      }
+      const open = headerJoined.indexOf("(");
+      const close = headerJoined.lastIndexOf(")");
+      if (open !== -1 && close > open) {
+        const params = headerJoined.substring(open + 1, close);
+        let depth = 0;
+        let buf = "";
+        const parts2 = [];
+        for (const ch of params) {
+          if (ch === "<" || ch === "(")
+            depth++;
+          else if (ch === ">" || ch === ")")
+            depth--;
+          if (ch === "," && depth === 0) {
+            parts2.push(buf);
+            buf = "";
+            continue;
+          }
+          buf += ch;
+        }
+        if (buf.trim().length > 0)
+          parts2.push(buf);
+        for (const p of parts2) {
+          const pm = p.match(/(?:mut\s+)?(\w+)\s*:/);
+          if (!pm)
+            continue;
+          if (extractorTypeRe.test(p))
+            cur.tainted.add(pm[1]);
+        }
+      }
+    }
+  }
+  if (cur)
+    fns.push(cur);
+  for (const fn of fns) {
+    for (let pass = 0;pass < 3; pass++) {
+      const before = fn.tainted.size;
+      for (let i2 = fn.start;i2 <= fn.end; i2++) {
+        const t = lines[i2].trim();
+        const m = t.match(/^let\s+(?:mut\s+)?(\w+)\s*(?::\s*[^=]+)?=\s*(.+?);?$/);
+        if (!m)
+          continue;
+        const lhs = m[1];
+        const rhs = m[2];
+        if (fn.tainted.has(lhs))
+          continue;
+        for (const v of fn.tainted) {
+          if (new RegExp(`\\b${v}\\b`).test(rhs)) {
+            fn.tainted.add(lhs);
+            break;
+          }
+        }
+      }
+      if (fn.tainted.size === before)
+        break;
+    }
+  }
+  const seen = new Set;
+  for (const fn of fns) {
+    if (fn.tainted.size === 0)
+      continue;
+    for (let i2 = fn.start;i2 <= fn.end; i2++) {
+      const searchIdx = lines[i2].indexOf(".search(");
+      if (searchIdx === -1)
+        continue;
+      let depth = 0;
+      let buf = "";
+      let started = false;
+      for (let j = i2;j < Math.min(i2 + 15, lines.length); j++) {
+        const startCol = j === i2 ? searchIdx : 0;
+        for (let k = startCol;k < lines[j].length; k++) {
+          const ch = lines[j][k];
+          if (ch === "(") {
+            depth++;
+            started = true;
+          } else if (ch === ")") {
+            depth--;
+          }
+          buf += ch;
+          if (started && depth === 0)
+            break;
+        }
+        if (started && depth === 0)
+          break;
+        buf += `
+`;
+      }
+      const argsStart = buf.indexOf("(");
+      if (argsStart === -1)
+        continue;
+      const args2 = buf.substring(argsStart + 1, buf.length - 1);
+      const parts2 = [];
+      {
+        let d = 0;
+        let b = "";
+        let inStr = null;
+        for (let k = 0;k < args2.length; k++) {
+          const ch = args2[k];
+          if (inStr) {
+            if (ch === "\\") {
+              b += ch + (args2[k + 1] ?? "");
+              k++;
+              continue;
+            }
+            if (ch === inStr)
+              inStr = null;
+            b += ch;
+            continue;
+          }
+          if (ch === '"') {
+            inStr = ch;
+            b += ch;
+            continue;
+          }
+          if (ch === "(" || ch === "[" || ch === "{")
+            d++;
+          else if (ch === ")" || ch === "]" || ch === "}")
+            d--;
+          if (ch === "," && d === 0) {
+            parts2.push(b);
+            b = "";
+            continue;
+          }
+          b += ch;
+        }
+        if (b.trim().length > 0)
+          parts2.push(b);
+      }
+      if (parts2.length < 3)
+        continue;
+      const filterExpr = parts2[2].trim();
+      let tainted = false;
+      for (const v of fn.tainted) {
+        if (new RegExp(`\\b${v}\\b`).test(filterExpr)) {
+          tainted = true;
+          break;
+        }
+      }
+      if (!tainted)
+        continue;
+      if (seen.has(i2 + 1))
+        continue;
+      seen.add(i2 + 1);
+      findings.push({
+        id: `ldap_injection-${file}-${i2 + 1}-rust-ldap3-search`,
+        pass: "language-sources",
+        category: "security",
+        rule_id: "ldap_injection",
+        cwe: "CWE-90",
+        severity: "critical",
+        level: "error",
+        message: "LDAP injection: ldap3 `LdapConn::search(..., &<tainted " + "filter>, ...)` lets the attacker break out of the filter " + "expression and enumerate the directory. Escape the user input " + "or use a structured filter builder.",
+        file,
+        line: i2 + 1,
+        snippet: lines[i2].trim()
+      });
+    }
+  }
+  return findings;
+}
+function findRustLogInjectionFindings(code, file) {
+  const findings = [];
+  if (typeof code !== "string" || code.length === 0)
+    return findings;
+  if (!/\b(?:info|warn|error|debug|trace)\s*!\s*\(/.test(code))
+    return findings;
+  if (!/\b(?:log|tracing)\b/.test(code))
+    return findings;
+  const lines = code.split(`
+`);
+  const extractorTypeRe = /:\s*(?:String|Bytes|bytes::Bytes|axum::body::Bytes|web::Query\b|web::Path\b|web::Form\b|web::Json\b|HttpRequest\b|actix_web::HttpRequest\b)/;
+  const fns = [];
+  let cur = null;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    const t = lines[i2];
+    if (/^\s*(?:pub\s+)?(?:async\s+)?fn\s+\w+\s*\(/.test(t)) {
+      if (cur) {
+        cur.end = i2 - 1;
+        fns.push(cur);
+      }
+      cur = { start: i2, end: lines.length - 1, tainted: new Set };
+      let headerJoined = "";
+      for (let j = i2;j < Math.min(i2 + 12, lines.length); j++) {
+        headerJoined += lines[j];
+        if (/\{\s*$/.test(lines[j]))
+          break;
+      }
+      const open = headerJoined.indexOf("(");
+      const close = headerJoined.lastIndexOf(")");
+      if (open !== -1 && close > open) {
+        const params = headerJoined.substring(open + 1, close);
+        let depth = 0;
+        let buf = "";
+        const parts2 = [];
+        for (const ch of params) {
+          if (ch === "<" || ch === "(")
+            depth++;
+          else if (ch === ">" || ch === ")")
+            depth--;
+          if (ch === "," && depth === 0) {
+            parts2.push(buf);
+            buf = "";
+            continue;
+          }
+          buf += ch;
+        }
+        if (buf.trim().length > 0)
+          parts2.push(buf);
+        for (const p of parts2) {
+          const pm = p.match(/(?:mut\s+)?(\w+)\s*:/);
+          if (!pm)
+            continue;
+          if (extractorTypeRe.test(p))
+            cur.tainted.add(pm[1]);
+        }
+      }
+    }
+  }
+  if (cur)
+    fns.push(cur);
+  for (const fn of fns) {
+    for (let pass = 0;pass < 3; pass++) {
+      const before = fn.tainted.size;
+      for (let i2 = fn.start;i2 <= fn.end; i2++) {
+        const t = lines[i2].trim();
+        const m = t.match(/^let\s+(?:mut\s+)?(\w+)\s*(?::\s*[^=]+)?=\s*(.+?);?$/);
+        if (!m)
+          continue;
+        const lhs = m[1];
+        const rhs = m[2];
+        if (fn.tainted.has(lhs))
+          continue;
+        for (const v of fn.tainted) {
+          if (new RegExp(`\\b${v}\\b`).test(rhs)) {
+            fn.tainted.add(lhs);
+            break;
+          }
+        }
+      }
+      if (fn.tainted.size === before)
+        break;
+    }
+  }
+  const macroRe = /\b(info|warn|error|debug|trace)\s*!\s*\(\s*([^;]+?)\)\s*;?\s*$/;
+  const seen = new Set;
+  for (const fn of fns) {
+    if (fn.tainted.size === 0)
+      continue;
+    for (let i2 = fn.start;i2 <= fn.end; i2++) {
+      const line = lines[i2];
+      const m = line.match(macroRe);
+      if (!m)
+        continue;
+      const macroName = m[1];
+      const argSpan = m[2];
+      const parts2 = [];
+      {
+        let d = 0;
+        let b = "";
+        let inStr = null;
+        for (let k = 0;k < argSpan.length; k++) {
+          const ch = argSpan[k];
+          if (inStr) {
+            if (ch === "\\") {
+              b += ch + (argSpan[k + 1] ?? "");
+              k++;
+              continue;
+            }
+            if (ch === inStr)
+              inStr = null;
+            b += ch;
+            continue;
+          }
+          if (ch === '"') {
+            inStr = ch;
+            b += ch;
+            continue;
+          }
+          if (ch === "(" || ch === "[" || ch === "{")
+            d++;
+          else if (ch === ")" || ch === "]" || ch === "}")
+            d--;
+          if (ch === "," && d === 0) {
+            parts2.push(b);
+            b = "";
+            continue;
+          }
+          b += ch;
+        }
+        if (b.trim().length > 0)
+          parts2.push(b);
+      }
+      if (parts2.length < 2)
+        continue;
+      let tainted = false;
+      for (let p = 1;p < parts2.length; p++) {
+        for (const v of fn.tainted) {
+          if (new RegExp(`\\b${v}\\b`).test(parts2[p])) {
+            tainted = true;
+            break;
+          }
+        }
+        if (tainted)
+          break;
+      }
+      if (!tainted)
+        continue;
+      const key = `${i2 + 1}:${macroName}`;
+      if (seen.has(key))
+        continue;
+      seen.add(key);
+      findings.push({
+        id: `log_injection-${file}-${i2 + 1}-rust-${macroName}`,
+        pass: "language-sources",
+        category: "security",
+        rule_id: "log_injection",
+        cwe: "CWE-117",
+        severity: "medium",
+        level: "warning",
+        message: `Log injection: Rust \`${macroName}!(...)\` interpolates a ` + "tainted value into the log line. Unsanitized CRLF lets an " + "attacker forge log entries or split records. Strip control " + "characters or use a structured logging API.",
+        file,
+        line: i2 + 1,
+        snippet: line.trim()
+      });
+    }
+  }
+  return findings;
+}
 
 // ../circle-ir/dist/analysis/passes/sink-filter-pass.js
 var JS_XSS_SANITIZERS = [
@@ -40163,7 +41013,7 @@ var colors = {
 };
 
 // src/version.ts
-var version = "3.135.0";
+var version = "3.137.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.135.0",
+  "version": "3.137.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.135.0"
+    "circle-ir": "^3.137.0"
   },
   "devDependencies": {
     "@types/node": "^25.5.0",