@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,263 +0,0 @@
1
- export const id = 3314;
2
- export const ids = [3314];
3
- export const modules = {
4
-
5
- /***/ 33314:
6
- /***/ ((__webpack_module__, __webpack_exports__, __webpack_require__) => {
7
-
8
- __webpack_require__.a(__webpack_module__, async (__webpack_handle_async_dependencies__, __webpack_async_result__) => { try {
9
- /* harmony export */ __webpack_require__.d(__webpack_exports__, {
10
- /* harmony export */ computePrDelta: () => (/* binding */ computePrDelta),
11
- /* harmony export */ netNewGate: () => (/* binding */ netNewGate),
12
- /* harmony export */ renderPrDeltaText: () => (/* binding */ renderPrDeltaText)
13
- /* harmony export */ });
14
- /* harmony import */ var node_child_process__WEBPACK_IMPORTED_MODULE_0__ = __webpack_require__(31421);
15
- /* harmony import */ var _util_git_hardening_js__WEBPACK_IMPORTED_MODULE_1__ = __webpack_require__(12179);
16
- /* harmony import */ var _engine_js__WEBPACK_IMPORTED_MODULE_2__ = __webpack_require__(28369);
17
- /* harmony import */ var _language_discovery_js__WEBPACK_IMPORTED_MODULE_3__ = __webpack_require__(41928);
18
- var __webpack_async_dependencies__ = __webpack_handle_async_dependencies__([_engine_js__WEBPACK_IMPORTED_MODULE_2__]);
19
- _engine_js__WEBPACK_IMPORTED_MODULE_2__ = (__webpack_async_dependencies__.then ? (await __webpack_async_dependencies__)() : __webpack_async_dependencies__)[0];
20
- // Shadowscan / security-DELTA on PR (v0.72).
21
- //
22
- // Most SAST PR-comment integrations show absolute counts — "12 findings
23
- // detected in changed files." Engineers can't act on that: 11 of those
24
- // 12 already existed before they touched the file. They want a DELTA:
25
- // what did THIS PR introduce, what did it remove, what changed.
26
- //
27
- // This module diffs two scans (PR branch vs base) by stableId and emits
28
- // both a JSON delta and a human-readable summary suitable for embedding
29
- // in a PR comment. Reuses the existing `history-scan.js` machinery for
30
- // the at-ref scans.
31
- //
32
- // Algorithm:
33
- // 1. Scan the base ref (in-memory via runFullScan, no checkout)
34
- // 2. Scan the head ref (same way)
35
- // 3. Key findings by stableId
36
- // 4. Emit:
37
- // - introduced: findings in head not in base
38
- // - resolved: findings in base not in head
39
- // - persistent: findings in both (changed severity/cwe → 'shifted')
40
- // 5. Severity-summary counts each side
41
- //
42
- // Output shape stays stable so downstream renderers (advisor-tone PR
43
- // comment) can transform without re-walking IR.
44
-
45
-
46
-
47
-
48
-
49
-
50
- const FILE_EXT_RE = /\.(?:js|jsx|ts|tsx|mjs|cjs|py|java|cs|kt|go|rb|php|sol|swift|rs|tf|yml|yaml|json|toml|md|hs|lhs|hsc|hs-boot|nix|cabal)$/i;
51
- const SEVERITIES = ['critical', 'high', 'medium', 'low', 'info'];
52
-
53
- // `root` is the PR's repository — a scan target, not this project's own
54
- // trusted checkout — hardened per FR-PROV-024 / the second Finding
55
- // Provenance PRD audit (same exposure class as
56
- // provenance/git-evidence.js's `_run`).
57
- function _git(root, args) {
58
- const r = (0,node_child_process__WEBPACK_IMPORTED_MODULE_0__.spawnSync)('git', (0,_util_git_hardening_js__WEBPACK_IMPORTED_MODULE_1__/* .hardenGitArgs */ .Ax)(args), { cwd: root, encoding: 'utf8', maxBuffer: 64 * 1024 * 1024, env: (0,_util_git_hardening_js__WEBPACK_IMPORTED_MODULE_1__/* .hardenGitEnv */ .Si)() });
59
- return { ok: r.status === 0, stdout: r.stdout || '', stderr: r.stderr || '' };
60
- }
61
-
62
- function _readFileAtRef(root, ref, file) {
63
- // `--no-textconv`: this blob-cat form of `show` (`<ref>:<file>`, not a
64
- // diff) was verified NOT reachable via a hostile textconv driver in
65
- // current git, same as git-evidence.js's getBlobAtCommit — kept for
66
- // defense-in-depth/uniformity.
67
- const r = _git(root, ['show', '--no-textconv', `${ref}:${file}`]);
68
- return r.ok ? r.stdout : null;
69
- }
70
-
71
- function _listFilesAtRef(root, ref) {
72
- const r = _git(root, ['ls-tree', '-r', '--name-only', ref]);
73
- if (!r.ok) return [];
74
- return r.stdout.trim().split('\n').filter(p => {
75
- if (!p) return false;
76
- if (p.includes('/node_modules/') || p.includes('/.venv/')) return false;
77
- if ((0,_language_discovery_js__WEBPACK_IMPORTED_MODULE_3__/* .isLanguageExcludedPath */ .EG)(p)) return false;
78
- return FILE_EXT_RE.test(p) || (0,_language_discovery_js__WEBPACK_IMPORTED_MODULE_3__/* .isLanguageManifest */ .mD)(p);
79
- });
80
- }
81
-
82
- async function _scanAtRef(root, ref) {
83
- const files = _listFilesAtRef(root, ref);
84
- const fileContents = {};
85
- const depFileContents = {};
86
- for (const f of files) {
87
- const c = _readFileAtRef(root, ref, f);
88
- if (c == null) continue;
89
- // Haskell/Nix manifests and lock files are dependency inputs, not code (the same split a working-tree scan makes).
90
- if ((0,_language_discovery_js__WEBPACK_IMPORTED_MODULE_3__/* .isLanguageManifest */ .mD)(f)) depFileContents[f] = c; else fileContents[f] = c;
91
- }
92
- // `provenance:false` — a base-ref snapshot, not the current working state.
93
- // Beyond the wasted git walks, updateLifecycle marks every open stableId
94
- // absent from the finding set it is handed as `remediated`; running the PR
95
- // delta gate would silently rewrite the project's lifecycle store from the
96
- // base ref's findings.
97
- return (0,_engine_js__WEBPACK_IMPORTED_MODULE_2__/* .runFullScan */ .wW)({ fileContents, depFileContents, scanRoot: root, provenance: false }, () => {});
98
- }
99
-
100
- function _summary(findings) {
101
- const out = { total: 0 };
102
- for (const s of SEVERITIES) out[s] = 0;
103
- for (const f of (findings || [])) {
104
- const s = f.severity || 'info';
105
- if (out[s] !== undefined) out[s]++;
106
- out.total++;
107
- }
108
- return out;
109
- }
110
-
111
- function _changedFiles(root, baseRef, headRef) {
112
- // `--no-ext-diff`: found during the second-audit-remediation sweep — this
113
- // is a `git diff` call site (`--name-only`, no content rendered, so not
114
- // itself a verified exploit path today, same as runScan.js's
115
- // `changedSince`), but every `diff` invocation in this codebase gets it
116
- // uniformly per the live exploit VERIFIED in material-change.js's
117
- // classifyGitDiff (external diff drivers fire on `git diff` even with
118
- // `--no-textconv`, which is a surface `--no-textconv` alone does not close).
119
- const r = _git(root, ['diff', '--name-only', '--no-ext-diff', `${baseRef}...${headRef}`]);
120
- if (!r.ok) return new Set();
121
- return new Set(r.stdout.trim().split('\n').filter(Boolean));
122
- }
123
-
124
- /**
125
- * Top-level entry: compute the delta between two refs.
126
- *
127
- * root: scan root (a git repo)
128
- * baseRef: the ref to compare against (e.g. main, origin/main)
129
- * headRef: the ref to score (e.g. HEAD, the PR branch). Defaults HEAD.
130
- *
131
- * Returns:
132
- * {
133
- * baseRef, headRef,
134
- * changedFiles: [...], // git diff --name-only base...head
135
- * base: { findings, summary, secrets, supplyChain, logicVulns },
136
- * head: { findings, summary, secrets, supplyChain, logicVulns },
137
- * introduced: Finding[], // new in head only
138
- * resolved: Finding[], // removed from base
139
- * persistent: Finding[], // same stableId in both (no semantic change)
140
- * shifted: Finding[], // same stableId, severity OR cwe changed
141
- * summary: { introduced: SeveritySummary, resolved, persistent, net },
142
- * }
143
- *
144
- * `net` is per-severity (head − base). A negative critical count means
145
- * the PR resolved a critical finding overall.
146
- */
147
- async function computePrDelta(root, { baseRef, headRef = 'HEAD' } = {}) {
148
- if (!baseRef) throw new Error('computePrDelta: baseRef is required');
149
- const changedFiles = [..._changedFiles(root, baseRef, headRef)];
150
- const baseScan = await _scanAtRef(root, baseRef);
151
- const headScan = await _scanAtRef(root, headRef);
152
- const baseById = new Map();
153
- const headById = new Map();
154
- for (const f of (baseScan.findings || [])) {
155
- const k = f.stableId || f.id;
156
- if (k) baseById.set(k, f);
157
- }
158
- for (const f of (headScan.findings || [])) {
159
- const k = f.stableId || f.id;
160
- if (k) headById.set(k, f);
161
- }
162
- const introduced = [];
163
- const resolved = [];
164
- const persistent = [];
165
- const shifted = [];
166
- for (const [k, f] of headById) {
167
- if (!baseById.has(k)) introduced.push(f);
168
- else {
169
- const base = baseById.get(k);
170
- if (base.severity !== f.severity || base.cwe !== f.cwe) {
171
- shifted.push({ from: base, to: f });
172
- } else {
173
- persistent.push(f);
174
- }
175
- }
176
- }
177
- for (const [k, f] of baseById) {
178
- if (!headById.has(k)) resolved.push(f);
179
- }
180
- // Net severity (head − base).
181
- const net = {};
182
- const baseSummary = _summary(baseScan.findings || []);
183
- const headSummary = _summary(headScan.findings || []);
184
- for (const s of [...SEVERITIES, 'total']) net[s] = (headSummary[s] || 0) - (baseSummary[s] || 0);
185
- return {
186
- baseRef, headRef,
187
- changedFiles,
188
- base: {
189
- findings: baseScan.findings || [],
190
- summary: baseSummary,
191
- secrets: baseScan.secrets || [],
192
- supplyChain: baseScan.supplyChain || [],
193
- logicVulns: baseScan.logicVulns || [],
194
- },
195
- head: {
196
- findings: headScan.findings || [],
197
- summary: headSummary,
198
- secrets: headScan.secrets || [],
199
- supplyChain: headScan.supplyChain || [],
200
- logicVulns: headScan.logicVulns || [],
201
- },
202
- introduced,
203
- resolved,
204
- persistent,
205
- shifted,
206
- summary: {
207
- introduced: _summary(introduced),
208
- resolved: _summary(resolved),
209
- persistent: _summary(persistent),
210
- net,
211
- },
212
- };
213
- }
214
-
215
- /**
216
- * Lightweight text summary used as a CLI fallback when --json isn't set.
217
- */
218
- // R24 (PRD §5) — net-new CI gate. Blocks the build ONLY on findings the PR
219
- // INTRODUCED (delta.introduced), at or above `failOn` severity — never on the
220
- // pre-existing backlog. This is the only SAST CI posture teams tolerate
221
- // long-term. Pure + deterministic: takes a delta, returns the gate decision.
222
- const _NETNEW_SEV_RANK = { critical: 3, high: 2, medium: 1, low: 0, info: -1 };
223
- function netNewGate(delta, failOn = 'critical') {
224
- const introduced = (delta && Array.isArray(delta.introduced)) ? delta.introduced : [];
225
- if (failOn === 'none') return { fail: false, failOn, introducedCount: introduced.length, blocked: [] };
226
- const threshold = _NETNEW_SEV_RANK[failOn] ?? 3;
227
- const blocked = introduced.filter((f) => (_NETNEW_SEV_RANK[f.severity] ?? -1) >= threshold);
228
- return { fail: blocked.length > 0, failOn, introducedCount: introduced.length, blocked };
229
- }
230
-
231
- function renderPrDeltaText(delta) {
232
- const i = delta.summary.introduced;
233
- const r = delta.summary.resolved;
234
- const lines = [];
235
- lines.push(`Delta: ${delta.baseRef} → ${delta.headRef}`);
236
- lines.push(`Changed files: ${delta.changedFiles.length}`);
237
- lines.push('');
238
- if (delta.introduced.length === 0 && delta.resolved.length === 0 && delta.shifted.length === 0) {
239
- lines.push('No security delta. Safe to merge.');
240
- return lines.join('\n');
241
- }
242
- lines.push(`Introduced: ${delta.introduced.length} ` +
243
- `(crit ${i.critical} · high ${i.high} · med ${i.medium} · low ${i.low})`);
244
- lines.push(`Resolved: ${delta.resolved.length} ` +
245
- `(crit ${r.critical} · high ${r.high} · med ${r.medium} · low ${r.low})`);
246
- if (delta.shifted.length) lines.push(`Shifted: ${delta.shifted.length}`);
247
- if (delta.introduced.length) {
248
- lines.push('');
249
- lines.push('Newly introduced:');
250
- for (const f of delta.introduced.slice(0, 20)) {
251
- lines.push(` + ${f.severity.padEnd(8)} ${f.cwe || ''} ${f.vuln} (${f.file}:${f.line})`);
252
- }
253
- if (delta.introduced.length > 20) lines.push(` … ${delta.introduced.length - 20} more`);
254
- }
255
- return lines.join('\n');
256
- }
257
-
258
- __webpack_async_result__();
259
- } catch(e) { __webpack_async_result__(e); } });
260
-
261
- /***/ })
262
-
263
- };