circle-ir 4.10.0 → 4.12.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (39) hide show
  1. package/dist/analysis/config-loader.d.ts.map +1 -1
  2. package/dist/analysis/config-loader.js +8 -2
  3. package/dist/analysis/config-loader.js.map +1 -1
  4. package/dist/analysis/constant-propagation/propagator.d.ts.map +1 -1
  5. package/dist/analysis/constant-propagation/propagator.js +15 -0
  6. package/dist/analysis/constant-propagation/propagator.js.map +1 -1
  7. package/dist/analysis/entry-point-detection.d.ts +7 -0
  8. package/dist/analysis/entry-point-detection.d.ts.map +1 -1
  9. package/dist/analysis/entry-point-detection.js +13 -1
  10. package/dist/analysis/entry-point-detection.js.map +1 -1
  11. package/dist/analysis/passes/language-sources-pass.d.ts +6 -1
  12. package/dist/analysis/passes/language-sources-pass.d.ts.map +1 -1
  13. package/dist/analysis/passes/language-sources-pass.js +54 -2
  14. package/dist/analysis/passes/language-sources-pass.js.map +1 -1
  15. package/dist/analysis/passes/param-source-flow-gate-pass.d.ts +53 -0
  16. package/dist/analysis/passes/param-source-flow-gate-pass.d.ts.map +1 -0
  17. package/dist/analysis/passes/param-source-flow-gate-pass.js +144 -0
  18. package/dist/analysis/passes/param-source-flow-gate-pass.js.map +1 -0
  19. package/dist/analysis/passes/scan-secrets-pass.d.ts +3 -3
  20. package/dist/analysis/passes/scan-secrets-pass.d.ts.map +1 -1
  21. package/dist/analysis/passes/scan-secrets-pass.js +31 -3
  22. package/dist/analysis/passes/scan-secrets-pass.js.map +1 -1
  23. package/dist/analysis/passes/taint-propagation-pass.d.ts.map +1 -1
  24. package/dist/analysis/passes/taint-propagation-pass.js +56 -1
  25. package/dist/analysis/passes/taint-propagation-pass.js.map +1 -1
  26. package/dist/analysis/require-entry-path.js +50 -4
  27. package/dist/analysis/require-entry-path.js.map +1 -1
  28. package/dist/analyzer.d.ts +10 -0
  29. package/dist/analyzer.d.ts.map +1 -1
  30. package/dist/analyzer.js +9 -0
  31. package/dist/analyzer.js.map +1 -1
  32. package/dist/browser/circle-ir.js +222 -13
  33. package/dist/core/circle-ir-core.cjs +40 -2
  34. package/dist/core/circle-ir-core.js +40 -2
  35. package/dist/core/extractors/dfg.js +32 -0
  36. package/dist/core/extractors/dfg.js.map +1 -1
  37. package/dist/navigation/navigation-index.js +1 -1
  38. package/dist/navigation/navigation-index.js.map +1 -1
  39. package/package.json +3 -3
package/dist/analysis/config-loader.d.ts.map CHANGED
@@ -1 +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,EAy0B1C,CAAC;AA+KF,eAAO,MAAM,aAAa,EAAE,WAAW,EA2qEtC,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,gBAAgB,EAgjBhD,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"}
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,EA00B1C,CAAC;AA+KF,eAAO,MAAM,aAAa,EAAE,WAAW,EAgrEtC,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,gBAAgB,EAgjBhD,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 CHANGED
@@ -325,6 +325,7 @@ export const DEFAULT_SOURCES = [
325
325
  { method: 'get', class: 'ConcurrentHashMap', type: 'plugin_param', severity: 'high', return_tainted: true },
326
326
  { method: 'get', class: 'Hashtable', type: 'plugin_param', severity: 'high', return_tainted: true },
327
327
  { method: 'get', class: 'Properties', type: 'config_param', severity: 'high', return_tainted: true },
328
+ { method: 'getProperty', class: 'Properties', type: 'config_param', severity: 'high', return_tainted: true },
328
329
  // Message/Event sources
329
330
  { method: 'getText', class: 'Message', type: 'io_input', severity: 'high', return_tainted: true },
330
331
  { method: 'getPayload', type: 'io_input', severity: 'high', return_tainted: true },
@@ -1348,8 +1349,13 @@ export const DEFAULT_SINKS = [
1348
1349
  { method: 'write', class: 'PrintWriter', type: 'xss', cwe: 'CWE-79', severity: 'high', arg_positions: [0] },
1349
1350
  { method: 'println', class: 'PrintWriter', type: 'xss', cwe: 'CWE-79', severity: 'high', arg_positions: [0] },
1350
1351
  { method: 'print', class: 'PrintWriter', type: 'xss', cwe: 'CWE-79', severity: 'high', arg_positions: [0] },
1351
- { method: 'format', class: 'PrintWriter', type: 'xss', cwe: 'CWE-79', severity: 'high', arg_positions: [0, 1] },
1352
- { method: 'printf', class: 'PrintWriter', type: 'xss', cwe: 'CWE-79', severity: 'high', arg_positions: [0, 1] },
1352
+ // format/printf take `(String fmt, Object... args)` or `(Locale l, String
1353
+ // fmt, Object... args)`. Every argument after the format can reach the page,
1354
+ // and the Locale overload shifts them all one place right, so `[0, 1]` missed
1355
+ // `printf(Locale.US, "%s", tainted)` and any second vararg. Enumerated, not
1356
+ // `[]` — see the ProcessBuilder note above.
1357
+ { method: 'format', class: 'PrintWriter', type: 'xss', cwe: 'CWE-79', severity: 'high', arg_positions: [0, 1, 2, 3, 4, 5, 6, 7] },
1358
+ { method: 'printf', class: 'PrintWriter', type: 'xss', cwe: 'CWE-79', severity: 'high', arg_positions: [0, 1, 2, 3, 4, 5, 6, 7] },
1353
1359
  // ServletOutputStream
1354
1360
  { method: 'write', class: 'ServletOutputStream', type: 'xss', cwe: 'CWE-79', severity: 'high', arg_positions: [0] },
1355
1361
  { method: 'print', class: 'ServletOutputStream', type: 'xss', cwe: 'CWE-79', severity: 'high', arg_positions: [0] },