cognium-dev 3.98.0 → 3.100.0

package/dist/cli.js

@@ -23490,6 +23490,75 @@ var JS_XSS_SANITIZERS = [
   /\btrustAsHtml\s*\(/,
   /\bbypassSecurityTrust/
 ];
+var DATA_PARSER_TYPES = new Set([
+  "Parser",
+  "CommandLine",
+  "JCommander",
+  "DateParser",
+  "FastDateFormat",
+  "FastDatePrinter",
+  "ResultParser",
+  "DateFormat",
+  "SimpleDateFormat",
+  "NumberFormat",
+  "DecimalFormat",
+  "OptionParser",
+  "CmdLineParser"
+]);
+var COMPILED_TEMPLATE_TYPES = new Set([
+  "Template",
+  "JetTemplate",
+  "ITemplate",
+  "VelocityTemplate",
+  "BeetlTemplate"
+]);
+var REFLECTION_LITERAL_METHODS = new Set([
+  "forName",
+  "loadClass",
+  "getMethod",
+  "getDeclaredMethod",
+  "getConstructor",
+  "getDeclaredConstructor",
+  "parseExpression",
+  "invoke"
+]);
+var JAVA_DECL_RE_TEMPLATE = "(?:\\b(?:final|public|private|protected|static)\\s+)*" + "([A-Z]\\w*(?:\\.[A-Z]\\w*)?(?:<[^>]*>)?)\\s+RECV\\b\\s*[=;,)]";
+function resolveJavaReceiverType(receiver, sinkLine, sourceLines) {
+  if (!receiver || !/^[A-Za-z_]\w*$/.test(receiver))
+    return null;
+  const start2 = Math.max(0, sinkLine - 31);
+  const declRe = new RegExp(JAVA_DECL_RE_TEMPLATE.replace("RECV", receiver));
+  for (let i2 = sinkLine - 2;i2 >= start2; i2--) {
+    const ln = sourceLines[i2] ?? "";
+    const m = ln.match(declRe);
+    if (m) {
+      const raw = m[1].replace(/<[^>]*>/g, "").trim();
+      const parts2 = raw.split(".");
+      return parts2[parts2.length - 1] ?? null;
+    }
+  }
+  return null;
+}
+function isJavaLiteralOrAnnotationAccessor(expr) {
+  const e = expr.trim();
+  if (e === "")
+    return true;
+  if (/^"(?:[^"\\]|\\.)*"$/.test(e))
+    return true;
+  if (/^[A-Za-z_]\w*\s*\.\s*(?:value|name|key)\s*\(\s*\)$/.test(e))
+    return true;
+  return false;
+}
+function extractJavaCallArgs(method, line) {
+  const re = new RegExp(`\\b${method}\\s*\\(([^()]*(?:\\([^()]*\\)[^()]*)*)\\)`);
+  const m = line.match(re);
+  if (!m)
+    return null;
+  const argsText = m[1].trim();
+  if (argsText === "")
+    return [];
+  return argsText.split(",").map((s) => s.trim());
+}
 
 class SinkFilterPass {
   name = "sink-filter";
@@ -23627,7 +23696,7 @@ class SinkFilterPass {
     if (["javascript", "typescript"].includes(language)) {
       const sourceLines = ctx.code.split(`
 `);
-      const guardPatterns = /\b(?:includes|startsWith|endsWith|indexOf|test|match)\s*\(/;
+      const guardPatterns = /\b(?:includes|startsWith|endsWith|indexOf|test|match|has)\s*\(/;
       filtered = filtered.filter((sink) => {
         if (sink.type !== "open_redirect" && sink.type !== "crlf") {
           return true;
@@ -23647,6 +23716,48 @@ class SinkFilterPass {
         if (setHeaderMatch) {
           return false;
         }
+        if (sink.method === "cookie" && sink.type === "crlf") {
+          return false;
+        }
+        return true;
+      });
+    }
+    if (language === "java") {
+      const sourceLines = ctx.code.split(`
+`);
+      filtered = filtered.filter((sink) => {
+        if (sink.type !== "code_injection")
+          return true;
+        const sinkLineText = sourceLines[sink.line - 1] ?? "";
+        const receiverMatch = sinkLineText.match(/\b(\w+)\s*\.\s*(\w+)\s*\(/);
+        const receiver = receiverMatch?.[1];
+        const method = sink.method ?? receiverMatch?.[2];
+        if (method === "parse" && receiver) {
+          const recvType = resolveJavaReceiverType(receiver, sink.line, sourceLines);
+          if (recvType && DATA_PARSER_TYPES.has(recvType))
+            return false;
+        }
+        if ((method === "render" || method === "process" || method === "merge" || method === "renderTo") && receiver) {
+          const recvType = resolveJavaReceiverType(receiver, sink.line, sourceLines);
+          if (recvType && COMPILED_TEMPLATE_TYPES.has(recvType))
+            return false;
+        }
+        if (method && REFLECTION_LITERAL_METHODS.has(method)) {
+          const args2 = extractJavaCallArgs(method, sinkLineText);
+          if (args2 !== null) {
+            if (method === "invoke") {
+              if (args2.length <= 1)
+                return false;
+            } else {
+              const firstArg = args2[0] ?? "";
+              if (isJavaLiteralOrAnnotationAccessor(firstArg))
+                return false;
+            }
+          }
+        }
+        if (method === "newInstance" && /\.\s*newInstance\s*\(\s*\)/.test(sinkLineText)) {
+          return false;
+        }
         return true;
       });
     }
@@ -31688,15 +31799,34 @@ function isExceptionExpression(expr) {
   if (!expr)
     return false;
   const e = expr.trim();
-  return /\b(err|error|exc|exception|e|t|throwable)\.(stack|message|toString\(|getMessage\(|getStackTrace\(|getLocalizedMessage\(|getCause\()/i.test(e) || /\btraceback\.(format_exc|format_exception|print_exc)\b/i.test(e) || /\bdebug\.Stack\(\)/.test(e) || /\bstr\(\s*(err|error|exc|exception|e)\s*\)/i.test(e) || /\bString\(\s*(err|error|exc|exception|e)\s*\)/i.test(e);
+  return /\b(err|error|exc|exception|e|t|throwable)\.(stack|toString\(|getStackTrace\(|getLocalizedMessage\(|getCause\()/i.test(e) || /\btraceback\.(format_exc|format_exception|print_exc)\b/i.test(e) || /\bdebug\.Stack\(\)/.test(e) || /\bstr\(\s*(err|error|exc|exception|e)\s*\)/i.test(e) || /\bString\(\s*(err|error|exc|exception|e)\s*\)/i.test(e);
+}
+var PY_FILE_HANDLE_OPEN_RE = /^\s*(?:with\s+open\s*\([^)]*\)\s+as\s+(\w+)\s*:|(\w+)\s*=\s*open\s*\()/;
+function isPythonFileHandle(receiver, callLine, sourceLines) {
+  if (!receiver || !/^[A-Za-z_]\w*$/.test(receiver))
+    return false;
+  const start2 = Math.max(0, callLine - 11);
+  for (let i2 = callLine - 2;i2 >= start2; i2--) {
+    const ln = sourceLines[i2] ?? "";
+    const m = ln.match(PY_FILE_HANDLE_OPEN_RE);
+    if (!m)
+      continue;
+    const name2 = m[1] ?? m[2];
+    if (name2 === receiver)
+      return true;
+  }
+  return false;
 }
 function argIsException(arg) {
   if (!arg)
     return false;
+  const expr = (arg.expression ?? "").trim();
   if (arg.variable && /^(err|error|exc|exception|e|t|throwable)$/i.test(arg.variable)) {
-    return true;
+    if (!expr || expr === arg.variable)
+      return true;
+    return isExceptionExpression(expr);
   }
-  return isExceptionExpression(arg.expression);
+  return isExceptionExpression(expr);
 }
 function detectJavaPrintStackTrace(call) {
   if (call.method_name !== "printStackTrace")
@@ -31713,13 +31843,16 @@ function detectJavaPrintStackTrace(call) {
   }
   return null;
 }
-function detectResponseLeakCall(call) {
+function detectResponseLeakCall(call, language, sourceLines) {
   const method = call.method_name ?? "";
   const receiver = call.receiver ?? "";
   if (!RESPONSE_SEND_METHODS.has(method))
     return null;
   if (LOGGER_RECEIVER_RE.test(receiver))
     return null;
+  if (language === "python" && (method === "write" || method === "writelines") && sourceLines && isPythonFileHandle(receiver, call.location.line, sourceLines)) {
+    return null;
+  }
   const recTail = receiver.split(".").pop() ?? receiver;
   const recHead = receiver.split(".")[0] ?? receiver;
   if (!RESPONSE_RECEIVER_RE.test(recTail) && !RESPONSE_RECEIVER_RE.test(recHead)) {
@@ -31764,6 +31897,8 @@ class InfoDisclosureStacktracePass {
     const { graph, language } = ctx;
     const file = graph.ir.meta.file;
     const findings = [];
+    const sourceLines = ctx.code.split(`
+`);
     if (language === "python") {
       for (const f of detectPythonTracebackReturn(ctx)) {
         findings.push({ line: f.line, api: f.api, language });
@@ -31775,9 +31910,9 @@ class InfoDisclosureStacktracePass {
       if (language === "java") {
         api = detectJavaPrintStackTrace(call);
         if (!api)
-          api = detectResponseLeakCall(call);
+          api = detectResponseLeakCall(call, language, sourceLines);
       } else if (language === "javascript" || language === "typescript") {
-        api = detectResponseLeakCall(call);
+        api = detectResponseLeakCall(call, language, sourceLines);
       } else if (language === "go") {
         const method = call.method_name ?? "";
         const rec = call.receiver ?? "";
@@ -31798,10 +31933,10 @@ class InfoDisclosureStacktracePass {
             }
           }
         } else {
-          api = detectResponseLeakCall(call);
+          api = detectResponseLeakCall(call, language, sourceLines);
         }
       } else if (language === "python") {
-        api = detectResponseLeakCall(call);
+        api = detectResponseLeakCall(call, language, sourceLines);
       }
       if (!api)
         continue;
@@ -34741,7 +34876,7 @@ var colors = {
 };
 
 // src/version.ts
-var version = "3.98.0";
+var version = "3.100.0";
 
 // src/formatters.ts
 var SINK_SEVERITY = {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "cognium-dev",
-  "version": "3.98.0",
+  "version": "3.100.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.98.0"
+    "circle-ir": "^3.100.0"
   },
   "devDependencies": {
     "@types/node": "^25.5.0",