cognium-dev 3.194.0 → 3.197.0

package/dist/cli.js

@@ -10719,7 +10719,7 @@ var DEFAULT_SOURCES = [
   { method: "Json", type: "http_body", severity: "high", return_tainted: true, languages: ["rust"] },
   { method: "Query", type: "http_param", severity: "high", return_tainted: true, languages: ["rust"] },
   { method: "Path", type: "http_path", severity: "high", return_tainted: true, languages: ["rust"] },
-  { method: "Form", type: "http_param", severity: "high", return_tainted: true, languages: ["rust"] },
+  { method: "Form", type: "http_body", severity: "high", return_tainted: true, languages: ["rust"] },
   { method: "var", class: "env", type: "env_input", severity: "medium", return_tainted: true },
   { method: "var_os", class: "env", type: "env_input", severity: "medium", return_tainted: true },
   { method: "args", class: "env", type: "env_input", severity: "medium", return_tainted: true },
@@ -11508,7 +11508,7 @@ var DEFAULT_SINKS = [
   { method: "execSync", class: "child_process", type: "command_injection", cwe: "CWE-78", severity: "critical", arg_positions: [0] },
   { method: "spawn", class: "child_process", type: "command_injection", cwe: "CWE-78", severity: "critical", arg_positions: [0] },
   { method: "spawnSync", class: "child_process", type: "command_injection", cwe: "CWE-78", severity: "critical", arg_positions: [0] },
-  { method: "exec", type: "command_injection", cwe: "CWE-78", severity: "high", arg_positions: [0] },
+  { method: "exec", type: "command_injection", cwe: "CWE-78", severity: "high", arg_positions: [0], exclude_languages: ["python"] },
   { method: "execSync", type: "command_injection", cwe: "CWE-78", severity: "high", arg_positions: [0], languages: ["javascript", "typescript"] },
   { method: "spawn", type: "command_injection", cwe: "CWE-78", severity: "high", arg_positions: [0], languages: ["javascript", "typescript"] },
   { method: "spawnSync", type: "command_injection", cwe: "CWE-78", severity: "high", arg_positions: [0], languages: ["javascript", "typescript"] },
@@ -11528,7 +11528,7 @@ var DEFAULT_SINKS = [
   { method: "query", class: "Client", type: "sql_injection", cwe: "CWE-89", severity: "critical", arg_positions: [0], languages: ["javascript", "typescript"], allow_unresolved_receiver: true },
   { method: "execute", class: "Pool", type: "sql_injection", cwe: "CWE-89", severity: "critical", arg_positions: [0], languages: ["javascript", "typescript"], allow_unresolved_receiver: true },
   { method: "execute", class: "Connection", type: "sql_injection", cwe: "CWE-89", severity: "critical", arg_positions: [0], languages: ["javascript", "typescript"], allow_unresolved_receiver: true },
-  { method: "raw", type: "sql_injection", cwe: "CWE-89", severity: "high", arg_positions: [0], languages: ["javascript", "typescript"] },
+  { method: "raw", type: "sql_injection", cwe: "CWE-89", severity: "critical", arg_positions: [0], languages: ["javascript", "typescript"] },
   { method: "all", class: "Connection", type: "sql_injection", cwe: "CWE-89", severity: "critical", arg_positions: [0], languages: ["javascript", "typescript"], allow_unresolved_receiver: true },
   { method: "run", class: "Connection", type: "sql_injection", cwe: "CWE-89", severity: "critical", arg_positions: [0], languages: ["javascript", "typescript"], allow_unresolved_receiver: true },
   { method: "each", class: "Connection", type: "sql_injection", cwe: "CWE-89", severity: "critical", arg_positions: [0], languages: ["javascript", "typescript"], allow_unresolved_receiver: true },
@@ -12483,6 +12483,17 @@ function analyzeTaint(calls, types, config = getDefaultConfig(), typeHierarchy,
   const sanitizers = findSanitizers(calls, types, config.sanitizers, sourceLines);
   return { sources, sinks, sanitizers };
 }
+function sinkPatternAppliesTo(pattern, language) {
+  if (language === undefined)
+    return true;
+  if (pattern.languages && pattern.languages.length > 0 && !pattern.languages.includes(language)) {
+    return false;
+  }
+  if (pattern.exclude_languages && pattern.exclude_languages.includes(language)) {
+    return false;
+  }
+  return true;
+}
 function expandPromisifyAliases(patterns, sourceLines, language) {
   if (!sourceLines || sourceLines.length === 0)
     return patterns;
@@ -12491,7 +12502,7 @@ function expandPromisifyAliases(patterns, sourceLines, language) {
   const PROMISIFY_RE = /\b(?:const|let|var)\s+([A-Za-z_$][\w$]*)\s*=\s*(?:util\s*\.\s*)?promisify\s*\(\s*([A-Za-z_$][\w$]*)\s*\)/;
   const innerToPattern = new Map;
   for (const p of patterns) {
-    if (p.languages && !p.languages.includes(language))
+    if (!sinkPatternAppliesTo(p, language))
       continue;
     if (p.class !== undefined)
       continue;
@@ -12499,7 +12510,7 @@ function expandPromisifyAliases(patterns, sourceLines, language) {
       innerToPattern.set(p.method, p);
   }
   for (const p of patterns) {
-    if (p.languages && !p.languages.includes(language))
+    if (!sinkPatternAppliesTo(p, language))
       continue;
     if (innerToPattern.has(p.method))
       continue;
@@ -12541,7 +12552,7 @@ function expandIndirectEvalAliases(patterns, sourceLines, language) {
   const INDIRECT_EVAL_RE = /\b(?:const|let|var)\s+([A-Za-z_$][\w$]*)\s*(?::[^=]+)?=\s*(eval|Function)\b(?!\s*\()/;
   const innerToPattern = new Map;
   for (const p of patterns) {
-    if (p.languages && !p.languages.includes(language))
+    if (!sinkPatternAppliesTo(p, language))
       continue;
     if (p.class !== undefined)
       continue;
@@ -13301,7 +13312,7 @@ function isSafeJinjaRenderCall(call, pattern, language, sourceLines) {
   return false;
 }
 function findSinks(calls, patterns, typeHierarchy, language, sourceLines, types) {
-  const patternsForLanguage = language === undefined ? patterns : patterns.filter((p) => !p.languages || p.languages.length === 0 || p.languages.includes(language));
+  const patternsForLanguage = language === undefined ? patterns : patterns.filter((p) => sinkPatternAppliesTo(p, language));
   const sinkMap = new Map;
   for (const call of calls) {
     for (const pattern of patternsForLanguage) {
@@ -13636,10 +13647,8 @@ var SINK_FQN_EXCLUSIONS = {
   ]
 };
 function matchesSinkPattern(call, pattern, typeHierarchy, language) {
-  if (pattern.languages && pattern.languages.length > 0 && language !== undefined) {
-    if (!pattern.languages.includes(language)) {
-      return false;
-    }
+  if (!sinkPatternAppliesTo(pattern, language)) {
+    return false;
   }
   const callMethodName = call.method_name;
   const patternMethod = pattern.method;
@@ -20987,99 +20996,11 @@ class JavaPlugin extends BaseLanguagePlugin {
         severity: "high",
         confidence: 0.9,
         returnTainted: true
-      },
-      {
-        method: "getParameter",
-        class: "HttpServletRequest",
-        type: "http_param",
-        severity: "high",
-        confidence: 0.95,
-        returnTainted: true
-      },
-      {
-        method: "getParameterValues",
-        class: "HttpServletRequest",
-        type: "http_param",
-        severity: "high",
-        confidence: 0.95,
-        returnTainted: true
-      },
-      {
-        method: "getHeader",
-        class: "HttpServletRequest",
-        type: "http_header",
-        severity: "high",
-        confidence: 0.9,
-        returnTainted: true
-      },
-      {
-        method: "getCookies",
-        class: "HttpServletRequest",
-        type: "http_cookie",
-        severity: "high",
-        confidence: 0.9,
-        returnTainted: true
-      },
-      {
-        method: "getInputStream",
-        class: "HttpServletRequest",
-        type: "http_body",
-        severity: "high",
-        confidence: 0.85,
-        returnTainted: true
-      },
-      {
-        method: "getReader",
-        class: "HttpServletRequest",
-        type: "http_body",
-        severity: "high",
-        confidence: 0.85,
-        returnTainted: true
       }
     ];
   }
   getBuiltinSinks() {
     return [
-      {
-        method: "executeQuery",
-        class: "Statement",
-        type: "sql_injection",
-        cwe: "CWE-89",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "executeUpdate",
-        class: "Statement",
-        type: "sql_injection",
-        cwe: "CWE-89",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "execute",
-        class: "Statement",
-        type: "sql_injection",
-        cwe: "CWE-89",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "exec",
-        class: "Runtime",
-        type: "command_injection",
-        cwe: "CWE-78",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "start",
-        class: "ProcessBuilder",
-        type: "command_injection",
-        cwe: "CWE-78",
-        severity: "critical",
-        argPositions: []
-      },
       {
         method: "FileInputStream",
         type: "path_traversal",
@@ -21094,38 +21015,6 @@ class JavaPlugin extends BaseLanguagePlugin {
         severity: "high",
         argPositions: [0]
       },
-      {
-        method: "write",
-        class: "PrintWriter",
-        type: "xss",
-        cwe: "CWE-79",
-        severity: "high",
-        argPositions: [0]
-      },
-      {
-        method: "println",
-        class: "PrintWriter",
-        type: "xss",
-        cwe: "CWE-79",
-        severity: "high",
-        argPositions: [0]
-      },
-      {
-        method: "search",
-        class: "DirContext",
-        type: "ldap_injection",
-        cwe: "CWE-90",
-        severity: "high",
-        argPositions: [0, 1]
-      },
-      {
-        method: "evaluate",
-        class: "XPath",
-        type: "xpath_injection",
-        cwe: "CWE-643",
-        severity: "high",
-        argPositions: [0]
-      },
       {
         method: "readObject",
         class: "ObjectInputStream",
@@ -21635,37 +21524,6 @@ class JavaScriptPlugin extends BaseLanguagePlugin {
   }
   getBuiltinSinks() {
     return [
-      {
-        method: "exec",
-        class: "child_process",
-        type: "command_injection",
-        cwe: "CWE-78",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "execSync",
-        class: "child_process",
-        type: "command_injection",
-        cwe: "CWE-78",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "spawn",
-        class: "child_process",
-        type: "command_injection",
-        cwe: "CWE-78",
-        severity: "critical",
-        argPositions: [0, 1]
-      },
-      {
-        method: "eval",
-        type: "code_injection",
-        cwe: "CWE-94",
-        severity: "critical",
-        argPositions: [0]
-      },
       {
         method: "Function",
         type: "code_injection",
@@ -21687,44 +21545,6 @@ class JavaScriptPlugin extends BaseLanguagePlugin {
         severity: "high",
         argPositions: [0]
       },
-      {
-        method: "readFileSync",
-        class: "fs",
-        type: "path_traversal",
-        cwe: "CWE-22",
-        severity: "high",
-        argPositions: [0]
-      },
-      {
-        method: "writeFileSync",
-        class: "fs",
-        type: "path_traversal",
-        cwe: "CWE-22",
-        severity: "high",
-        argPositions: [0]
-      },
-      {
-        method: "createReadStream",
-        class: "fs",
-        type: "path_traversal",
-        cwe: "CWE-22",
-        severity: "high",
-        argPositions: [0]
-      },
-      {
-        method: "innerHTML",
-        type: "xss",
-        cwe: "CWE-79",
-        severity: "high",
-        argPositions: [0]
-      },
-      {
-        method: "outerHTML",
-        type: "xss",
-        cwe: "CWE-79",
-        severity: "high",
-        argPositions: [0]
-      },
       {
         method: "document.write",
         type: "xss",
@@ -21774,13 +21594,6 @@ class JavaScriptPlugin extends BaseLanguagePlugin {
         severity: "critical",
         argPositions: [0]
       },
-      {
-        method: "raw",
-        type: "sql_injection",
-        cwe: "CWE-89",
-        severity: "critical",
-        argPositions: [0]
-      },
       {
         method: "$executeRawUnsafe",
         type: "sql_injection",
@@ -21795,29 +21608,6 @@ class JavaScriptPlugin extends BaseLanguagePlugin {
         severity: "critical",
         argPositions: [0]
       },
-      {
-        method: "fetch",
-        type: "ssrf",
-        cwe: "CWE-918",
-        severity: "high",
-        argPositions: [0]
-      },
-      {
-        method: "get",
-        class: "axios",
-        type: "ssrf",
-        cwe: "CWE-918",
-        severity: "high",
-        argPositions: [0]
-      },
-      {
-        method: "request",
-        class: "http",
-        type: "ssrf",
-        cwe: "CWE-918",
-        severity: "high",
-        argPositions: [0]
-      },
       {
         method: "find",
         type: "nosql_injection",
@@ -21825,13 +21615,6 @@ class JavaScriptPlugin extends BaseLanguagePlugin {
         severity: "high",
         argPositions: [0]
       },
-      {
-        method: "findOne",
-        type: "nosql_injection",
-        cwe: "CWE-943",
-        severity: "high",
-        argPositions: [0]
-      },
       {
         method: "merge",
         type: "prototype_pollution",
@@ -21907,13 +21690,6 @@ class JavaScriptPlugin extends BaseLanguagePlugin {
         severity: "high",
         argPositions: [0]
       },
-      {
-        method: "redirect",
-        type: "open_redirect",
-        cwe: "CWE-601",
-        severity: "high",
-        argPositions: [0]
-      },
       {
         method: "push",
         class: "router",
@@ -22156,13 +21932,6 @@ class PythonPlugin extends BaseLanguagePlugin {
         confidence: 0.9,
         returnTainted: true
       },
-      {
-        method: "input",
-        type: "user_input",
-        severity: "high",
-        confidence: 0.95,
-        returnTainted: true
-      },
       {
         method: "argv",
         class: "sys",
@@ -22178,129 +21947,11 @@ class PythonPlugin extends BaseLanguagePlugin {
         severity: "medium",
         confidence: 0.85,
         returnTainted: true
-      },
-      {
-        method: "getenv",
-        class: "os",
-        type: "env_var",
-        severity: "medium",
-        confidence: 0.85,
-        returnTainted: true
-      },
-      {
-        method: "read",
-        type: "file_input",
-        severity: "medium",
-        confidence: 0.8,
-        returnTainted: true
-      },
-      {
-        method: "readline",
-        type: "file_input",
-        severity: "medium",
-        confidence: 0.8,
-        returnTainted: true
-      },
-      {
-        method: "readlines",
-        type: "file_input",
-        severity: "medium",
-        confidence: 0.8,
-        returnTainted: true
       }
     ];
   }
   getBuiltinSinks() {
     return [
-      {
-        method: "system",
-        class: "os",
-        type: "command_injection",
-        cwe: "CWE-78",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "popen",
-        class: "os",
-        type: "command_injection",
-        cwe: "CWE-78",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "run",
-        class: "subprocess",
-        type: "command_injection",
-        cwe: "CWE-78",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "call",
-        class: "subprocess",
-        type: "command_injection",
-        cwe: "CWE-78",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "Popen",
-        class: "subprocess",
-        type: "command_injection",
-        cwe: "CWE-78",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "eval",
-        type: "code_injection",
-        cwe: "CWE-94",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "exec",
-        type: "code_injection",
-        cwe: "CWE-94",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "compile",
-        type: "code_injection",
-        cwe: "CWE-94",
-        severity: "high",
-        argPositions: [0]
-      },
-      {
-        method: "execute",
-        type: "sql_injection",
-        cwe: "CWE-89",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "executemany",
-        type: "sql_injection",
-        cwe: "CWE-89",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "raw",
-        type: "sql_injection",
-        cwe: "CWE-89",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "open",
-        type: "path_traversal",
-        cwe: "CWE-22",
-        severity: "high",
-        argPositions: [0]
-      },
       {
         method: "read",
         class: "pathlib",
@@ -22309,13 +21960,6 @@ class PythonPlugin extends BaseLanguagePlugin {
         severity: "high",
         argPositions: [0]
       },
-      {
-        method: "Markup",
-        type: "xss",
-        cwe: "CWE-79",
-        severity: "high",
-        argPositions: [0]
-      },
       {
         method: "safe",
         type: "xss",
@@ -22323,22 +21967,6 @@ class PythonPlugin extends BaseLanguagePlugin {
         severity: "high",
         argPositions: [0]
       },
-      {
-        method: "get",
-        class: "requests",
-        type: "ssrf",
-        cwe: "CWE-918",
-        severity: "high",
-        argPositions: [0]
-      },
-      {
-        method: "post",
-        class: "requests",
-        type: "ssrf",
-        cwe: "CWE-918",
-        severity: "high",
-        argPositions: [0]
-      },
       {
         method: "urlopen",
         class: "urllib",
@@ -22363,30 +21991,6 @@ class PythonPlugin extends BaseLanguagePlugin {
         severity: "high",
         argPositions: [1]
       },
-      {
-        method: "loads",
-        class: "pickle",
-        type: "deserialization",
-        cwe: "CWE-502",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "load",
-        class: "pickle",
-        type: "deserialization",
-        cwe: "CWE-502",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "load",
-        class: "yaml",
-        type: "deserialization",
-        cwe: "CWE-502",
-        severity: "critical",
-        argPositions: [0]
-      },
       {
         method: "unsafe_load",
         class: "yaml",
@@ -22522,34 +22126,6 @@ class RustPlugin extends BaseLanguagePlugin {
   }
   getBuiltinSources() {
     return [
-      {
-        method: "Query",
-        type: "http_param",
-        severity: "high",
-        confidence: 0.95,
-        returnTainted: true
-      },
-      {
-        method: "Json",
-        type: "http_body",
-        severity: "high",
-        confidence: 0.95,
-        returnTainted: true
-      },
-      {
-        method: "Path",
-        type: "http_path",
-        severity: "high",
-        confidence: 0.95,
-        returnTainted: true
-      },
-      {
-        method: "Form",
-        type: "http_body",
-        severity: "high",
-        confidence: 0.95,
-        returnTainted: true
-      },
       {
         method: "args",
         class: "std::env",
@@ -22597,14 +22173,6 @@ class RustPlugin extends BaseLanguagePlugin {
         severity: "medium",
         confidence: 0.8,
         returnTainted: true
-      },
-      {
-        method: "read",
-        class: "TcpStream",
-        type: "network_input",
-        severity: "high",
-        confidence: 0.85,
-        returnTainted: true
       }
     ];
   }
@@ -22618,29 +22186,6 @@ class RustPlugin extends BaseLanguagePlugin {
         severity: "critical",
         argPositions: [0]
       },
-      {
-        method: "arg",
-        class: "Command",
-        type: "command_injection",
-        cwe: "CWE-78",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "args",
-        class: "Command",
-        type: "command_injection",
-        cwe: "CWE-78",
-        severity: "critical",
-        argPositions: [0]
-      },
-      {
-        method: "execute",
-        type: "sql_injection",
-        cwe: "CWE-89",
-        severity: "critical",
-        argPositions: [0]
-      },
       {
         method: "query",
         type: "sql_injection",
@@ -22655,22 +22200,6 @@ class RustPlugin extends BaseLanguagePlugin {
         severity: "critical",
         argPositions: [0]
       },
-      {
-        method: "open",
-        class: "File",
-        type: "path_traversal",
-        cwe: "CWE-22",
-        severity: "high",
-        argPositions: [0]
-      },
-      {
-        method: "create",
-        class: "File",
-        type: "path_traversal",
-        cwe: "CWE-22",
-        severity: "high",
-        argPositions: [0]
-      },
       {
         method: "read_to_string",
         class: "std::fs",
@@ -22708,38 +22237,6 @@ class RustPlugin extends BaseLanguagePlugin {
         severity: "critical",
         argPositions: [0]
       },
-      {
-        method: "from_str",
-        class: "serde_json",
-        type: "deserialization",
-        cwe: "CWE-502",
-        severity: "medium",
-        argPositions: [0]
-      },
-      {
-        method: "from_slice",
-        class: "serde_json",
-        type: "deserialization",
-        cwe: "CWE-502",
-        severity: "medium",
-        argPositions: [0]
-      },
-      {
-        method: "get",
-        class: "reqwest",
-        type: "ssrf",
-        cwe: "CWE-918",
-        severity: "high",
-        argPositions: [0]
-      },
-      {
-        method: "post",
-        class: "reqwest",
-        type: "ssrf",
-        cwe: "CWE-918",
-        severity: "high",
-        argPositions: [0]
-      },
       {
         method: "new",
         class: "Regex",
@@ -22832,13 +22329,6 @@ class BashPlugin extends BaseLanguagePlugin {
   }
   getBuiltinSources() {
     return [
-      {
-        method: "read",
-        type: "io_input",
-        severity: "high",
-        confidence: 0.9,
-        returnTainted: true
-      },
       {
         method: "curl",
         type: "http_response",
@@ -22857,13 +22347,6 @@ class BashPlugin extends BaseLanguagePlugin {
   }
   getBuiltinSinks() {
     return [
-      {
-        method: "eval",
-        type: "code_injection",
-        cwe: "CWE-94",
-        severity: "critical",
-        argPositions: [0]
-      },
       {
         method: "bash",
         type: "command_injection",
@@ -23259,30 +22742,6 @@ class GoPlugin extends BaseLanguagePlugin {
         confidence: 0.9,
         returnTainted: true
       },
-      {
-        method: "Query",
-        class: "Context",
-        type: "http_param",
-        severity: "high",
-        confidence: 0.95,
-        returnTainted: true
-      },
-      {
-        method: "Param",
-        class: "Context",
-        type: "http_path",
-        severity: "high",
-        confidence: 0.95,
-        returnTainted: true
-      },
-      {
-        method: "PostForm",
-        class: "Context",
-        type: "http_param",
-        severity: "high",
-        confidence: 0.95,
-        returnTainted: true
-      },
       {
         method: "GetRawData",
         class: "Context",
@@ -23479,14 +22938,6 @@ class GoPlugin extends BaseLanguagePlugin {
         severity: "medium",
         argPositions: [0]
       },
-      {
-        method: "Decode",
-        class: "Decoder",
-        type: "deserialization",
-        cwe: "CWE-502",
-        severity: "medium",
-        argPositions: [0]
-      },
       {
         method: "Print",
         class: "log",
@@ -25121,6 +24572,10 @@ class LanguageSourcesPass {
       additionalSanitizers.push(...findPythonRangeCheckGuardSanitizers(code));
       additionalSanitizers.push(...findPythonRegexAllowlistWrapperSanitizers(code));
       additionalSanitizers.push(...findPythonSetMembershipXssGuardSanitizers(code));
+      additionalSanitizers.push(...findPythonTraversalRejectGuardSanitizers(code));
+      additionalSanitizers.push(...findPythonStringLiteralGuardSanitizers(code));
+      additionalSanitizers.push(...findPythonDefaultSaxParserXxeSanitizers(code));
+      additionalSanitizers.push(...findPythonUrlAllowlistRedirectSanitizers(code));
       additionalSanitizers.push(...findPythonDefusedXmlSanitizers(code));
       additionalSanitizers.push(...findPythonJinjaAutoescapeSanitizers(code));
       const pyMisconfigFindings = findPythonPatternFindings(code, graph.ir.meta.file);
@@ -25715,15 +25170,165 @@ function findPythonAssignmentSources(sourceCode, language) {
   }
   return sources;
 }
+function evaluatePythonConstExpression(expr, consts) {
+  const COMPARISON = /(<=|>=|==|!=|<|>)/;
+  const parts2 = expr.split(COMPARISON);
+  if (parts2.length === 3) {
+    const left = evaluatePythonConstExpression(parts2[0], consts);
+    const right = evaluatePythonConstExpression(parts2[2], consts);
+    if (typeof left !== "number" || typeof right !== "number")
+      return;
+    switch (parts2[1]) {
+      case "<":
+        return left < right;
+      case ">":
+        return left > right;
+      case "<=":
+        return left <= right;
+      case ">=":
+        return left >= right;
+      case "==":
+        return left === right;
+      case "!=":
+        return left !== right;
+      default:
+        return;
+    }
+  }
+  if (parts2.length !== 1)
+    return;
+  const matched = expr.match(/\d+|[A-Za-z_][A-Za-z0-9_]*|\/\/|[-+*/%()]|\S/g);
+  if (!matched)
+    return;
+  const tokens = matched;
+  let pos = 0;
+  const peek = () => tokens[pos];
+  const parseFactor = () => {
+    const tok = tokens[pos++];
+    if (tok === undefined)
+      return;
+    if (tok === "(") {
+      const inner = parseSum();
+      if (tokens[pos++] !== ")")
+        return;
+      return inner;
+    }
+    if (tok === "-") {
+      const operand = parseFactor();
+      return operand === undefined ? undefined : -operand;
+    }
+    if (/^\d+$/.test(tok))
+      return Number(tok);
+    if (/^[A-Za-z_]/.test(tok))
+      return consts.get(tok);
+    return;
+  };
+  const parseTerm = () => {
+    let value = parseFactor();
+    if (value === undefined)
+      return;
+    while (peek() === "*" || peek() === "/" || peek() === "//" || peek() === "%") {
+      const op = tokens[pos++];
+      const rhs = parseFactor();
+      if (rhs === undefined)
+        return;
+      if ((op === "/" || op === "//" || op === "%") && rhs === 0)
+        return;
+      if (op === "*")
+        value *= rhs;
+      else if (op === "/")
+        value /= rhs;
+      else if (op === "//")
+        value = Math.floor(value / rhs);
+      else
+        value = (value % rhs + rhs) % rhs;
+    }
+    return value;
+  };
+  function parseSum() {
+    let value = parseTerm();
+    if (value === undefined)
+      return;
+    while (peek() === "+" || peek() === "-") {
+      const op = tokens[pos++];
+      const rhs = parseTerm();
+      if (rhs === undefined)
+        return;
+      value = op === "+" ? value + rhs : value - rhs;
+    }
+    return value;
+  }
+  const result = parseSum();
+  return pos === tokens.length ? result : undefined;
+}
+function normalizeListIndex(index, length) {
+  const resolved = index < 0 ? length + index : index;
+  return resolved >= 0 && resolved < length ? resolved : undefined;
+}
+function computeDeadPythonBranchLines(lines) {
+  const dead = new Set;
+  const consts = new Map;
+  const indentOf = (line) => line.length - line.trimStart().length;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    const line = lines[i2];
+    const assign = line.match(/^\s*([A-Za-z_][A-Za-z0-9_]*)\s*=(?!=)\s*(.+)$/);
+    if (assign) {
+      const value = evaluatePythonConstExpression(assign[2].trim(), consts);
+      if (typeof value === "number")
+        consts.set(assign[1], value);
+      else
+        consts.delete(assign[1]);
+    }
+    const ifMatch = line.match(/^(\s*)if\s+(.+?)\s*:\s*$/);
+    if (!ifMatch)
+      continue;
+    const indent = ifMatch[1].length;
+    const decided = evaluatePythonConstExpression(ifMatch[2].trim(), consts);
+    if (decided !== true && decided !== false)
+      continue;
+    const thenStart = i2 + 1;
+    let cursor = thenStart;
+    while (cursor < lines.length && (lines[cursor].trim() === "" || indentOf(lines[cursor]) > indent)) {
+      cursor++;
+    }
+    const thenEnd = cursor - 1;
+    let elseStart = -1;
+    let elseEnd = -1;
+    if (cursor < lines.length && indentOf(lines[cursor]) === indent) {
+      if (/^\s*elif\b/.test(lines[cursor]))
+        continue;
+      if (/^\s*else\s*:\s*$/.test(lines[cursor])) {
+        elseStart = cursor + 1;
+        let k = elseStart;
+        while (k < lines.length && (lines[k].trim() === "" || indentOf(lines[k]) > indent))
+          k++;
+        elseEnd = k - 1;
+      }
+    }
+    if (decided === true) {
+      for (let l = elseStart;l >= 0 && l <= elseEnd; l++)
+        dead.add(l);
+    } else {
+      for (let l = thenStart;l <= thenEnd; l++)
+        dead.add(l);
+    }
+  }
+  return dead;
+}
 function buildPythonTaintedVars(sourceCode) {
   const tainted = new Map;
   const containerTainted = new Map;
   const lines = sourceCode.split(`
 `);
+  const deadBranchLines = computeDeadPythonBranchLines(lines);
+  const listElems = new Map;
+  const intConsts = new Map;
   for (let i2 = 0;i2 < lines.length; i2++) {
     const line = lines[i2];
     if (line.trimStart().startsWith("#"))
       continue;
+    if (deadBranchLines.has(i2))
+      continue;
     const subscriptAssign = line.match(/^\s*([\p{L}\p{N}_]+)\[(['"])([^'"]+)\2\]\s*=\s*(.+)$/u);
     if (subscriptAssign) {
       const [, container, , key, rhs2] = subscriptAssign;
@@ -25742,11 +25347,54 @@ function buildPythonTaintedVars(sourceCode) {
     }
     const containerAppendMatch = line.match(/^\s*([\p{L}\p{N}_]+)\.(append|extend|insert|add|push|put|appendleft)\s*\(\s*(.+?)\s*\)\s*$/u);
     if (containerAppendMatch) {
-      const [, receiver, , argExpr] = containerAppendMatch;
+      const [, receiver, method, argExpr] = containerAppendMatch;
       const argIsTainted = [...tainted.keys()].some((v) => new RegExp(`(?<![\\p{L}\\p{N}_])${v}(?![\\p{L}\\p{N}_])`, "u").test(argExpr));
       const argIsDirectSource = PYTHON_TAINTED_PATTERNS2.some((p) => p.pattern.test(argExpr));
       if (argIsTainted || argIsDirectSource)
         tainted.set(receiver, tainted.get(receiver) ?? i2 + 1);
+      const elems = listElems.get(receiver);
+      if (elems) {
+        if (method === "append") {
+          elems.push(argIsTainted || argIsDirectSource);
+        } else if (method === "insert") {
+          const insertAt = argExpr.match(/^(-?\d+)\s*,\s*(.+)$/);
+          if (insertAt) {
+            const idx = normalizeListIndex(Number(insertAt[1]), elems.length);
+            const valueExpr = insertAt[2];
+            const valueTainted = [...tainted.keys()].some((v) => new RegExp(`(?<![\\p{L}\\p{N}_])${v}(?![\\p{L}\\p{N}_])`, "u").test(valueExpr)) || PYTHON_TAINTED_PATTERNS2.some((p) => p.pattern.test(valueExpr));
+            if (idx !== undefined)
+              elems.splice(idx, 0, valueTainted);
+            else
+              listElems.delete(receiver);
+          } else {
+            listElems.delete(receiver);
+          }
+        } else {
+          listElems.delete(receiver);
+        }
+      }
+      continue;
+    }
+    const popMatch = line.match(/^\s*(?:([\p{L}\p{N}_]+)\s*=\s*)?([\p{L}\p{N}_]+)\.pop\s*\(\s*(-?\d+)?\s*\)\s*$/u);
+    const delMatch = line.match(/^\s*del\s+([\p{L}\p{N}_]+)\s*\[\s*(-?\d+)\s*\]\s*$/u);
+    if (popMatch || delMatch) {
+      const receiver = popMatch ? popMatch[2] : delMatch[1];
+      const rawIndex = popMatch ? popMatch[3] !== undefined ? Number(popMatch[3]) : -1 : Number(delMatch[2]);
+      const elems = listElems.get(receiver);
+      if (elems) {
+        const idx = normalizeListIndex(rawIndex, elems.length);
+        if (idx === undefined)
+          listElems.delete(receiver);
+        else {
+          const [removed] = elems.splice(idx, 1);
+          if (popMatch && popMatch[1]) {
+            if (removed)
+              tainted.set(popMatch[1], i2 + 1);
+            else
+              tainted.delete(popMatch[1]);
+          }
+        }
+      }
       continue;
     }
     const augAssign = line.match(/^\s*([\p{L}\p{N}_]+)\s*\+=\s*(.+)$/u);
@@ -25769,7 +25417,51 @@ function buildPythonTaintedVars(sourceCode) {
     const assignMatch = line.match(/^\s*([\p{L}\p{N}_]+)\s*=\s*(.+)$/u);
     if (!assignMatch)
       continue;
-    const [, lhs, rhs] = assignMatch;
+    const [, lhs, rhsRaw] = assignMatch;
+    const constValue = evaluatePythonConstExpression(rhsRaw.trim(), intConsts);
+    if (typeof constValue === "number")
+      intConsts.set(lhs, constValue);
+    else
+      intConsts.delete(lhs);
+    let rhs = rhsRaw;
+    const ternary = rhsRaw.match(/^(.+?)\s+if\s+(.+?)\s+else\s+(.+)$/);
+    if (ternary) {
+      const decided = evaluatePythonConstExpression(ternary[2].trim(), intConsts);
+      if (decided === true)
+        rhs = ternary[1].trim();
+      else if (decided === false)
+        rhs = ternary[3].trim();
+    }
+    const listLiteral = rhs.trim().match(/^\[\s*(.*?)\s*\]$/);
+    if (listLiteral) {
+      const inner = listLiteral[1];
+      if (inner === "") {
+        listElems.set(lhs, []);
+      } else if (!inner.includes("[") && !inner.includes("(")) {
+        listElems.set(lhs, inner.split(",").map((part) => {
+          const expr = part.trim();
+          return [...tainted.keys()].some((v) => new RegExp(`(?<![\\p{L}\\p{N}_])${v}(?![\\p{L}\\p{N}_])`, "u").test(expr)) || PYTHON_TAINTED_PATTERNS2.some((p) => p.pattern.test(expr));
+        }));
+      } else {
+        listElems.delete(lhs);
+      }
+    } else {
+      listElems.delete(lhs);
+    }
+    const indexRead = rhs.trim().match(/^([\p{L}\p{N}_]+)\s*\[\s*(-?\d+)\s*\]$/u);
+    if (indexRead) {
+      const elems = listElems.get(indexRead[1]);
+      if (elems) {
+        const idx = normalizeListIndex(Number(indexRead[2]), elems.length);
+        if (idx !== undefined) {
+          if (elems[idx])
+            tainted.set(lhs, i2 + 1);
+          else
+            tainted.delete(lhs);
+          continue;
+        }
+      }
+    }
     const isDirectSource = PYTHON_TAINTED_PATTERNS2.some((p) => p.pattern.test(rhs));
     let propagatedFrom;
     const dictAccessMatch = rhs.trim().match(/^([\p{L}\p{N}_]+)\[(['"])([^'"]+)\2\]$/u);
@@ -27024,6 +26716,210 @@ function findPythonSetMembershipXssGuardSanitizers(code) {
   }
   return sanitizers;
 }
+function findPythonTraversalRejectGuardSanitizers(code) {
+  const sanitizers = [];
+  const lines = code.split(`
+`);
+  const guardOpen = /^(\s*)if\s+(['"])(\.\.[/\\]?)\2\s+in\s+([A-Za-z_][A-Za-z0-9_]*)\s*:\s*$/;
+  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 guardedVar = m[4];
+    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;
+    const guarded = new Set([guardedVar]);
+    const assignRe = /^\s*([A-Za-z_][A-Za-z0-9_]*)\s*=(?!=)\s*(.*)$/;
+    const mentionsGuarded = (text) => {
+      for (const name2 of guarded) {
+        if (new RegExp(`\\b${name2}\\b`).test(text))
+          return true;
+      }
+      return false;
+    };
+    for (let l = blockEnd + 2;l <= lines.length; l++) {
+      const lineText = lines[l - 1];
+      const assign = assignRe.exec(lineText);
+      if (assign) {
+        const target = assign[1];
+        const rhs = assign[2];
+        if (mentionsGuarded(rhs))
+          guarded.add(target);
+        else if (target !== guardedVar)
+          guarded.delete(target);
+      }
+      if (!mentionsGuarded(lineText))
+        continue;
+      sanitizers.push({
+        type: "python_traversal_reject_guard",
+        method: "if",
+        line: l,
+        sanitizes: ["path_traversal"]
+      });
+    }
+  }
+  return sanitizers;
+}
+function findPythonStringLiteralGuardSanitizers(code) {
+  const sanitizers = [];
+  const lines = code.split(`
+`);
+  const terminator = /\b(return|raise|abort\s*\(|sys\.exit\s*\()/;
+  const Q = `(?:'(?:\\\\')'|"'"|'"'|"(?:\\\\")")`;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    const guard = lines[i2].match(new RegExp(`^(\\s*)if\\s+not\\s+([A-Za-z_][A-Za-z0-9_]*)\\.startswith\\(\\s*${Q}\\s*\\)` + `\\s+or\\s+not\\s+\\2\\.endswith\\(\\s*${Q}\\s*\\)` + `\\s+or\\s+${Q}\\s+in\\s+\\2\\[1:-1\\]\\s*:\\s*$`));
+    if (!guard)
+      continue;
+    const guardIndent = guard[1].length;
+    const guardedVar = guard[2];
+    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;
+    const varRe = new RegExp(`\\b${guardedVar}\\b`);
+    for (let l = blockEnd + 2;l <= lines.length; l++) {
+      if (!varRe.test(lines[l - 1]))
+        continue;
+      sanitizers.push({
+        type: "python_string_literal_guard",
+        method: "if",
+        line: l,
+        sanitizes: ["code_injection"]
+      });
+    }
+  }
+  return sanitizers;
+}
+function findPythonDefaultSaxParserXxeSanitizers(code) {
+  const sanitizers = [];
+  const lines = code.split(`
+`);
+  const parserVars = new Set;
+  for (const line of lines) {
+    const made = line.match(/^\s*([A-Za-z_][A-Za-z0-9_]*)\s*=\s*(?:xml\.)?sax\.make_parser\s*\(/);
+    if (made)
+      parserVars.add(made[1]);
+  }
+  if (parserVars.size === 0)
+    return sanitizers;
+  for (const line of lines) {
+    for (const parser of [...parserVars]) {
+      const enabled = new RegExp(`\\b${parser}\\.setFeature\\s*\\([^,]*external_(?:ges|pes)[^,]*,\\s*True\\s*\\)`);
+      const resolver = new RegExp(`\\b${parser}\\.setEntityResolver\\s*\\(`);
+      const rebound = new RegExp(`^\\s*${parser}\\s*=(?!=)`);
+      if (enabled.test(line) || resolver.test(line))
+        parserVars.delete(parser);
+      else if (rebound.test(line) && !/make_parser\s*\(/.test(line))
+        parserVars.delete(parser);
+    }
+  }
+  if (parserVars.size === 0)
+    return sanitizers;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    const line = lines[i2];
+    const parseCall = /\b(?:minidom\.)?parseString\s*\(|\b(?:minidom\.)?parse\s*\(|\bsax\.parse(?:String)?\s*\(/;
+    if (!parseCall.test(line))
+      continue;
+    const usesDefaultParser = [...parserVars].some((p) => new RegExp(`\\b${p}\\b`).test(line));
+    if (!usesDefaultParser)
+      continue;
+    sanitizers.push({
+      type: "python_default_sax_parser",
+      method: "make_parser",
+      line: i2 + 1,
+      sanitizes: ["xxe"]
+    });
+  }
+  return sanitizers;
+}
+function findPythonUrlAllowlistRedirectSanitizers(code) {
+  const sanitizers = [];
+  const lines = code.split(`
+`);
+  const parsedFrom = new Map;
+  for (const line of lines) {
+    const m = line.match(/^\s*([A-Za-z_][A-Za-z0-9_]*)\s*=\s*(?:urllib\.parse\.)?urlparse\s*\(\s*([A-Za-z_][A-Za-z0-9_]*)\s*\)/);
+    if (m)
+      parsedFrom.set(m[1], m[2]);
+  }
+  if (parsedFrom.size === 0)
+    return sanitizers;
+  const terminator = /\b(return|raise|abort\s*\(|sys\.exit\s*\()/;
+  for (let i2 = 0;i2 < lines.length; i2++) {
+    const guard = lines[i2].match(/^(\s*)if\s+([A-Za-z_][A-Za-z0-9_]*)\.netloc\s+not\s+in\s+[[({]/);
+    if (!guard)
+      continue;
+    const guardIndent = guard[1].length;
+    const rawVar = parsedFrom.get(guard[2]);
+    if (!rawVar)
+      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;
+    const varRe = new RegExp(`\\b${rawVar}\\b`);
+    for (let l = blockEnd + 2;l <= lines.length; l++) {
+      if (!varRe.test(lines[l - 1]))
+        continue;
+      sanitizers.push({
+        type: "python_url_allowlist_guard",
+        method: "if",
+        line: l,
+        sanitizes: ["open_redirect"]
+      });
+    }
+  }
+  return sanitizers;
+}
 function findPythonDefusedXmlSanitizers(code) {
   const sanitizers = [];
   const lines = code.split(`
@@ -32044,14 +31940,20 @@ class SinkFilterPass {
         if (sink.type !== "xpath_injection")
           return true;
         const sinkLineText = sourceLines[sink.line - 1] ?? "";
-        const taintedVarOnLine = [...pyTaintedVars.keys()].find((v) => new RegExp(`\\b${v}\\b`).test(sinkLineText));
+        const taintedValueVars = [...pyTaintedVars.keys()].filter((v) => new RegExp(`(?<![\\w.])${v}\\b(?!\\s*=(?!=))`).test(sinkLineText));
+        const taintedVarOnLine = taintedValueVars[0];
         const oopVarOnLine = [...oopFieldVars].find((v) => sinkLineText.includes(v));
         if (oopVarOnLine)
           return true;
         if (!taintedVarOnLine)
           return false;
+        const neutralised = (v) => pySanitizedVars.has(v) || new RegExp(`\\.xpath\\s*\\([^)]*\\b\\w+\\s*=\\s*\\b${v}\\b`).test(sinkLineText) || isXPathQuoteEscapedOnLine(sinkLineText, v);
+        if (taintedValueVars.every(neutralised))
+          return false;
         if (pySanitizedVars.has(taintedVarOnLine))
           return false;
+        if (isXPathQuoteEscapedOnLine(sinkLineText, taintedVarOnLine))
+          return false;
         if (new RegExp(`\\.xpath\\s*\\([^)]*\\b\\w+\\s*=\\s*\\b${taintedVarOnLine}\\b`).test(sinkLineText))
           return false;
         return true;
@@ -33155,6 +33057,28 @@ function filterSanitizedSinks(sinks, sanitizers, calls) {
     return true;
   });
 }
+function isXPathQuoteEscapedOnLine(lineText, varName) {
+  const STRING_LITERAL = `'(?:[^'\\\\]|\\\\.)*'|"(?:[^"\\\\]|\\\\.)*"`;
+  const replaceCall = new RegExp(`^${varName}\\.replace\\s*\\(\\s*(${STRING_LITERAL})\\s*,\\s*(${STRING_LITERAL})\\s*\\)`);
+  const decode = (literal) => literal.slice(1, -1).replace(/\\(.)/g, "$1");
+  const occurrence = new RegExp(`(?<![\\w.])${varName}\\b`, "g");
+  let match;
+  let seen = 0;
+  while ((match = occurrence.exec(lineText)) !== null) {
+    seen++;
+    const rest = lineText.slice(match.index);
+    const call = replaceCall.exec(rest);
+    if (!call)
+      return false;
+    const searched = decode(call[1]);
+    const replacement = decode(call[2]);
+    if (searched !== "'" && searched !== '"')
+      return false;
+    if (replacement.includes("'") || replacement.includes('"'))
+      return false;
+  }
+  return seen > 0;
+}
 
 // ../circle-ir/dist/analysis/passes/sink-semantics-pass.js
 function buildRegistry(entries) {
@@ -46492,7 +46416,7 @@ var colors = {
 };
 
 // src/version.ts
-var version = "3.194.0";
+var version = "3.197.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.194.0",
+  "version": "3.197.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.194.0"
+    "circle-ir": "^3.197.0"
   },
   "devDependencies": {
     "@types/node": "^25.5.0",