@clear-capabilities/agentic-security-scanner 0.184.0 → 0.186.1

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 (228) hide show
  1. package/CHANGELOG.md +37 -0
  2. package/bin/agentic-security.js +111 -1
  3. package/dist/1128.index.js +912 -0
  4. package/dist/1665.index.js +828 -0
  5. package/dist/2584.index.js +1 -1
  6. package/dist/4171.index.js +2 -2
  7. package/dist/5752.index.js +466 -0
  8. package/dist/7405.index.js +1 -1
  9. package/dist/8158.index.js +1713 -0
  10. package/dist/8798.index.js +1 -1
  11. package/dist/9382.index.js +2 -2
  12. package/dist/9579.index.js +1 -1
  13. package/dist/agentic-security.mjs +29 -29
  14. package/dist/agentic-security.mjs.sha256 +1 -1
  15. package/dist/{dad58d1113a12c23a142.json → ca62ee93079be4c24eee.json} +29 -12
  16. package/dist/frontend/src/shell.js +12 -2
  17. package/package.json +29 -12
  18. package/src/dataflow/CLAUDE.md +46 -1
  19. package/src/dataflow/access-paths.js +12 -2
  20. package/src/dataflow/backward.js +42 -7
  21. package/src/dataflow/cross-service-taint.js +83 -1
  22. package/src/dataflow/demand-query.js +1168 -0
  23. package/src/dataflow/dep-fingerprint.js +718 -0
  24. package/src/dataflow/engine.js +48 -6
  25. package/src/dataflow/exploit-prover.js +6 -2
  26. package/src/dataflow/ifds-precise.js +22 -0
  27. package/src/dataflow/incremental-replay.js +118 -0
  28. package/src/dataflow/incremental-session.js +257 -0
  29. package/src/dataflow/incremental.js +237 -35
  30. package/src/dataflow/index.js +25 -94
  31. package/src/dataflow/ir-cache.js +268 -0
  32. package/src/dataflow/privacy-taint.js +7 -0
  33. package/src/dataflow/summaries.js +72 -6
  34. package/src/dataflow/tabulation.js +80 -24
  35. package/src/engine.js +113 -8
  36. package/src/graph/CLAUDE.md +31 -0
  37. package/src/graph/adapters/artifact.js +81 -0
  38. package/src/graph/adapters/crossrepo.js +75 -0
  39. package/src/graph/adapters/dataflow.js +76 -0
  40. package/src/graph/adapters/provenance.js +92 -0
  41. package/src/graph/adapters/semantic.js +89 -0
  42. package/src/graph/crosswalk-builders.js +152 -0
  43. package/src/graph/crosswalk.js +146 -0
  44. package/src/graph/index.js +15 -0
  45. package/src/graph/observation.js +57 -0
  46. package/src/graph/refs.js +105 -0
  47. package/src/graph/registry.js +129 -0
  48. package/src/graph/relations.js +81 -0
  49. package/src/graph/scc.js +241 -0
  50. package/src/graph/view.js +254 -0
  51. package/src/ir/CLAUDE.md +4 -0
  52. package/src/ir/callgraph.js +36 -8
  53. package/src/ir/index.js +18 -4
  54. package/src/ir/parser-js.js +10 -0
  55. package/src/language/CLAUDE.md +13 -0
  56. package/src/language/nix-option-types.js +170 -0
  57. package/src/language/nix-script-taint.js +46 -3
  58. package/src/language/nix-secrets.js +20 -2
  59. package/src/lineage/CLAUDE.md +72 -8
  60. package/src/lineage/DESIGN_GRAPH_BUILDER.md +1 -1
  61. package/src/lineage/DESIGN_PATH_PROVENANCE.md +6 -0
  62. package/src/lineage/boundary-contract.js +273 -0
  63. package/src/lineage/completion.js +205 -0
  64. package/src/lineage/continuation.js +140 -0
  65. package/src/lineage/control-credit.js +313 -0
  66. package/src/lineage/correlation.js +199 -0
  67. package/src/lineage/coverage.js +8 -1
  68. package/src/lineage/cross-repo-link.js +22 -0
  69. package/src/lineage/cut-planner.js +548 -0
  70. package/src/lineage/driver.js +219 -66
  71. package/src/lineage/engine.js +166 -21
  72. package/src/lineage/export-json.js +5 -0
  73. package/src/lineage/graph-builder.js +84 -7
  74. package/src/lineage/haskell-view.js +59 -0
  75. package/src/lineage/index.js +3 -0
  76. package/src/lineage/nix-view.js +35 -0
  77. package/src/lineage/owned-build.js +77 -0
  78. package/src/lineage/owned-worker-entry.js +22 -0
  79. package/src/lineage/owned-worker.js +95 -0
  80. package/src/lineage/path-evidence.js +123 -0
  81. package/src/lineage/path-predicates.js +529 -0
  82. package/src/lineage/path-query.js +189 -20
  83. package/src/lineage/path-store.js +191 -17
  84. package/src/lineage/scc-solver.js +186 -0
  85. package/src/lineage/smt-orchestrator.js +174 -0
  86. package/src/lineage/smt-z3-backend.js +294 -0
  87. package/src/lineage/source-seeding.js +36 -2
  88. package/src/lineage/summaries.js +66 -4
  89. package/src/lineage/value-versions.js +130 -0
  90. package/src/lineage/witness-selection.js +95 -0
  91. package/src/pipeline/scan-health.js +18 -0
  92. package/src/posture/CLAUDE.md +17 -0
  93. package/src/posture/business-logic.js +16 -7
  94. package/src/posture/dag-commands.js +442 -0
  95. package/src/posture/evidence-bundle.js +1 -1
  96. package/src/posture/finding-defaults.js +19 -0
  97. package/src/posture/git-history.js +91 -1
  98. package/src/posture/witness-bundle.js +573 -0
  99. package/src/posture/witness-runtime.js +276 -0
  100. package/src/report/index.js +2 -0
  101. package/src/sast/CLAUDE.md +2 -0
  102. package/src/sast/_call-args.js +70 -0
  103. package/src/sast/init-scope.js +87 -0
  104. package/src/sast/listen-bind-address.js +49 -0
  105. package/src/sast/redirect-target.js +106 -0
  106. package/src/sast/reflected-input.js +76 -0
  107. package/src/sast/send-file-root.js +27 -0
  108. package/src/sast/sensitive-data-logging.js +38 -1
  109. package/dist/119.index.js +0 -197
  110. package/dist/128.index.js +0 -129
  111. package/dist/1293.index.js +0 -5689
  112. package/dist/1336.index.js +0 -16182
  113. package/dist/1351.index.js +0 -133
  114. package/dist/1387.index.js +0 -271
  115. package/dist/1437.index.js +0 -23
  116. package/dist/1445.index.js +0 -110
  117. package/dist/1505.index.js +0 -151
  118. package/dist/1557.index.js +0 -293
  119. package/dist/1621.index.js +0 -311
  120. package/dist/1751.index.js +0 -160
  121. package/dist/1765.index.js +0 -727
  122. package/dist/1861.index.js +0 -690
  123. package/dist/1906.index.js +0 -433
  124. package/dist/208.index.js +0 -1631
  125. package/dist/2223.index.js +0 -159
  126. package/dist/2238.index.js +0 -295
  127. package/dist/2530.index.js +0 -152
  128. package/dist/2565.index.js +0 -116
  129. package/dist/2574.index.js +0 -127
  130. package/dist/2620.index.js +0 -345
  131. package/dist/2773.index.js +0 -98
  132. package/dist/2775.index.js +0 -32
  133. package/dist/2966.index.js +0 -171
  134. package/dist/2972.index.js +0 -87
  135. package/dist/2991.index.js +0 -131
  136. package/dist/3063.index.js +0 -833
  137. package/dist/3075.index.js +0 -227
  138. package/dist/3121.index.js +0 -297
  139. package/dist/3314.index.js +0 -263
  140. package/dist/3480.index.js +0 -1822
  141. package/dist/3481.index.js +0 -24
  142. package/dist/3506.index.js +0 -268
  143. package/dist/3533.index.js +0 -591
  144. package/dist/3653.index.js +0 -450
  145. package/dist/3740.index.js +0 -722
  146. package/dist/3822.index.js +0 -131
  147. package/dist/3868.index.js +0 -292
  148. package/dist/3918.index.js +0 -192
  149. package/dist/4090.index.js +0 -288
  150. package/dist/4113.index.js +0 -1286
  151. package/dist/4121.index.js +0 -1190
  152. package/dist/4142.index.js +0 -690
  153. package/dist/4168.index.js +0 -509
  154. package/dist/4281.index.js +0 -993
  155. package/dist/4336.index.js +0 -436
  156. package/dist/4387.index.js +0 -532
  157. package/dist/4413.index.js +0 -302
  158. package/dist/4476.index.js +0 -4510
  159. package/dist/4491.index.js +0 -133
  160. package/dist/4538.index.js +0 -185
  161. package/dist/4684.index.js +0 -319
  162. package/dist/4740.index.js +0 -165
  163. package/dist/4780.index.js +0 -209
  164. package/dist/4802.index.js +0 -225
  165. package/dist/4812.index.js +0 -379
  166. package/dist/4835.index.js +0 -126
  167. package/dist/494.index.js +0 -226
  168. package/dist/4991.index.js +0 -549
  169. package/dist/5199.index.js +0 -305
  170. package/dist/5216.index.js +0 -109
  171. package/dist/5439.index.js +0 -301
  172. package/dist/5443.index.js +0 -97
  173. package/dist/5496.index.js +0 -377
  174. package/dist/5738.index.js +0 -240
  175. package/dist/5801.index.js +0 -588
  176. package/dist/5817.index.js +0 -714
  177. package/dist/5858.index.js +0 -223
  178. package/dist/5933.index.js +0 -143
  179. package/dist/601.index.js +0 -23
  180. package/dist/6173.index.js +0 -273
  181. package/dist/6291.index.js +0 -1871
  182. package/dist/6312.index.js +0 -666
  183. package/dist/634.index.js +0 -16182
  184. package/dist/644.index.js +0 -87
  185. package/dist/6508.index.js +0 -283
  186. package/dist/6560.index.js +0 -645
  187. package/dist/6576.index.js +0 -422
  188. package/dist/6579.index.js +0 -271
  189. package/dist/6655.index.js +0 -3221
  190. package/dist/6745.index.js +0 -305
  191. package/dist/6818.index.js +0 -21642
  192. package/dist/6932.index.js +0 -1190
  193. package/dist/6972.index.js +0 -167
  194. package/dist/6995.index.js +0 -163
  195. package/dist/7249.index.js +0 -191
  196. package/dist/7372.index.js +0 -1197
  197. package/dist/7546.index.js +0 -541
  198. package/dist/76.index.js +0 -448
  199. package/dist/7879.index.js +0 -163
  200. package/dist/8025.index.js +0 -130
  201. package/dist/8054.index.js +0 -248
  202. package/dist/808.index.js +0 -1330
  203. package/dist/8097.index.js +0 -201
  204. package/dist/8126.index.js +0 -191
  205. package/dist/8178.index.js +0 -78
  206. package/dist/8382.index.js +0 -93
  207. package/dist/8408.index.js +0 -261
  208. package/dist/8540.index.js +0 -174
  209. package/dist/8635.index.js +0 -802
  210. package/dist/8688.index.js +0 -410
  211. package/dist/8699.index.js +0 -779
  212. package/dist/8891.index.js +0 -457
  213. package/dist/8916.index.js +0 -885
  214. package/dist/9146.index.js +0 -170
  215. package/dist/9168.index.js +0 -841
  216. package/dist/9292.index.js +0 -369
  217. package/dist/9422.index.js +0 -866
  218. package/dist/9440.index.js +0 -453
  219. package/dist/9479.index.js +0 -152
  220. package/dist/9481.index.js +0 -220
  221. package/dist/9539.index.js +0 -100
  222. package/dist/9547.index.js +0 -103
  223. package/dist/9692.index.js +0 -90
  224. package/dist/9800.index.js +0 -462
  225. package/dist/9899.index.js +0 -138
  226. package/dist/9981.index.js +0 -206
  227. package/dist/999.index.js +0 -117
  228. package/dist/9999.index.js +0 -1698
package/dist/494.index.js DELETED
@@ -1,226 +0,0 @@
1
- export const id = 494;
2
- export const ids = [494];
3
- export const modules = {
4
-
5
- /***/ 30494:
6
- /***/ ((__unused_webpack___webpack_module__, __webpack_exports__, __webpack_require__) => {
7
-
8
- /* harmony export */ __webpack_require__.d(__webpack_exports__, {
9
- /* harmony export */ computeRunAttestation: () => (/* binding */ computeRunAttestation),
10
- /* harmony export */ verifyRunAttestation: () => (/* binding */ verifyRunAttestation)
11
- /* harmony export */ });
12
- /* unused harmony export ATTESTATION_CANONICALISATION */
13
- /* harmony import */ var node_crypto__WEBPACK_IMPORTED_MODULE_0__ = __webpack_require__(77598);
14
- /* harmony import */ var _integrity_js__WEBPACK_IMPORTED_MODULE_1__ = __webpack_require__(37455);
15
- // R4 — determinism as a contract.
16
- //
17
- // Determinism has been an implementation property of this engine (stable sorts,
18
- // no Date.now() in ids, `--deterministic`) with no way for a third party to
19
- // VERIFY it. This module turns it into something checkable: a stable digest
20
- // over the finding set, bound to the engine version, ruleset version, and
21
- // bundle hash that produced it.
22
- //
23
- // WHAT THE DIGEST IS INDEPENDENT OF (by construction):
24
- // - the ORDER findings were emitted in (entries are canonicalised, then sorted)
25
- // - run ids, timestamps, durations, and every other field not on the
26
- // identity allowlist below — canonicalisation is an ALLOWLIST, not a
27
- // denylist, so a new non-deterministic field cannot silently leak in
28
- // - path separator style, and the absolute prefix when `root` is supplied
29
- //
30
- // WHAT IT IS NOT INDEPENDENT OF (all of these are real differences):
31
- // - a changed severity, file, line, rule id, cwe, or vuln title
32
- // - a finding appearing or disappearing (including a duplicate — multiplicity
33
- // is preserved; two identical findings are not collapsed into one)
34
- // - the engine version, ruleset version, or bundle sha
35
- //
36
- // WHAT THIS PROVES, AND WHAT IT DOES NOT (read before quoting it at anyone):
37
- // PROVES — two finding sets carrying the same digest under the same
38
- // canonicalisation are the same set of findings, modulo emission order and
39
- // the excluded volatile fields; and (when signed) that the attestation was
40
- // produced on an install holding this HMAC key.
41
- // DOES NOT PROVE — cross-machine reproducibility. Nothing here demonstrates
42
- // that a different host, OS, Node version, or toolchain produces the same
43
- // finding set; several detectors are environment-sensitive (e.g. the Python
44
- // AST path is used when python3 is available and falls back to regex when it
45
- // is not, which can change what is found). Two runs on two machines agreeing
46
- // would be evidence FOR reproducibility, but that experiment has not been
47
- // run here and this module does not assert its outcome. The signature is a
48
- // symmetric per-install HMAC, so it is tamper-evidence for the operator, not
49
- // third-party non-repudiation.
50
- //
51
- // Identity fields deliberately EXCLUDE `parser` and `family`: `parser` records
52
- // which analysis engine fired, which is environment-sensitive (see the python3
53
- // case above), so including it would make the digest report an environment
54
- // difference as a findings difference. The finding's identity — where it is
55
- // and what it is — is fully captured without it.
56
- //
57
- // SIGNING: reuses `integrity.js`'s per-install HMAC key handling verbatim
58
- // (`signLastScan`, keyed from $AGENTIC_SECURITY_HMAC_KEY or the 0600 key file
59
- // at $XDG_CONFIG_HOME/agentic-security/scan-key). No second key mechanism is
60
- // introduced. `integrity.verifyLastScan` is NOT reused because it verifies a
61
- // body against a sibling `.sig` FILE; an attestation carries its signature
62
- // inline, so verification re-signs and compares in constant time here.
63
- //
64
- // NO THROWING (posture/CLAUDE.md convention): malformed input yields an empty
65
- // canonical set or an `{ok:false, reason}` refusal, never an exception.
66
-
67
-
68
-
69
-
70
- const ATTESTATION_CANONICALISATION = 'agentic-security/run-attestation-canon-v1';
71
-
72
- const PROVES =
73
- 'Two finding sets with this digest, under this canonicalisation, are the same findings ' +
74
- '(same rule id, severity, file, line, cwe, vuln, and multiplicity) produced by the same ' +
75
- 'engine version, ruleset version, and bundle — regardless of emission order.';
76
- const DOES_NOT_PROVE =
77
- 'It does not prove cross-machine reproducibility: this attestation is one run on one machine, ' +
78
- 'nothing here compares a second machine, OS, or Node version, and some detectors are ' +
79
- 'environment-sensitive. That property is tested separately by the determinism-attest / ' +
80
- 'determinism-compare CI jobs, which run the same commit on two operating systems and fail ' +
81
- 'unless the digests match — evidence about the ENGINE, not about this attestation. ' +
82
- 'A signature, when present, is a symmetric per-install HMAC — tamper-evidence for this ' +
83
- 'install, not third-party non-repudiation.';
84
-
85
- function _str(v) { return v === undefined || v === null ? '' : String(v); }
86
-
87
- // Normalise a file path: separators to '/', drop a supplied absolute root,
88
- // drop a leading './'. Everything else is left alone — guessing at a root we
89
- // were not given would make two genuinely different files collide.
90
- function _normPath(file, root) {
91
- let p = _str(file).replace(/\\/g, '/');
92
- if (root) {
93
- let r = String(root).replace(/\\/g, '/').replace(/\/+$/, '');
94
- if (r && p.startsWith(r + '/')) p = p.slice(r.length + 1);
95
- else if (r && p === r) p = '';
96
- }
97
- return p.replace(/^\.\//, '');
98
- }
99
-
100
- /**
101
- * The canonical, order-independent representation of a finding set: one
102
- * tab-joined record per finding over the identity allowlist, sorted.
103
- * Multiplicity is preserved (duplicates are NOT deduped).
104
- */
105
- function canonicaliseFindings(findings, { root } = {}) {
106
- const list = Array.isArray(findings) ? findings : [];
107
- const rows = [];
108
- for (const f of list) {
109
- if (!f || typeof f !== 'object') continue;
110
- rows.push([
111
- _str(f.id),
112
- _str(f.severity),
113
- _normPath(f.file, root),
114
- _str(f.line),
115
- _str(f.cwe),
116
- _str(f.vuln),
117
- ].join('\t'));
118
- }
119
- return rows.sort();
120
- }
121
-
122
- /**
123
- * Compute the run attestation.
124
- *
125
- * @param {object[]} findings the finding set (any order)
126
- * @param {string} engineVersion
127
- * @param {string} rulesetVersion
128
- * @param {string} bundleSha
129
- * @param {string} [root] scan root, used to relativise absolute paths
130
- * @param {boolean} [sign] attach a per-install HMAC over the digest
131
- */
132
- function computeRunAttestation({
133
- findings, engineVersion, rulesetVersion, bundleSha, root, sign = false,
134
- } = {}) {
135
- const entries = canonicaliseFindings(findings, { root });
136
- const payload = JSON.stringify({
137
- canonicalisation: ATTESTATION_CANONICALISATION,
138
- engineVersion: _str(engineVersion),
139
- rulesetVersion: _str(rulesetVersion),
140
- bundleSha: _str(bundleSha),
141
- findingCount: entries.length,
142
- entries,
143
- });
144
- const digest = node_crypto__WEBPACK_IMPORTED_MODULE_0__.createHash('sha256').update(payload).digest('hex');
145
- const att = {
146
- digest,
147
- algorithm: 'sha256',
148
- findingCount: entries.length,
149
- engineVersion: _str(engineVersion),
150
- rulesetVersion: _str(rulesetVersion),
151
- bundleSha: _str(bundleSha),
152
- canonicalisation: ATTESTATION_CANONICALISATION,
153
- proves: PROVES,
154
- doesNotProve: DOES_NOT_PROVE,
155
- };
156
- if (sign) {
157
- try {
158
- att.signature = (0,_integrity_js__WEBPACK_IMPORTED_MODULE_1__/* .signLastScan */ .lU)(digest);
159
- att.signatureScope = 'per-install-hmac';
160
- // CORE-003.AC03: say plainly who vouches. A symmetric install HMAC can be
161
- // produced by anyone who can verify it, so it is self-issued by
162
- // construction and can never be third-party certification.
163
- att.trustBasis = 'self-issued-local-key';
164
- att.independentlyCertified = false;
165
- } catch { /* signing is best-effort; an unsigned attestation is still valid */ }
166
- }
167
- return att;
168
- }
169
-
170
- /**
171
- * Re-derive the attestation from a finding set and compare.
172
- * @returns {{ok: boolean, reason: string}}
173
- */
174
- function verifyRunAttestation(attestation, inputs = {}) {
175
- if (!attestation || typeof attestation !== 'object') {
176
- return { ok: false, reason: 'no attestation supplied' };
177
- }
178
- if (attestation.canonicalisation !== ATTESTATION_CANONICALISATION) {
179
- return {
180
- ok: false,
181
- reason: `unknown canonicalisation "${_str(attestation.canonicalisation)}" — ` +
182
- `this build verifies "${ATTESTATION_CANONICALISATION}" only`,
183
- };
184
- }
185
- if (typeof attestation.digest !== 'string' || !/^[0-9a-f]{64}$/.test(attestation.digest)) {
186
- return { ok: false, reason: 'attestation carries no sha256 digest' };
187
- }
188
- for (const k of ['engineVersion', 'rulesetVersion', 'bundleSha']) {
189
- if (_str(inputs[k]) !== _str(attestation[k])) {
190
- return { ok: false, reason: `${k} mismatch: attested "${_str(attestation[k])}", got "${_str(inputs[k])}"` };
191
- }
192
- }
193
- const recomputed = computeRunAttestation({
194
- findings: inputs.findings,
195
- engineVersion: inputs.engineVersion,
196
- rulesetVersion: inputs.rulesetVersion,
197
- bundleSha: inputs.bundleSha,
198
- root: inputs.root,
199
- });
200
- if (recomputed.findingCount !== attestation.findingCount) {
201
- return {
202
- ok: false,
203
- reason: `finding count mismatch: attested ${attestation.findingCount}, got ${recomputed.findingCount}`,
204
- };
205
- }
206
- if (recomputed.digest !== attestation.digest) {
207
- return { ok: false, reason: 'digest mismatch — the finding set is not the one attested' };
208
- }
209
- if (attestation.signature) {
210
- let expected;
211
- try { expected = (0,_integrity_js__WEBPACK_IMPORTED_MODULE_1__/* .signLastScan */ .lU)(attestation.digest); }
212
- catch { return { ok: false, reason: 'signature present but no key material available to check it' }; }
213
- const a = Buffer.from(String(attestation.signature), 'hex');
214
- const b = Buffer.from(expected, 'hex');
215
- if (a.length !== b.length || !node_crypto__WEBPACK_IMPORTED_MODULE_0__.timingSafeEqual(a, b)) {
216
- return { ok: false, reason: 'signature does not verify under this install key' };
217
- }
218
- return { ok: true, reason: 'digest and per-install signature verify' };
219
- }
220
- return { ok: true, reason: 'digest verifies (unsigned attestation)' };
221
- }
222
-
223
-
224
- /***/ })
225
-
226
- };