cognium-dev 3.83.0 → 3.85.0

package/dist/cli.js

@@ -12047,6 +12047,61 @@ function isSafeGoExecCommandCall(call, pattern, language) {
     return false;
   return true;
 }
+function isSafeRustCommandCall(call, pattern, language) {
+  if (language !== "rust")
+    return false;
+  if (pattern.type !== "command_injection")
+    return false;
+  if (pattern.class !== undefined && pattern.class !== "Command")
+    return false;
+  const SHELL_PROGRAMS = new Set([
+    "sh",
+    "bash",
+    "zsh",
+    "dash",
+    "ash",
+    "ksh",
+    "cmd",
+    "cmd.exe",
+    "powershell",
+    "pwsh",
+    "powershell.exe",
+    "pwsh.exe"
+  ]);
+  const PROGRAM_RE = /\bCommand\s*::\s*new\s*\(\s*(?:r?"([^"]*)"|'([^']*)')/;
+  const extractProgram = (text) => {
+    const m = PROGRAM_RE.exec(text);
+    if (!m)
+      return null;
+    const lit = m[1] ?? m[2] ?? "";
+    return lit.split("/").pop() ?? lit;
+  };
+  if (pattern.method === "new") {
+    const programArg = call.arguments.find((a) => a.position === 0);
+    if (!programArg)
+      return false;
+    let program;
+    if (programArg.literal !== null && programArg.literal !== undefined) {
+      program = String(programArg.literal).split("/").pop() ?? String(programArg.literal);
+    } else {
+      const expr = (programArg.expression ?? "").trim();
+      if (!(expr.startsWith('"') || expr.startsWith("'"))) {
+        return false;
+      }
+      const stripped = expr.slice(1, -1);
+      program = stripped.split("/").pop() ?? stripped;
+    }
+    return !SHELL_PROGRAMS.has(program);
+  }
+  if (pattern.method === "arg" || pattern.method === "args" || pattern.method === "spawn" || pattern.method === "output") {
+    const receiverText = call.receiver ?? "";
+    const program = extractProgram(receiverText);
+    if (program === null)
+      return false;
+    return !SHELL_PROGRAMS.has(program);
+  }
+  return false;
+}
 var CLASS_LITERAL_RE = /^(?:[A-Za-z_][\w]*\.)*[A-Z][\w]*(?:\[\])*\.class$/;
 function argIsClassLiteral(call, position) {
   const arg = call.arguments.find((a) => a.position === position);
@@ -12071,6 +12126,9 @@ function findSinks(calls, patterns, typeHierarchy, language, sourceLines) {
         if (isSafeGoExecCommandCall(call, pattern, language)) {
           continue;
         }
+        if (isSafeRustCommandCall(call, pattern, language)) {
+          continue;
+        }
         if (pattern.safe_if_class_literal_at !== undefined && argIsClassLiteral(call, pattern.safe_if_class_literal_at)) {
           continue;
         }
@@ -21307,6 +21365,14 @@ class LanguageSourcesPass {
       additionalSanitizers.push(...findGoMapAllowlistGuardSanitizers(code));
       additionalSanitizers.push(...findGoHtmlTemplateImportSanitizers(code));
     }
+    if (language === "python") {
+      additionalSanitizers.push(...findPythonNetlocAllowlistGuardSanitizers(code));
+      additionalSanitizers.push(...findPythonRangeCheckGuardSanitizers(code));
+    }
+    if (language === "rust") {
+      additionalSanitizers.push(...findRustSetAllowlistGuardSanitizers(code));
+      additionalSanitizers.push(...findRustCanonicalizeGuardSanitizers(code));
+    }
     attachSourceLineCode(additionalSources, additionalSinks, code);
     return { additionalSources, additionalSinks, additionalSanitizers, pyTaintedVars, pySanitizedVars, jsTaintedVars };
   }
@@ -22421,6 +22487,210 @@ function findGoHtmlTemplateImportSanitizers(code) {
   }
   return sanitizers;
 }
+function findPythonNetlocAllowlistGuardSanitizers(code) {
+  const sanitizers = [];
+  const lines = code.split(`
+`);
+  const guardOpen = /^(\s*)if\s+.+?\s+not\s+in\s+([A-Za-z_][A-Za-z0-9_]*)\s*:\s*$/;
+  const allowlistName = /^(?:[A-Z][A-Z0-9_]+|.*?(allowed|accepted|whitelist|permitted|valid|approved).*)$/i;
+  const terminator = /\b(return|raise|abort\s*\(|sys\.exit\s*\()/;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    const m = guardOpen.exec(lines[i2]);
+    if (!m)
+      continue;
+    const guardIndent = m[1].length;
+    const allowName = m[2];
+    if (!allowlistName.test(allowName))
+      continue;
+    let bodyHasTerminator = false;
+    let blockEnd = -1;
+    const maxScan = Math.min(lines.length, i2 + 26);
+    for (let j = i2 + 1;j < maxScan; j++) {
+      const line = lines[j];
+      if (line.trim() === "")
+        continue;
+      const indent = line.length - line.trimStart().length;
+      if (indent <= guardIndent) {
+        blockEnd = j - 1;
+        break;
+      }
+      if (terminator.test(line))
+        bodyHasTerminator = true;
+    }
+    if (blockEnd === -1)
+      blockEnd = Math.min(lines.length - 1, i2 + 25);
+    if (!bodyHasTerminator)
+      continue;
+    for (let l = blockEnd + 2;l <= lines.length; l++) {
+      sanitizers.push({
+        type: "python_netloc_allowlist_guard",
+        method: "if",
+        line: l,
+        sanitizes: [
+          "open_redirect",
+          "ssrf",
+          "path_traversal",
+          "external_taint_escape"
+        ]
+      });
+    }
+  }
+  return sanitizers;
+}
+function findPythonRangeCheckGuardSanitizers(code) {
+  const sanitizers = [];
+  const lines = code.split(`
+`);
+  const rangeGuard = /^(\s*)if\s+([A-Za-z_][A-Za-z0-9_]*)\s*[<>]=?\s*(?:\d+|-?\d+\.?\d*|[A-Z][A-Z0-9_]+)\s*(?:(?:or|and)\s+\2\s*[<>]=?\s*(?:\d+|-?\d+\.?\d*|[A-Z][A-Z0-9_]+)\s*)?:\s*$/;
+  const terminator = /\b(return|raise|abort\s*\(|sys\.exit\s*\()/;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    const m = rangeGuard.exec(lines[i2]);
+    if (!m)
+      continue;
+    const guardIndent = m[1].length;
+    let bodyHasTerminator = false;
+    let blockEnd = -1;
+    const maxScan = Math.min(lines.length, i2 + 26);
+    for (let j = i2 + 1;j < maxScan; j++) {
+      const line = lines[j];
+      if (line.trim() === "")
+        continue;
+      const indent = line.length - line.trimStart().length;
+      if (indent <= guardIndent) {
+        blockEnd = j - 1;
+        break;
+      }
+      if (terminator.test(line))
+        bodyHasTerminator = true;
+    }
+    if (blockEnd === -1)
+      blockEnd = Math.min(lines.length - 1, i2 + 25);
+    if (!bodyHasTerminator)
+      continue;
+    for (let l = blockEnd + 2;l <= lines.length; l++) {
+      sanitizers.push({
+        type: "python_range_check_guard",
+        method: "if",
+        line: l,
+        sanitizes: ["xss", "external_taint_escape"]
+      });
+    }
+  }
+  return sanitizers;
+}
+function findRustSetAllowlistGuardSanitizers(code) {
+  const sanitizers = [];
+  const lines = code.split(`
+`);
+  const guardOpen = /^\s*if\s+!\s*([A-Za-z_][A-Za-z0-9_]*)\s*\.\s*(?:contains|contains_key)\s*\(/;
+  const allowlistName = /^(?:[A-Z][A-Z0-9_]+|.*?(allowed|accepted|whitelist|permitted|valid|approved).*)$/i;
+  const terminator = /\b(return|Err\s*\(|panic!\s*\(|HttpResponse::(?:Forbidden|BadRequest|Unauthorized))/;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    const m = guardOpen.exec(lines[i2]);
+    if (!m)
+      continue;
+    const setName = m[1];
+    if (!allowlistName.test(setName))
+      continue;
+    let depth = 0;
+    for (const ch of lines[i2]) {
+      if (ch === "{")
+        depth++;
+      else if (ch === "}")
+        depth--;
+    }
+    if (depth <= 0)
+      continue;
+    let closeLine = -1;
+    let bodyHasTerminator = false;
+    const maxScan = Math.min(lines.length, i2 + 26);
+    for (let j = i2 + 1;j < maxScan; j++) {
+      const line = lines[j];
+      if (terminator.test(line))
+        bodyHasTerminator = true;
+      for (const ch of line) {
+        if (ch === "{")
+          depth++;
+        else if (ch === "}")
+          depth--;
+      }
+      if (depth === 0) {
+        closeLine = j;
+        break;
+      }
+    }
+    if (closeLine === -1 || !bodyHasTerminator)
+      continue;
+    for (let l = closeLine + 2;l <= lines.length; l++) {
+      sanitizers.push({
+        type: "rust_set_allowlist_guard",
+        method: "if",
+        line: l,
+        sanitizes: [
+          "ssrf",
+          "open_redirect",
+          "command_injection",
+          "external_taint_escape"
+        ]
+      });
+    }
+  }
+  return sanitizers;
+}
+function findRustCanonicalizeGuardSanitizers(code) {
+  const sanitizers = [];
+  const lines = code.split(`
+`);
+  const guardOpen = /^\s*if\s+!\s*[A-Za-z_][\w?.()&]*\.starts_with\s*\(/;
+  const terminator = /\b(return|Err\s*\(|panic!\s*\(|HttpResponse::(?:Forbidden|BadRequest|Unauthorized|NotFound))/;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    if (!guardOpen.test(lines[i2]))
+      continue;
+    let depth = 0;
+    for (const ch of lines[i2]) {
+      if (ch === "{")
+        depth++;
+      else if (ch === "}")
+        depth--;
+    }
+    if (depth <= 0)
+      continue;
+    let closeLine = -1;
+    let bodyHasTerminator = false;
+    const maxScan = Math.min(lines.length, i2 + 26);
+    for (let j = i2 + 1;j < maxScan; j++) {
+      const line = lines[j];
+      if (terminator.test(line))
+        bodyHasTerminator = true;
+      for (const ch of line) {
+        if (ch === "{")
+          depth++;
+        else if (ch === "}")
+          depth--;
+      }
+      if (depth === 0) {
+        closeLine = j;
+        break;
+      }
+    }
+    if (closeLine === -1 || !bodyHasTerminator)
+      continue;
+    for (let l = closeLine + 2;l <= lines.length; l++) {
+      sanitizers.push({
+        type: "rust_canonicalize_guard",
+        method: "if",
+        line: l,
+        sanitizes: [
+          "path_traversal",
+          "xss",
+          "ssrf",
+          "external_taint_escape"
+        ]
+      });
+    }
+  }
+  return sanitizers;
+}
 
 // ../circle-ir/dist/analysis/passes/sink-filter-pass.js
 var JS_XSS_SANITIZERS = [
@@ -28687,6 +28957,11 @@ var TEST_FILENAME_RE = /(?:\.(?:test|spec)\.[cm]?[jt]sx?|_test\.go|_test\.py|Tes
 function isTestFile(file) {
   return TEST_PATH_RE3.test(file) || TEST_FILENAME_RE.test(file);
 }
+var GENERATED_PATH_RE = /(?:^|[\\/])(?:gen|generated|build[\\/]generated|src[\\/](?:main|test)[\\/]generated|target[\\/]generated-sources|target[\\/]generated-test-sources|node_modules[\\/]\.cache)(?:[\\/]|$)/i;
+var GENERATED_FILENAME_RE = /__[ch]\.java$|\.pb\.go$|_pb2\.py$|\.generated\.[cm]?[jt]sx?$/i;
+function isGeneratedFile(file) {
+  return GENERATED_PATH_RE.test(file) || GENERATED_FILENAME_RE.test(file);
+}
 var PROVIDER_PATTERNS = [
   {
     name: "AWS access key",
@@ -28867,6 +29142,126 @@ function shannonEntropy(s) {
   return h;
 }
 var CREDENTIAL_NAME_RE = /(?:key|secret|token|password|passwd|credential|api[_-]?key)/i;
+function findAnnotationLineRanges(code) {
+  const lines = code.split(`
+`);
+  const inAnnotation = new Set;
+  const OPEN_RE = /(?:@[A-Za-z_]\w*(?:\.[A-Za-z_]\w*)*\s*\(|#\[)/g;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    OPEN_RE.lastIndex = 0;
+    let m;
+    while ((m = OPEN_RE.exec(lines[i2])) !== null) {
+      const isRustAttr = m[0].startsWith("#[");
+      const openCh = isRustAttr ? "[" : "(";
+      const closeCh = isRustAttr ? "]" : ")";
+      let depth = 1;
+      let li = i2;
+      let col = m.index + m[0].length;
+      let lineBudget = 200;
+      inAnnotation.add(li + 1);
+      while (depth > 0 && li < lines.length && lineBudget > 0) {
+        const ln = lines[li];
+        let inStr = null;
+        while (col < ln.length && depth > 0) {
+          const ch = ln[col];
+          if (inStr !== null) {
+            if (ch === "\\") {
+              col += 2;
+              continue;
+            }
+            if (ch === inStr)
+              inStr = null;
+          } else if (ch === '"' || ch === "'" || ch === "`") {
+            inStr = ch;
+          } else if (ch === openCh) {
+            depth++;
+          } else if (ch === closeCh) {
+            depth--;
+          }
+          col++;
+        }
+        if (depth > 0) {
+          li++;
+          col = 0;
+          lineBudget--;
+          if (li < lines.length)
+            inAnnotation.add(li + 1);
+        }
+      }
+    }
+  }
+  return inAnnotation;
+}
+function findStringArrayLineRanges(code) {
+  const lines = code.split(`
+`);
+  const inArray = new Set;
+  const OPEN_RE = /=\s*([{\[])/g;
+  const STR_LITERAL_COUNT_RE = /(["'`])(?:\\.|(?!\1).)*\1/g;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    OPEN_RE.lastIndex = 0;
+    let m;
+    while ((m = OPEN_RE.exec(lines[i2])) !== null) {
+      const openCh = m[1];
+      const closeCh = openCh === "{" ? "}" : "]";
+      let depth = 1;
+      let li = i2;
+      let col = m.index + m[0].length;
+      let lineBudget = 500;
+      const spanLines = [li + 1];
+      let spanText = "";
+      while (depth > 0 && li < lines.length && lineBudget > 0) {
+        const ln = lines[li];
+        let inStr = null;
+        const start2 = col;
+        while (col < ln.length && depth > 0) {
+          const ch = ln[col];
+          if (inStr !== null) {
+            if (ch === "\\") {
+              col += 2;
+              continue;
+            }
+            if (ch === inStr)
+              inStr = null;
+          } else if (ch === '"' || ch === "'" || ch === "`") {
+            inStr = ch;
+          } else if (ch === openCh) {
+            depth++;
+          } else if (ch === closeCh) {
+            depth--;
+          }
+          col++;
+        }
+        spanText += ln.substring(start2, col) + `
+`;
+        if (depth > 0) {
+          li++;
+          col = 0;
+          lineBudget--;
+          if (li < lines.length)
+            spanLines.push(li + 1);
+        }
+      }
+      STR_LITERAL_COUNT_RE.lastIndex = 0;
+      let strCount = 0;
+      while (STR_LITERAL_COUNT_RE.exec(spanText) !== null) {
+        strCount++;
+        if (strCount >= 3)
+          break;
+      }
+      if (strCount >= 3) {
+        for (const ln of spanLines)
+          inArray.add(ln);
+      }
+    }
+  }
+  return inArray;
+}
+var FIELD_ASSIGN_RE = /(?:^|[\s,(])([A-Za-z_$][\w$]*)\s*[:=]\s*["'`]/;
+function extractEnclosingFieldName(lineText) {
+  const m = FIELD_ASSIGN_RE.exec(lineText);
+  return m ? m[1] : null;
+}
 var TEST_CALL_RE = /\b(?:expect|assert|describe|it|test)\s*\(/;
 var COMMENT_EXAMPLE_RE = /(?:\/\/|#)\s*(?:example|sample|test|fixture)/i;
 
@@ -28875,7 +29270,7 @@ class ScanSecretsPass {
   category = "security";
   run(ctx) {
     const file = ctx.graph.ir.meta.file;
-    if (isTestFile(file)) {
+    if (isTestFile(file) || isGeneratedFile(file)) {
       return { providerFindings: 0, entropyFindings: 0 };
     }
     const lines = ctx.code.split(`
@@ -28889,6 +29284,8 @@ class ScanSecretsPass {
         seen.add(`${f.line}:${f.rule_id}`);
       }
     }
+    const annotationLines = findAnnotationLineRanges(ctx.code);
+    const arrayLines = findStringArrayLineRanges(ctx.code);
     let providerFindings = 0;
     let entropyFindings = 0;
     for (let i2 = 0;i2 < lines.length; i2++) {
@@ -28955,12 +29352,18 @@ class ScanSecretsPass {
         continue;
       if (COMMENT_EXAMPLE_RE.test(lineText))
         continue;
+      if (annotationLines.has(lineNum))
+        continue;
+      if (arrayLines.has(lineNum))
+        continue;
       STRING_LITERAL_RE.lastIndex = 0;
       let match;
       while ((match = STRING_LITERAL_RE.exec(lineText)) !== null) {
         const value = match[2];
         if (!this.isCandidate(value))
           continue;
+        if (value.length < 32)
+          continue;
         if (!this.passesEntropyGate(value, lineText))
           continue;
         const key = `${lineNum}:hardcoded-credential-entropy`;
@@ -29007,11 +29410,12 @@ class ScanSecretsPass {
     return true;
   }
   passesEntropyGate(value, lineText) {
+    const fieldName = extractEnclosingFieldName(lineText);
+    if (fieldName === null || !CREDENTIAL_NAME_RE.test(fieldName))
+      return false;
     const isHex = HEXISH_RE.test(value);
-    const boost = CREDENTIAL_NAME_RE.test(lineText) ? 0.2 : 0;
-    const threshold = isHex ? 3.5 - boost : 4.3 - boost;
-    const h = shannonEntropy(value);
-    return h >= threshold;
+    const threshold = isHex ? 3.3 : 4.1;
+    return shannonEntropy(value) >= threshold;
   }
 }
 
@@ -33586,7 +33990,7 @@ var colors = {
 };
 
 // src/version.ts
-var version = "3.83.0";
+var version = "3.85.0";
 
 // src/formatters.ts
 var SINK_SEVERITY = {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "cognium-dev",
-  "version": "3.83.0",
+  "version": "3.85.0",
   "description": "Static Application Security Testing CLI for detecting security vulnerabilities via taint tracking",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
@@ -65,7 +65,7 @@
     "registry": "https://registry.npmjs.org/"
   },
   "dependencies": {
-    "circle-ir": "^3.83.0"
+    "circle-ir": "^3.85.0"
   },
   "devDependencies": {
     "@types/node": "^25.5.0",