circle-ir 3.160.0 → 3.162.0

package/dist/analysis/config-loader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config-loader.d.ts","sourceRoot":"","sources":["../../src/analysis/config-loader.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,UAAU,EACV,mBAAmB,EACnB,kBAAkB,EAClB,WAAW,EACX,aAAa,EACb,WAAW,EACX,gBAAgB,EAChB,UAAU,EACX,MAAM,oBAAoB,CAAC;AAE5B;;;GAGG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,CAEjD;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,aAAa,EAAE,CAiB1E;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG;IACtD,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,UAAU,EAAE,gBAAgB,EAAE,CAAC;CAChC,CAcA;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,mBAAmB,EAAE,GAC7B,kBAAkB,EAAE,CAQtB;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,cAAc,EAAE,MAAM,EAAE,EACxB,YAAY,EAAE,MAAM,EAAE,EACtB,qBAAqB,GAAE,MAAM,EAAO,GACnC,WAAW,CAYb;AAED;;;GAGG;AACH,eAAO,MAAM,eAAe,EAAE,aAAa,EA2b1C,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,WAAW,EA8lDtC,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,gBAAgB,EA+ShD,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB,EAAE,kBAAkB,EAiDtD,CAAC;AAEF;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,WAAW,CAO9C;AAMD;;;;;;;;GAQG;AACH,eAAO,MAAM,oBAAoB,EAAE,UAAU,EA8F5C,CAAC"}
+{"version":3,"file":"config-loader.d.ts","sourceRoot":"","sources":["../../src/analysis/config-loader.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,UAAU,EACV,mBAAmB,EACnB,kBAAkB,EAClB,WAAW,EACX,aAAa,EACb,WAAW,EACX,gBAAgB,EAChB,UAAU,EACX,MAAM,oBAAoB,CAAC;AAE5B;;;GAGG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,CAEjD;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,aAAa,EAAE,CAiB1E;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG;IACtD,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,UAAU,EAAE,gBAAgB,EAAE,CAAC;CAChC,CAcA;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,mBAAmB,EAAE,GAC7B,kBAAkB,EAAE,CAQtB;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,cAAc,EAAE,MAAM,EAAE,EACxB,YAAY,EAAE,MAAM,EAAE,EACtB,qBAAqB,GAAE,MAAM,EAAO,GACnC,WAAW,CAYb;AAED;;;GAGG;AACH,eAAO,MAAM,eAAe,EAAE,aAAa,EAoc1C,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,WAAW,EAioDtC,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,gBAAgB,EAwThD,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB,EAAE,kBAAkB,EAiDtD,CAAC;AAEF;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,WAAW,CAO9C;AAMD;;;;;;;;GAQG;AACH,eAAO,MAAM,oBAAoB,EAAE,UAAU,EA8F5C,CAAC"}

package/dist/analysis/config-loader.js

@@ -107,6 +107,15 @@ export const DEFAULT_SOURCES = [
     { method: 'getPathWithinApplication', class: 'WebUtils', type: 'http_path', severity: 'high', return_tainted: true },
     { method: 'getRequestUri', class: 'WebUtils', type: 'http_path', severity: 'high', return_tainted: true },
     { method: 'decodeRequestString', class: 'WebUtils', type: 'http_path', severity: 'high', return_tainted: true },
+    // cognium-dev #249 3.162.0: java.net.URLDecoder.decode reintroduces taint
+    // by expanding %XX sequences into arbitrary bytes. This is the
+    // decode-after-encode bypass pattern exercised by SecuriBench Micro
+    // `sanitizers/Sanitizers5.java`: encode sanitizes `//evil.com` into
+    // `%2F%2Fevil.com`, then decode restores the redirect payload before
+    // it reaches `sendRedirect`. Registering as a source ensures the
+    // reaching-def walk does not credit an upstream URLEncoder.encode
+    // sanitizer for taint that has since been re-expanded.
+    { method: 'decode', class: 'URLDecoder', type: 'http_path', severity: 'high', return_tainted: true },
     // Additional HTTP request methods that can be attacker-controlled
     { method: 'getProtocol', class: 'HttpServletRequest', type: 'http_header', severity: 'medium', return_tainted: true },
     { method: 'getScheme', class: 'HttpServletRequest', type: 'http_header', severity: 'medium', return_tainted: true },
@@ -2002,6 +2011,36 @@ export const DEFAULT_SINKS = [
     { method: 'unserialize', class: 'serialize', type: 'deserialization', cwe: 'CWE-502', severity: 'critical', arg_positions: [0], languages: ['javascript', 'typescript'] },
     { method: 'unserialize', class: 'node-serialize', type: 'deserialization', cwe: 'CWE-502', severity: 'critical', arg_positions: [0], languages: ['javascript', 'typescript'] },
     { method: 'unserialize', type: 'deserialization', cwe: 'CWE-502', severity: 'critical', arg_positions: [0], languages: ['javascript', 'typescript'] },
+    // =========================================================================
+    // cognium-dev #241 (non-Java) — real-world sink signatures
+    // =========================================================================
+    // Python SSRF — httpx (sync + async client + top-level module)
+    { method: 'get', class: 'httpx', type: 'ssrf', cwe: 'CWE-918', severity: 'high', arg_positions: [0] },
+    { method: 'post', class: 'httpx', type: 'ssrf', cwe: 'CWE-918', severity: 'high', arg_positions: [0] },
+    { method: 'request', class: 'httpx', type: 'ssrf', cwe: 'CWE-918', severity: 'high', arg_positions: [1] }, // request(method, url, ...)
+    { method: 'stream', class: 'httpx', type: 'ssrf', cwe: 'CWE-918', severity: 'high', arg_positions: [1] },
+    { method: 'delete', class: 'httpx', type: 'ssrf', cwe: 'CWE-918', severity: 'high', arg_positions: [0] },
+    { method: 'put', class: 'httpx', type: 'ssrf', cwe: 'CWE-918', severity: 'high', arg_positions: [0] },
+    { method: 'patch', class: 'httpx', type: 'ssrf', cwe: 'CWE-918', severity: 'high', arg_positions: [0] },
+    { method: 'head', class: 'httpx', type: 'ssrf', cwe: 'CWE-918', severity: 'high', arg_positions: [0] },
+    // Python SQLi — asyncpg Connection.*
+    { method: 'execute', class: 'Connection', type: 'sql_injection', cwe: 'CWE-89', severity: 'critical', arg_positions: [0] },
+    { method: 'fetch', class: 'Connection', type: 'sql_injection', cwe: 'CWE-89', severity: 'critical', arg_positions: [0] },
+    { method: 'fetchrow', class: 'Connection', type: 'sql_injection', cwe: 'CWE-89', severity: 'critical', arg_positions: [0] },
+    { method: 'fetchval', class: 'Connection', type: 'sql_injection', cwe: 'CWE-89', severity: 'critical', arg_positions: [0] },
+    // Method-only python-scoped fallback (aliased connections, pool.acquire())
+    { method: 'fetchrow', type: 'sql_injection', cwe: 'CWE-89', severity: 'critical', arg_positions: [0], languages: ['python'] },
+    { method: 'fetchval', type: 'sql_injection', cwe: 'CWE-89', severity: 'critical', arg_positions: [0], languages: ['python'] },
+    // Go Open Redirect — net/http.Redirect(w, r, url, code)
+    { method: 'Redirect', class: 'http', type: 'open_redirect', cwe: 'CWE-601', severity: 'medium', arg_positions: [2], languages: ['go'] },
+    // Go SSRF — fasthttp Client instance methods (class 'Client' does not
+    // fuzzy-collide with 'http', unlike class 'fasthttp' which would
+    // suffix-match receiver 'http' via receiverMightBeClass's 40% length
+    // heuristic. Package-level `fasthttp.Get/Post/GetTimeout` sinks live
+    // in the Go plugin (`languages/plugins/go.ts::getBuiltinSinks()`) so
+    // they iterate after net/http entries and don't hijack `http.Get`.
+    { method: 'Do', class: 'Client', type: 'ssrf', cwe: 'CWE-918', severity: 'high', arg_positions: [0], languages: ['go'] }, // *fasthttp.Client.Do(req)
+    { method: 'DoTimeout', class: 'Client', type: 'ssrf', cwe: 'CWE-918', severity: 'high', arg_positions: [0], languages: ['go'] },
 ];
 export const DEFAULT_SANITIZERS = [
     // SQL Injection - proper parameter binding sanitizes input
@@ -2028,12 +2067,17 @@ export const DEFAULT_SANITIZERS = [
     { method: 'render', class: 'Template', removes: ['xss'] }, // Rust askama auto-escapes
     { method: 'encodeForJavaScript', removes: ['xss'] },
     { method: 'encodeForCSS', removes: ['xss'] },
-    { method: 'encodeForURL', removes: ['xss', 'ssrf'] },
+    // cognium-dev #249 3.162.0: `open_redirect` restored to the URL-encoder
+    // sanitizer cluster. Sprint 82 (#189) reclassified `sendRedirect` from
+    // `ssrf` → `open_redirect` (config-loader.ts:1296-1299) without updating
+    // this table; the drift surfaced as a SecuriBench Micro FP on
+    // `sanitizers/Sanitizers3.java` (`URLEncoder.encode` + `sendRedirect`).
+    { method: 'encodeForURL', removes: ['xss', 'ssrf', 'open_redirect'] },
     // URL encoding wrapper aliases (common patterns in benchmarks and real-world code)
-    { method: 'encodeURL', removes: ['xss', 'ssrf'] },
-    { method: 'urlEncode', removes: ['xss', 'ssrf'] },
-    { method: 'escapeUrl', removes: ['xss', 'ssrf'] },
-    { method: 'escapeURL', removes: ['xss', 'ssrf'] },
+    { method: 'encodeURL', removes: ['xss', 'ssrf', 'open_redirect'] },
+    { method: 'urlEncode', removes: ['xss', 'ssrf', 'open_redirect'] },
+    { method: 'escapeUrl', removes: ['xss', 'ssrf', 'open_redirect'] },
+    { method: 'escapeURL', removes: ['xss', 'ssrf', 'open_redirect'] },
     // Path Traversal
     { method: 'normalize', class: 'Path', removes: ['path_traversal'] },
     { method: 'getCanonicalPath', class: 'File', removes: ['path_traversal'] },
@@ -2075,7 +2119,11 @@ export const DEFAULT_SANITIZERS = [
     { method: 'setFeature', class: 'XMLReader', removes: ['xxe'] },
     { method: 'setProperty', class: 'XMLReader', removes: ['xxe'] },
     // SSRF / URL encoding
-    { method: 'encode', class: 'URLEncoder', removes: ['ssrf', 'xss', 'path_traversal'] },
+    // cognium-dev #249 3.162.0: `open_redirect` added — see rationale on the
+    // `encodeForURL` cluster above. `java.net.URLEncoder.encode` is the specific
+    // sanitizer used by SecuriBench Micro `sanitizers/Sanitizers3.java` before
+    // `HttpServletResponse.sendRedirect` (Sprint 82 CWE-601 sink).
+    { method: 'encode', class: 'URLEncoder', removes: ['ssrf', 'xss', 'path_traversal', 'open_redirect'] },
     { method: 'validateURL', removes: ['ssrf'] },
     { method: 'isAllowedHost', removes: ['ssrf'] },
     { method: 'isInternalHost', removes: ['ssrf'] },