circle-ir 3.81.0 → 3.83.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,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;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,cAAc,EAAE,MAAM,EAAE,EACxB,YAAY,EAAE,MAAM,EAAE,GACrB,WAAW,CAQb;AAED;;;GAGG;AACH,eAAO,MAAM,eAAe,EAAE,aAAa,EA2b1C,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,WAAW,EA4+CtC,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,gBAAgB,EA4PhD,CAAC;AAEF;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,WAAW,CAM9C;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,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;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,cAAc,EAAE,MAAM,EAAE,EACxB,YAAY,EAAE,MAAM,EAAE,GACrB,WAAW,CAQb;AAED;;;GAGG;AACH,eAAO,MAAM,eAAe,EAAE,aAAa,EA2b1C,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,WAAW,EAo/CtC,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,gBAAgB,EA+QhD,CAAC;AAEF;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,WAAW,CAM9C;AAMD;;;;;;;;GAQG;AACH,eAAO,MAAM,oBAAoB,EAAE,UAAU,EA8F5C,CAAC"}

package/dist/analysis/config-loader.js

@@ -576,11 +576,16 @@ export const DEFAULT_SINKS = [
     { method: 'setCommandline', class: 'DefaultExecutor', type: 'command_injection', cwe: 'CWE-78', severity: 'critical', arg_positions: [0] },
     { method: 'parse', class: 'CommandLine', type: 'command_injection', cwe: 'CWE-78', severity: 'critical', arg_positions: [0] },
     { method: 'addArgument', class: 'CommandLine', type: 'command_injection', cwe: 'CWE-78', severity: 'critical', arg_positions: [0] },
-    // Process-related utilities
-    { method: 'waitFor', class: 'Process', type: 'command_injection', cwe: 'CWE-78', severity: 'medium', arg_positions: [] },
-    { method: 'inheritIO', class: 'ProcessBuilder', type: 'command_injection', cwe: 'CWE-78', severity: 'medium', arg_positions: [] },
-    { method: 'redirectOutput', class: 'ProcessBuilder', type: 'command_injection', cwe: 'CWE-78', severity: 'medium', arg_positions: [0] },
-    { method: 'redirectInput', class: 'ProcessBuilder', type: 'command_injection', cwe: 'CWE-78', severity: 'medium', arg_positions: [0] },
+    // Process-related utilities — removed in 3.83.0 (#124):
+    // - Process.waitFor() blocks on an already-spawned process; has no args,
+    //   no command string flows into it.
+    // - ProcessBuilder.inheritIO() takes no args.
+    // - ProcessBuilder.redirectOutput/redirectInput take a File destination/source,
+    //   not a command. If treated as sinks they would be path_traversal, not
+    //   command_injection — and even then the threat model is marginal.
+    // The actual command-execution sinks (Runtime.exec, ProcessBuilder.start,
+    // ProcessBuilder.command, ProcessBuilder(constructor)) remain configured
+    // elsewhere in this file / in configs/sinks/command.yaml.
     // Path Traversal (CWE-22)
     // File: covers both File(String pathname) and File(parent, child). The 2-arg
     // overload's child argument carries CVE-2018-8041 (Camel mail Content-Disposition
@@ -909,7 +914,9 @@ export const DEFAULT_SINKS = [
     { method: 'ok', class: 'Response', type: 'xss', cwe: 'CWE-79', severity: 'high', arg_positions: [0] },
     // Code Injection (CWE-94)
     { method: 'eval', class: 'ScriptEngine', type: 'code_injection', cwe: 'CWE-94', severity: 'critical', arg_positions: [0] },
-    { method: 'compile', class: 'Pattern', type: 'code_injection', cwe: 'CWE-94', severity: 'high', arg_positions: [0] },
+    // Pattern.compile removed in 3.83.0 (#124): regex compilation does not execute
+    // code. The real risk from a tainted regex is ReDoS, covered by the
+    // `Pattern.compile` -> `redos` rule below (line ~1945).
     // Expression Language injection (SpEL, OGNL, MVEL, EL)
     { method: 'parseExpression', class: 'ExpressionParser', type: 'code_injection', cwe: 'CWE-94', severity: 'critical', arg_positions: [0] },
     { method: 'parseExpression', class: 'SpelExpressionParser', type: 'code_injection', cwe: 'CWE-94', severity: 'critical', arg_positions: [0] },
@@ -1605,7 +1612,8 @@ export const DEFAULT_SINKS = [
     // =========================================================================
     // Collection-based command injection (ProcessBuilder with List)
     { method: 'command', class: 'ProcessBuilder', type: 'command_injection', cwe: 'CWE-78', severity: 'critical', arg_positions: [0] },
-    { method: 'inheritIO', class: 'ProcessBuilder', type: 'command_injection', cwe: 'CWE-78', severity: 'critical', arg_positions: [] },
+    // ProcessBuilder.inheritIO removed in 3.83.0 (#124): no args, no command
+    // string flows into it. See note above next to the Process-related cluster.
     // Jenkins DSL patterns
     { method: 'step', class: 'StepExecution', type: 'command_injection', cwe: 'CWE-78', severity: 'critical', arg_positions: [0] },
     { method: 'invokeMethod', class: 'Script', type: 'command_injection', cwe: 'CWE-78', severity: 'critical', arg_positions: [0, 1] },
@@ -1966,9 +1974,26 @@ export const DEFAULT_SANITIZERS = [
     // JSON.parse (data is validated against JSON grammar, prevents XSS/code injection)
     { method: 'parse', class: 'JSON', removes: ['xss', 'code_injection'] },
     // Type coercion (removes string-based injections)
-    { method: 'parseInt', removes: ['sql_injection', 'nosql_injection', 'command_injection', 'xss'] },
-    { method: 'parseFloat', removes: ['sql_injection', 'nosql_injection', 'command_injection'] },
-    { method: 'Number', removes: ['sql_injection', 'nosql_injection', 'command_injection'] },
+    // Sprint 29 (#113): include external_taint_escape — a numeric cast cannot
+    // carry an unvalidated string payload across a function boundary.
+    { method: 'parseInt', removes: ['sql_injection', 'nosql_injection', 'command_injection', 'xss', 'external_taint_escape', 'path_traversal', 'code_injection'] },
+    { method: 'parseFloat', removes: ['sql_injection', 'nosql_injection', 'command_injection', 'external_taint_escape', 'path_traversal', 'code_injection'] },
+    { method: 'Number', removes: ['sql_injection', 'nosql_injection', 'command_injection', 'external_taint_escape', 'path_traversal', 'code_injection'] },
+    // Sprint 29 (#113): bounds-clamp Math.min / Math.max — when used to bound
+    // a numeric/size value (e.g. `Math.min(size, MAX_BYTES)`), the result is
+    // safely bounded and cannot resource-exhaust downstream. Only suppress
+    // external_taint_escape — these helpers do NOT sanitize string injection.
+    { method: 'min', class: 'Math', removes: ['external_taint_escape'] },
+    { method: 'max', class: 'Math', removes: ['external_taint_escape'] },
+    // Sprint 29 (#113): allow-list / membership guards — when an external value
+    // is tested against an allow-list (`ALLOWED.includes(x)`, `set.has(x)`,
+    // `list.contains(x)`) before being forwarded, it cannot escape unbounded.
+    // Only suppress `external_taint_escape`; real string-injection sinks should
+    // still rely on their own escaping.
+    { method: 'includes', removes: ['external_taint_escape'] },
+    { method: 'has', removes: ['external_taint_escape'] },
+    { method: 'contains', removes: ['external_taint_escape'] },
+    { method: 'indexOf', removes: ['external_taint_escape'] },
     // Path sanitization
     { method: 'basename', class: 'path', removes: ['path_traversal'] },
     { method: 'normalize', class: 'path', removes: ['path_traversal'] },