cognium-dev 4.10.0 → 4.11.0

package/dist/cli.js

@@ -27299,6 +27299,27 @@ function findPythonAssignmentSources(sourceCode, language) {
     const lineNumber = lineNum + 1;
     if (line.trimStart().startsWith("#"))
       continue;
+    const forTargetMatch = line.match(/^\s*for\s+([\p{L}\p{N}_]+)\s+in\s+(.+?)\s*:\s*$/u);
+    if (forTargetMatch) {
+      const [, iterVar, iterExpr] = forTargetMatch;
+      for (const { pattern, type } of PYTHON_TAINTED_PATTERNS2) {
+        if (!pattern.test(iterExpr))
+          continue;
+        const alreadyExists = sources.some((s2) => s2.line === lineNumber && s2.type === type);
+        if (!alreadyExists) {
+          sources.push({
+            type,
+            location: `for ${iterVar} in ${iterExpr.trim().substring(0, 50)}${iterExpr.length > 50 ? "..." : ""}`,
+            severity: "high",
+            line: lineNumber,
+            confidence: 0.95,
+            variable: iterVar
+          });
+        }
+        break;
+      }
+      continue;
+    }
     const assignmentMatch = line.match(/^(\s*\w[\w.]*)\s*(?::\s*\w[\w\[\], .]*)?\s*=\s*(.+)/);
     if (!assignmentMatch)
       continue;
@@ -36572,6 +36593,103 @@ class SpeculativePromptParamSourcePass {
   }
 }
 
+// ../circle-ir/dist/analysis/passes/param-source-flow-gate-pass.js
+var EXEMPT_LANGUAGES = new Set(["java", "csharp"]);
+var ROUTE_ANNOTATION = /(?:^|[.\s@])(?:route|api_route|get|post|put|patch|delete|head|options|websocket|api_view|view_config|RequestMapping|GetMapping|PostMapping|PutMapping|DeleteMapping|PatchMapping|All)\s*(?:\(|$)/i;
+var RUST_ROUTE_ATTR = /^\s*#\[\s*(?:[A-Za-z_][\w]*::)*(?:get|post|put|patch|delete|head|options|route|handler)\s*[(\]]/;
+var RUST_HANDLER_RETURN = /\b(?:HttpResponse|Responder|Reply|IntoResponse|Response(?:<[^>]*>)?)\b/;
+function enclosingMethod(methods, line) {
+  let best;
+  for (const m of methods) {
+    if (m.start_line <= line && line <= m.end_line) {
+      if (!best || m.end_line - m.start_line < best.end_line - best.start_line)
+        best = m;
+    }
+  }
+  return best;
+}
+function rustAttributesAbove(lines, startLine) {
+  const out2 = [];
+  for (let i2 = startLine - 2;i2 >= 0; i2--) {
+    const t = (lines[i2] ?? "").trim();
+    if (t.startsWith("#[")) {
+      out2.push(t);
+      continue;
+    }
+    if (t === "" || t.startsWith("//"))
+      continue;
+    break;
+  }
+  return out2;
+}
+function isFrameworkHandler(method, language, lines) {
+  if (method.annotations.some((a) => ROUTE_ANNOTATION.test(a)))
+    return true;
+  if (language === "rust") {
+    if (rustAttributesAbove(lines, method.start_line).some((a) => RUST_ROUTE_ATTR.test(a)))
+      return true;
+    if (method.return_type && RUST_HANDLER_RETURN.test(method.return_type))
+      return true;
+  }
+  return false;
+}
+
+class ParamSourceFlowGatePass {
+  keepParamSourcedFlows;
+  name = "param-source-flow-gate";
+  category = "security";
+  constructor(keepParamSourcedFlows) {
+    this.keepParamSourcedFlows = keepParamSourcedFlows;
+  }
+  run(ctx) {
+    const result = { applied: false, dropped: 0, droppedBySinkType: {} };
+    if (this.keepParamSourcedFlows || EXEMPT_LANGUAGES.has(ctx.language))
+      return result;
+    if (!ctx.hasResult("interprocedural"))
+      return result;
+    const flows = ctx.getResult("interprocedural").additionalFlows;
+    result.applied = true;
+    if (flows.length === 0)
+      return result;
+    const methods = ctx.graph.ir.types.flatMap((t) => t.methods);
+    const lines = ctx.code.split(`
+`);
+    const handlerCache = new Map;
+    const isHandler = (m) => {
+      let v = handlerCache.get(m);
+      if (v === undefined) {
+        v = isFrameworkHandler(m, ctx.language, lines);
+        handlerCache.set(m, v);
+      }
+      return v;
+    };
+    const realSourceLines = new Set;
+    if (ctx.hasResult("sink-filter")) {
+      const sources = ctx.getResult("sink-filter").sources;
+      for (const s of sources) {
+        if (s.type !== "interprocedural_param")
+          realSourceLines.add(s.line);
+      }
+    }
+    let w = 0;
+    for (const f of flows) {
+      let keep = true;
+      if (f.source_type === "interprocedural_param" && !realSourceLines.has(f.source_line)) {
+        const m = enclosingMethod(methods, f.source_line);
+        keep = m !== undefined && isHandler(m);
+      }
+      if (keep)
+        flows[w++] = f;
+      else {
+        result.dropped++;
+        result.droppedBySinkType[f.sink_type] = (result.droppedBySinkType[f.sink_type] ?? 0) + 1;
+      }
+    }
+    flows.length = w;
+    return result;
+  }
+}
+
 // ../circle-ir/dist/analysis/passes/cli-main-reflection-suppress-pass.js
 var REFLECTION_SINK_METHODS = new Set([
   "forName",
@@ -43827,6 +43945,13 @@ var PROVIDER_PATTERNS = [
     level: "error",
     fix: "Revoke the GitHub refresh token and store secrets outside source control."
   },
+  {
+    name: "GitLab personal access token",
+    regex: /\bglpat-[A-Za-z0-9_-]{20,}\b/,
+    severity: "critical",
+    level: "error",
+    fix: "Revoke the GitLab personal access token and store it outside source control."
+  },
   {
     name: "Stripe live secret key",
     regex: /\bsk_live_[A-Za-z0-9]{24,}\b/,
@@ -43834,6 +43959,13 @@ var PROVIDER_PATTERNS = [
     level: "error",
     fix: "Rotate the Stripe secret key in the Stripe Dashboard and load it from a secrets manager."
   },
+  {
+    name: "Stripe live restricted key",
+    regex: /\brk_live_[A-Za-z0-9]{24,}\b/,
+    severity: "critical",
+    level: "error",
+    fix: "Rotate the Stripe restricted key in the Stripe Dashboard and load it from a secrets manager."
+  },
   {
     name: "Stripe live publishable key",
     regex: /\bpk_live_[A-Za-z0-9]{24,}\b/,
@@ -44185,6 +44317,9 @@ class ScanSecretsPass {
         const m = pattern.regex.exec(lineText);
         if (!m)
           continue;
+        if ((pattern.name === "Stripe live restricted key" || pattern.name === "GitLab personal access token") && PLACEHOLDER_RE.test(m[0])) {
+          continue;
+        }
         if (pattern.name === "PEM private key" && !pemHasInlineBody(lines, i2)) {
           continue;
         }
@@ -49424,6 +49559,8 @@ async function analyze(code, filePath, language, options = {}) {
     pipeline.add(new InterproceduralPass({
       enableEntryPointGate: options.enableEntryPointGate ?? true
     }));
+    if (!disabledPasses.has("param-source-flow-gate"))
+      pipeline.add(new ParamSourceFlowGatePass(options.speculativeParamSources === true));
     if (!disabledPasses.has("library-profile-cwe22-path-gate"))
       pipeline.add(new LibraryProfileCwe22PathGatePass);
     if (!disabledPasses.has("scan-secrets"))
@@ -50874,7 +51011,7 @@ var colors = {
 };
 
 // src/version.ts
-var version = "4.10.0";
+var version = "4.11.0";
 
 // src/formatters.ts
 var LIBRARY_API_SURFACE_TAG2 = "library-api-surface:caller-responsibility";
@@ -51426,8 +51563,8 @@ function generateSarifResults(results, crossFileData) {
 
 // src/build-info.ts
 var buildInfo = {
-  gitSha: "598f8fc",
-  builtAt: "2026-10-02T23:23:28.653Z"
+  gitSha: "165e82d",
+  builtAt: "2026-10-07T23:49:13.604Z"
 };
 
 // src/utils/args.ts
@@ -51678,7 +51815,7 @@ function loadConfig(profilePath) {
     const content = readFileSync(configPath, "utf-8");
     return JSON.parse(content);
   } catch (err2) {
-    throw new Error(`Failed to parse ${configPath}: ${err2 instanceof Error ? err2.message : String(err2)}. ` + "Fix the JSON or remove the file.");
+    throw new Error(`Failed to parse ${configPath}: ${err2 instanceof Error ? err2.message : String(err2)}. ` + "Fix the JSON or remove the file.", { cause: err2 });
   }
 }
 function convertConfigToPassOptions(config) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "cognium-dev",
-  "version": "4.10.0",
+  "version": "4.11.0",
   "description": "Static Application Security Testing CLI for detecting security vulnerabilities via taint tracking",
   "bin": {
     "cognium-dev": "dist/cli.js"
@@ -65,10 +65,10 @@
   },
   "dependencies": {
     "@cognium/project-profile-detect": "1.1.2",
-    "circle-ir": "4.10.0"
+    "circle-ir": "4.11.0"
   },
   "devDependencies": {
-    "@types/node": "^26.6.2",
+    "@types/node": "^26.6.4",
     "ajv": "^8.17.1",
     "ajv-draft-04": "^1.0.0",
     "bun-types": "^1.4.2",