@clear-capabilities/agentic-security-scanner 0.185.0 → 0.186.2

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 (174) hide show
  1. package/CHANGELOG.md +34 -0
  2. package/bin/agentic-security.js +66 -18
  3. package/dist/1128.index.js +25 -21
  4. package/dist/{5817.index.js → 1602.index.js} +378 -29
  5. package/dist/2584.index.js +1 -1
  6. package/dist/4171.index.js +2 -2
  7. package/dist/{0b301d45b231f144a1b4.json → 4d06c8944ae121d7085c.json} +8 -8
  8. package/dist/5752.index.js +466 -0
  9. package/dist/7405.index.js +1 -1
  10. package/dist/8158.index.js +1713 -0
  11. package/dist/8798.index.js +1 -1
  12. package/dist/9382.index.js +2 -2
  13. package/dist/9560.index.js +1 -1
  14. package/dist/9579.index.js +1 -1
  15. package/dist/agentic-security.mjs +29 -29
  16. package/dist/agentic-security.mjs.sha256 +1 -1
  17. package/package.json +8 -8
  18. package/src/dataflow/CLAUDE.md +6 -3
  19. package/src/dataflow/access-paths.js +12 -2
  20. package/src/dataflow/demand-query.js +279 -40
  21. package/src/dataflow/dep-fingerprint.js +1 -1
  22. package/src/dataflow/exploit-prover.js +6 -2
  23. package/src/dataflow/ir-cache.js +268 -0
  24. package/src/dataflow/privacy-taint.js +7 -0
  25. package/src/engine.js +62 -5
  26. package/src/ir/CLAUDE.md +4 -0
  27. package/src/ir/callgraph.js +36 -8
  28. package/src/ir/index.js +18 -4
  29. package/src/ir/parser-js.js +10 -0
  30. package/src/language/CLAUDE.md +13 -0
  31. package/src/language/nix-option-types.js +170 -0
  32. package/src/language/nix-script-taint.js +46 -3
  33. package/src/language/nix-secrets.js +20 -2
  34. package/src/lineage/CLAUDE.md +2 -1
  35. package/src/lineage/smt-orchestrator.js +47 -11
  36. package/src/lineage/smt-z3-backend.js +294 -0
  37. package/src/posture/CLAUDE.md +5 -1
  38. package/src/posture/business-logic.js +16 -7
  39. package/src/posture/dag-commands.js +442 -0
  40. package/src/posture/finding-defaults.js +19 -0
  41. package/src/posture/git-history.js +91 -1
  42. package/src/posture/proof-fabric/cli.js +1 -1
  43. package/src/posture/proof-fabric/container.js +2 -2
  44. package/src/posture/proof-fabric/generate-haskell.js +205 -0
  45. package/src/posture/proof-fabric/generate.js +6 -3
  46. package/src/posture/proof-fabric/reproducer.js +4 -2
  47. package/src/posture/proof-fabric/runner.js +4 -4
  48. package/src/sast/CLAUDE.md +2 -0
  49. package/src/sast/_call-args.js +70 -0
  50. package/src/sast/init-scope.js +87 -0
  51. package/src/sast/listen-bind-address.js +49 -0
  52. package/src/sast/redirect-target.js +106 -0
  53. package/src/sast/reflected-input.js +76 -0
  54. package/src/sast/send-file-root.js +27 -0
  55. package/src/sast/sensitive-data-logging.js +38 -1
  56. package/dist/119.index.js +0 -197
  57. package/dist/128.index.js +0 -129
  58. package/dist/1293.index.js +0 -5689
  59. package/dist/1336.index.js +0 -16331
  60. package/dist/1351.index.js +0 -133
  61. package/dist/1387.index.js +0 -271
  62. package/dist/1437.index.js +0 -23
  63. package/dist/1445.index.js +0 -110
  64. package/dist/1505.index.js +0 -151
  65. package/dist/1557.index.js +0 -293
  66. package/dist/1621.index.js +0 -311
  67. package/dist/1751.index.js +0 -160
  68. package/dist/1765.index.js +0 -727
  69. package/dist/1861.index.js +0 -690
  70. package/dist/1906.index.js +0 -433
  71. package/dist/208.index.js +0 -1631
  72. package/dist/2223.index.js +0 -159
  73. package/dist/2238.index.js +0 -295
  74. package/dist/2530.index.js +0 -152
  75. package/dist/2565.index.js +0 -116
  76. package/dist/2574.index.js +0 -127
  77. package/dist/2620.index.js +0 -345
  78. package/dist/2773.index.js +0 -98
  79. package/dist/2775.index.js +0 -32
  80. package/dist/2966.index.js +0 -171
  81. package/dist/2972.index.js +0 -87
  82. package/dist/2991.index.js +0 -131
  83. package/dist/3063.index.js +0 -833
  84. package/dist/3075.index.js +0 -227
  85. package/dist/3121.index.js +0 -297
  86. package/dist/3314.index.js +0 -263
  87. package/dist/3480.index.js +0 -1822
  88. package/dist/3481.index.js +0 -24
  89. package/dist/3506.index.js +0 -268
  90. package/dist/3533.index.js +0 -591
  91. package/dist/3653.index.js +0 -450
  92. package/dist/3740.index.js +0 -722
  93. package/dist/3822.index.js +0 -131
  94. package/dist/3868.index.js +0 -292
  95. package/dist/3918.index.js +0 -192
  96. package/dist/4090.index.js +0 -288
  97. package/dist/4113.index.js +0 -1286
  98. package/dist/4121.index.js +0 -1190
  99. package/dist/4142.index.js +0 -690
  100. package/dist/4168.index.js +0 -509
  101. package/dist/4281.index.js +0 -993
  102. package/dist/4336.index.js +0 -436
  103. package/dist/4387.index.js +0 -532
  104. package/dist/4413.index.js +0 -302
  105. package/dist/4476.index.js +0 -4510
  106. package/dist/4491.index.js +0 -133
  107. package/dist/4538.index.js +0 -185
  108. package/dist/4684.index.js +0 -319
  109. package/dist/4740.index.js +0 -165
  110. package/dist/4780.index.js +0 -209
  111. package/dist/4802.index.js +0 -225
  112. package/dist/4812.index.js +0 -379
  113. package/dist/4835.index.js +0 -126
  114. package/dist/494.index.js +0 -226
  115. package/dist/4991.index.js +0 -549
  116. package/dist/5199.index.js +0 -305
  117. package/dist/5216.index.js +0 -109
  118. package/dist/5439.index.js +0 -301
  119. package/dist/5443.index.js +0 -97
  120. package/dist/5496.index.js +0 -377
  121. package/dist/5738.index.js +0 -240
  122. package/dist/5801.index.js +0 -588
  123. package/dist/5858.index.js +0 -223
  124. package/dist/5933.index.js +0 -143
  125. package/dist/601.index.js +0 -23
  126. package/dist/6173.index.js +0 -273
  127. package/dist/6291.index.js +0 -1871
  128. package/dist/6312.index.js +0 -666
  129. package/dist/634.index.js +0 -16182
  130. package/dist/644.index.js +0 -87
  131. package/dist/6508.index.js +0 -283
  132. package/dist/6560.index.js +0 -645
  133. package/dist/6576.index.js +0 -422
  134. package/dist/6579.index.js +0 -271
  135. package/dist/6655.index.js +0 -3221
  136. package/dist/6745.index.js +0 -305
  137. package/dist/6818.index.js +0 -21642
  138. package/dist/6932.index.js +0 -1190
  139. package/dist/6972.index.js +0 -167
  140. package/dist/6995.index.js +0 -163
  141. package/dist/7249.index.js +0 -191
  142. package/dist/7372.index.js +0 -1197
  143. package/dist/7546.index.js +0 -541
  144. package/dist/76.index.js +0 -448
  145. package/dist/7879.index.js +0 -163
  146. package/dist/8025.index.js +0 -130
  147. package/dist/8054.index.js +0 -248
  148. package/dist/808.index.js +0 -1330
  149. package/dist/8097.index.js +0 -201
  150. package/dist/8126.index.js +0 -191
  151. package/dist/8178.index.js +0 -78
  152. package/dist/8382.index.js +0 -93
  153. package/dist/8408.index.js +0 -261
  154. package/dist/8540.index.js +0 -174
  155. package/dist/8635.index.js +0 -802
  156. package/dist/8688.index.js +0 -410
  157. package/dist/8699.index.js +0 -779
  158. package/dist/8891.index.js +0 -457
  159. package/dist/8916.index.js +0 -885
  160. package/dist/9146.index.js +0 -170
  161. package/dist/9168.index.js +0 -841
  162. package/dist/9292.index.js +0 -369
  163. package/dist/9422.index.js +0 -866
  164. package/dist/9440.index.js +0 -453
  165. package/dist/9479.index.js +0 -152
  166. package/dist/9481.index.js +0 -220
  167. package/dist/9539.index.js +0 -100
  168. package/dist/9547.index.js +0 -103
  169. package/dist/9692.index.js +0 -90
  170. package/dist/9800.index.js +0 -462
  171. package/dist/9899.index.js +0 -138
  172. package/dist/9981.index.js +0 -206
  173. package/dist/999.index.js +0 -117
  174. package/dist/9999.index.js +0 -1698
@@ -1,288 +0,0 @@
1
- export const id = 4090;
2
- export const ids = [4090];
3
- export const modules = {
4
-
5
- /***/ 44090:
6
- /***/ ((__unused_webpack___webpack_module__, __webpack_exports__, __webpack_require__) => {
7
-
8
- /* harmony export */ __webpack_require__.d(__webpack_exports__, {
9
- /* harmony export */ augmentReachabilityViaImports: () => (/* binding */ augmentReachabilityViaImports)
10
- /* harmony export */ });
11
- /* unused harmony exports languageOfFile, pkgMatches, extractJsImports, extractPyImports, extractImports, findImportAwareCallSites */
12
- /* harmony import */ var _sast_comment_strip_js__WEBPACK_IMPORTED_MODULE_0__ = __webpack_require__(98106);
13
- // R7 — import-aware SCA function-reachability (JS/TS + Python).
14
- //
15
- // The default reachability pass (engine.js#markUsedVulnFunctions) is a regex
16
- // over `pkg.fn` / bare function names. It has two documented failure modes:
17
- // - FALSE NEGATIVE on aliased / namespace imports:
18
- // import { merge as deepMerge } from 'lodash'; deepMerge(a, b) // missed
19
- // import * as _ from 'lodash'; _.merge(a, b) // member ok
20
- // - FALSE POSITIVE on coincidental names: a bare `parse(` in a file that never
21
- // imports the vulnerable package is matched anyway.
22
- //
23
- // This module parses the import statements of each JS/TS and Python file into an
24
- // alias map, then finds call sites of a package's vulnerable functions resolved
25
- // THROUGH that map and GATED to files that actually import the package. It does
26
- // not decide `functionReachable` itself — it augments `vulnerableFunctionCallSites`
27
- // so the existing route-reachability classifier (which distinguishes
28
- // reachable / unreachable / unknown) sees the calls the regex missed.
29
- //
30
- // Other ecosystems keep the regex pass (this module is a no-op for them).
31
-
32
-
33
-
34
- const JS_RE = /\.(?:m|c)?[jt]sx?$/i;
35
- const PY_RE = /\.py$/i;
36
-
37
- function languageOfFile(file) {
38
- if (JS_RE.test(file)) return 'js';
39
- if (PY_RE.test(file)) return 'py';
40
- return null;
41
- }
42
-
43
- // Normalize an import source to a package base name.
44
- // '@scope/pkg/sub' -> '@scope/pkg' 'pkg/sub' -> 'pkg' (npm)
45
- // 'pkg.sub.mod' -> 'pkg' (python)
46
- function pkgBase(source, lang) {
47
- let s = String(source || '').trim();
48
- if (lang === 'py') return s.split('.')[0];
49
- if (s.startsWith('@')) {
50
- const parts = s.split('/');
51
- return parts.slice(0, 2).join('/');
52
- }
53
- return s.split('/')[0];
54
- }
55
-
56
- // Loose package-name equivalence. npm is case-sensitive; PyPI dist names differ
57
- // from import names by case and -/_ (PyYAML→yaml is NOT covered — that needs a
58
- // dist→import table; documented limitation).
59
- function pkgMatches(depName, importedPkg, lang) {
60
- if (!depName || !importedPkg) return false;
61
- if (depName === importedPkg) return true;
62
- if (lang === 'py') {
63
- const norm = (x) => x.toLowerCase().replace(/[-_.]/g, '');
64
- return norm(depName) === norm(importedPkg);
65
- }
66
- return false;
67
- }
68
-
69
- // Split a named-imports clause body ("a, b as c, default as d") into pairs.
70
- function parseNamedClause(body) {
71
- const out = [];
72
- for (const raw of body.split(',')) {
73
- const t = raw.trim();
74
- if (!t) continue;
75
- const m = t.match(/^([A-Za-z_$][\w$]*)\s+as\s+([A-Za-z_$][\w$]*)$/);
76
- if (m) out.push({ imported: m[1], local: m[2] });
77
- else if (/^[A-Za-z_$][\w$]*$/.test(t)) out.push({ imported: t, local: t });
78
- }
79
- return out;
80
- }
81
-
82
- /**
83
- * Parse JS/TS imports into:
84
- * named: Map<localName, { pkg, imported }>
85
- * ns: Map<localName, pkg> (namespace/default whole-module binding)
86
- * packages: Set<pkg>
87
- * Handles ESM (named / default / namespace) and CJS require (destructure / whole).
88
- */
89
- function extractJsImports(content) {
90
- const code = (0,_sast_comment_strip_js__WEBPACK_IMPORTED_MODULE_0__/* .blankComments */ .$)(content);
91
- const named = new Map();
92
- const ns = new Map();
93
- const packages = new Set();
94
- const add = (pkg) => { if (pkg) packages.add(pkg); };
95
-
96
- // ESM: import ... from 'pkg'
97
- const esm = /\bimport\s+([^;'"]+?)\s+from\s*['"]([^'"]+)['"]/g;
98
- let m;
99
- while ((m = esm.exec(code))) {
100
- const clause = m[1].trim();
101
- const pkg = pkgBase(m[2], 'js');
102
- add(pkg);
103
- // namespace: * as ns
104
- const nsM = clause.match(/\*\s+as\s+([A-Za-z_$][\w$]*)/);
105
- if (nsM) ns.set(nsM[1], pkg);
106
- // named: { ... }
107
- const braceM = clause.match(/\{([^}]*)\}/);
108
- if (braceM) for (const p of parseNamedClause(braceM[1])) named.set(p.local, { pkg, imported: p.imported });
109
- // default: leading bare identifier (before any { or *)
110
- const defM = clause.match(/^([A-Za-z_$][\w$]*)\s*(?:,|$)/);
111
- if (defM && !nsM) ns.set(defM[1], pkg);
112
- }
113
- // CJS: const X = require('pkg') / const { a, b: c } = require('pkg')
114
- const cjs = /(?:const|let|var)\s+(\{[^}]*\}|[A-Za-z_$][\w$]*)\s*=\s*require\s*\(\s*['"]([^'"]+)['"]\s*\)/g;
115
- while ((m = cjs.exec(code))) {
116
- const bind = m[1].trim();
117
- const pkg = pkgBase(m[2], 'js');
118
- add(pkg);
119
- if (bind.startsWith('{')) {
120
- // require destructure uses `orig: local`
121
- for (const raw of bind.slice(1, -1).split(',')) {
122
- const t = raw.trim(); if (!t) continue;
123
- const mm = t.match(/^([A-Za-z_$][\w$]*)\s*:\s*([A-Za-z_$][\w$]*)$/);
124
- if (mm) named.set(mm[2], { pkg, imported: mm[1] });
125
- else if (/^[A-Za-z_$][\w$]*$/.test(t)) named.set(t, { pkg, imported: t });
126
- }
127
- } else {
128
- ns.set(bind, pkg);
129
- }
130
- }
131
- return { named, ns, packages };
132
- }
133
-
134
- /**
135
- * Parse Python imports. Same return shape as extractJsImports.
136
- * from pkg import a, b as c -> named: a->{pkg,a}, c->{pkg,b}
137
- * from pkg.sub import a -> named: a->{pkg,a} (pkg base)
138
- * import pkg / import pkg as p -> ns: pkg->pkg / p->pkg
139
- */
140
- function extractPyImports(content) {
141
- const code = (0,_sast_comment_strip_js__WEBPACK_IMPORTED_MODULE_0__/* .blankComments */ .$)(content);
142
- const named = new Map();
143
- const ns = new Map();
144
- const packages = new Set();
145
-
146
- const from = /^[ \t]*from\s+([A-Za-z_][\w.]*)\s+import\s+(.+)$/gm;
147
- let m;
148
- while ((m = from.exec(code))) {
149
- const pkg = pkgBase(m[1], 'py');
150
- packages.add(pkg);
151
- let names = m[2].trim();
152
- if (names === '*') continue;
153
- names = names.replace(/[()]/g, '');
154
- for (const p of parseNamedClause(names)) named.set(p.local, { pkg, imported: p.imported });
155
- }
156
- const imp = /^[ \t]*import\s+(.+)$/gm;
157
- while ((m = imp.exec(code))) {
158
- if (/^\s*import\s+/.test(m[0]) && /\bfrom\b/.test(m[0])) continue;
159
- for (const raw of m[1].split(',')) {
160
- const t = raw.trim(); if (!t) continue;
161
- const mm = t.match(/^([A-Za-z_][\w.]*)(?:\s+as\s+([A-Za-z_]\w*))?$/);
162
- if (!mm) continue;
163
- const pkg = pkgBase(mm[1], 'py');
164
- packages.add(pkg);
165
- ns.set(mm[2] || mm[1].split('.')[0], pkg);
166
- }
167
- }
168
- return { named, ns, packages };
169
- }
170
-
171
- function extractImports(content, lang) {
172
- return lang === 'py' ? extractPyImports(content) : extractJsImports(content);
173
- }
174
-
175
- /**
176
- * Find call sites in `content` of `vulnFns` belonging to `pkg`, resolved through
177
- * this file's import map. Returns [{ fn, line, via }]. Empty if the file does
178
- * not import `pkg` (the precision gate).
179
- */
180
- function findImportAwareCallSites(content, lang, imports, pkg, vulnFns) {
181
- if (!imports || !vulnFns || !vulnFns.length) return [];
182
- const importsPkg = [...imports.packages].some((p) => pkgMatches(pkg, p, lang));
183
- if (!importsPkg) return [];
184
- const want = new Set(vulnFns);
185
- const code = (0,_sast_comment_strip_js__WEBPACK_IMPORTED_MODULE_0__/* .blankComments */ .$)(content);
186
- const lines = code.split('\n');
187
- const sites = [];
188
- const lineOf = (idx) => code.slice(0, idx).split('\n').length;
189
-
190
- // 1) named/aliased imports: localName bound to {pkg, imported} where imported ∈ want
191
- for (const [local, info] of imports.named) {
192
- if (!pkgMatches(pkg, info.pkg, lang)) continue;
193
- if (!want.has(info.imported)) continue;
194
- const re = new RegExp(`\\b${local.replace(/[$]/g, '\\$&')}\\s*\\(`, 'g');
195
- let mm;
196
- while ((mm = re.exec(code))) sites.push({ fn: info.imported, line: lineOf(mm.index), via: local === info.imported ? 'named' : 'alias' });
197
- }
198
- // 2) namespace/default member access: ns.fn( where ns→pkg and fn ∈ want
199
- for (const [local, p] of imports.ns) {
200
- if (!pkgMatches(pkg, p, lang)) continue;
201
- for (const fn of want) {
202
- const sep = lang === 'py' ? '\\.' : '\\.';
203
- const re = new RegExp(`\\b${local.replace(/[$]/g, '\\$&')}\\s*${sep}\\s*${fn.replace(/[^\w]/g, '\\$&')}\\s*\\(`, 'g');
204
- let mm;
205
- while ((mm = re.exec(code))) sites.push({ fn, line: lineOf(mm.index), via: 'namespace' });
206
- }
207
- }
208
- // Dedup by fn+line.
209
- const seen = new Set();
210
- return sites.filter((s) => { const k = `${s.fn}:${s.line}`; if (seen.has(k)) return false; seen.add(k); return true; });
211
- }
212
-
213
- /**
214
- * Augment supplyChain findings (npm/pypi only) with import-aware call sites the
215
- * regex pass missed, gated to files that import the package. Additive: it never
216
- * removes existing sites, so it cannot regress the route-reachability classifier
217
- * that runs next — it only gives it more (and more accurate) call sites.
218
- *
219
- * Mutates and returns `supplyChain`. Records `sc._importAwareCallSites` (count)
220
- * for observability.
221
- */
222
- function augmentReachabilityViaImports(supplyChain, fileContents, vulnFnHints = {}) {
223
- if (!Array.isArray(supplyChain)) return supplyChain;
224
- // Collect the hardcoded/generated hint function names for a package. The
225
- // hint map is keyed by `pkg` and by versioned `pkg@range` (and packages may
226
- // be scoped `@scope/pkg`). The vulnerability decision already happened
227
- // upstream; here we only need candidate function NAMES to locate call sites,
228
- // so we gather version-agnostically.
229
- const hintFnsFor = (name) => {
230
- const out = [];
231
- for (const [k, v] of Object.entries(vulnFnHints || {})) {
232
- if (!Array.isArray(v)) continue;
233
- const atIdx = k.lastIndexOf('@');
234
- const base = atIdx > 0 ? k.slice(0, atIdx) : k; // >0 keeps a leading-@ scope intact
235
- if (base === name) out.push(...v);
236
- }
237
- return out;
238
- };
239
- // Pre-parse imports per JS/PY file once.
240
- const importsByFile = new Map();
241
- for (const [file, content] of Object.entries(fileContents || {})) {
242
- const lang = languageOfFile(file);
243
- if (!lang) continue;
244
- try { importsByFile.set(file, { lang, imports: extractImports(content, lang) }); } catch { /* skip unparseable */ }
245
- }
246
- if (!importsByFile.size) return supplyChain;
247
-
248
- for (const sc of supplyChain) {
249
- if (!sc || sc.type !== 'vulnerable_dep') continue;
250
- if (sc.ecosystem !== 'npm' && sc.ecosystem !== 'pypi') continue;
251
- const lang = sc.ecosystem === 'npm' ? 'js' : 'py';
252
- const vulnFns = (sc.osvVulnFunctions || []).map((f) => {
253
- const d = String(f).lastIndexOf('.'); return d > 0 ? String(f).slice(d + 1) : String(f);
254
- }).concat(sc.usedVulnerableFunctions || []).concat(hintFnsFor(sc.name));
255
- const uniqFns = [...new Set(vulnFns.filter(Boolean))];
256
- if (!uniqFns.length) continue;
257
-
258
- const existing = Array.isArray(sc.vulnerableFunctionCallSites) ? sc.vulnerableFunctionCallSites : [];
259
- const seen = new Set(existing.map((s) => `${s.file}:${s.line}:${s.fn}`));
260
- let added = 0;
261
- for (const [file, { lang: fl, imports }] of importsByFile) {
262
- if (fl !== lang) continue;
263
- const content = fileContents[file];
264
- const sites = findImportAwareCallSites(content, lang, imports, sc.name, uniqFns);
265
- for (const s of sites) {
266
- const key = `${file}:${s.line}:${s.fn}`;
267
- if (seen.has(key)) continue;
268
- seen.add(key);
269
- existing.push({ pkg: sc.name, fn: s.fn, file, line: s.line, via: s.via, _r7: true });
270
- added++;
271
- }
272
- }
273
- if (added > 0) {
274
- sc.vulnerableFunctionCallSites = existing;
275
- const usedSet = new Set(sc.usedVulnerableFunctions || []);
276
- for (const s of existing) usedSet.add(s.fn);
277
- sc.usedVulnerableFunctions = [...usedSet];
278
- sc.noKnownCallSite = false;
279
- sc._importAwareCallSites = (sc._importAwareCallSites || 0) + added;
280
- }
281
- }
282
- return supplyChain;
283
- }
284
-
285
-
286
- /***/ })
287
-
288
- };