@clear-capabilities/agentic-security-scanner 0.185.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 (167) hide show
  1. package/CHANGELOG.md +22 -0
  2. package/bin/agentic-security.js +24 -1
  3. package/dist/1128.index.js +25 -21
  4. package/dist/2584.index.js +1 -1
  5. package/dist/4171.index.js +2 -2
  6. package/dist/5752.index.js +466 -0
  7. package/dist/7405.index.js +1 -1
  8. package/dist/8158.index.js +1713 -0
  9. package/dist/8798.index.js +1 -1
  10. package/dist/9382.index.js +2 -2
  11. package/dist/9579.index.js +1 -1
  12. package/dist/agentic-security.mjs +29 -29
  13. package/dist/agentic-security.mjs.sha256 +1 -1
  14. package/dist/{0b301d45b231f144a1b4.json → ca62ee93079be4c24eee.json} +7 -7
  15. package/package.json +7 -7
  16. package/src/dataflow/CLAUDE.md +6 -3
  17. package/src/dataflow/access-paths.js +12 -2
  18. package/src/dataflow/demand-query.js +279 -40
  19. package/src/dataflow/dep-fingerprint.js +1 -1
  20. package/src/dataflow/exploit-prover.js +6 -2
  21. package/src/dataflow/ir-cache.js +268 -0
  22. package/src/dataflow/privacy-taint.js +7 -0
  23. package/src/engine.js +62 -5
  24. package/src/ir/CLAUDE.md +4 -0
  25. package/src/ir/callgraph.js +36 -8
  26. package/src/ir/index.js +18 -4
  27. package/src/ir/parser-js.js +10 -0
  28. package/src/language/CLAUDE.md +13 -0
  29. package/src/language/nix-option-types.js +170 -0
  30. package/src/language/nix-script-taint.js +46 -3
  31. package/src/language/nix-secrets.js +20 -2
  32. package/src/lineage/CLAUDE.md +2 -1
  33. package/src/lineage/smt-orchestrator.js +47 -11
  34. package/src/lineage/smt-z3-backend.js +294 -0
  35. package/src/posture/CLAUDE.md +5 -1
  36. package/src/posture/business-logic.js +16 -7
  37. package/src/posture/dag-commands.js +442 -0
  38. package/src/posture/finding-defaults.js +19 -0
  39. package/src/posture/git-history.js +91 -1
  40. package/src/sast/CLAUDE.md +2 -0
  41. package/src/sast/_call-args.js +70 -0
  42. package/src/sast/init-scope.js +87 -0
  43. package/src/sast/listen-bind-address.js +49 -0
  44. package/src/sast/redirect-target.js +106 -0
  45. package/src/sast/reflected-input.js +76 -0
  46. package/src/sast/send-file-root.js +27 -0
  47. package/src/sast/sensitive-data-logging.js +38 -1
  48. package/dist/119.index.js +0 -197
  49. package/dist/128.index.js +0 -129
  50. package/dist/1293.index.js +0 -5689
  51. package/dist/1336.index.js +0 -16331
  52. package/dist/1351.index.js +0 -133
  53. package/dist/1387.index.js +0 -271
  54. package/dist/1437.index.js +0 -23
  55. package/dist/1445.index.js +0 -110
  56. package/dist/1505.index.js +0 -151
  57. package/dist/1557.index.js +0 -293
  58. package/dist/1621.index.js +0 -311
  59. package/dist/1751.index.js +0 -160
  60. package/dist/1765.index.js +0 -727
  61. package/dist/1861.index.js +0 -690
  62. package/dist/1906.index.js +0 -433
  63. package/dist/208.index.js +0 -1631
  64. package/dist/2223.index.js +0 -159
  65. package/dist/2238.index.js +0 -295
  66. package/dist/2530.index.js +0 -152
  67. package/dist/2565.index.js +0 -116
  68. package/dist/2574.index.js +0 -127
  69. package/dist/2620.index.js +0 -345
  70. package/dist/2773.index.js +0 -98
  71. package/dist/2775.index.js +0 -32
  72. package/dist/2966.index.js +0 -171
  73. package/dist/2972.index.js +0 -87
  74. package/dist/2991.index.js +0 -131
  75. package/dist/3063.index.js +0 -833
  76. package/dist/3075.index.js +0 -227
  77. package/dist/3121.index.js +0 -297
  78. package/dist/3314.index.js +0 -263
  79. package/dist/3480.index.js +0 -1822
  80. package/dist/3481.index.js +0 -24
  81. package/dist/3506.index.js +0 -268
  82. package/dist/3533.index.js +0 -591
  83. package/dist/3653.index.js +0 -450
  84. package/dist/3740.index.js +0 -722
  85. package/dist/3822.index.js +0 -131
  86. package/dist/3868.index.js +0 -292
  87. package/dist/3918.index.js +0 -192
  88. package/dist/4090.index.js +0 -288
  89. package/dist/4113.index.js +0 -1286
  90. package/dist/4121.index.js +0 -1190
  91. package/dist/4142.index.js +0 -690
  92. package/dist/4168.index.js +0 -509
  93. package/dist/4281.index.js +0 -993
  94. package/dist/4336.index.js +0 -436
  95. package/dist/4387.index.js +0 -532
  96. package/dist/4413.index.js +0 -302
  97. package/dist/4476.index.js +0 -4510
  98. package/dist/4491.index.js +0 -133
  99. package/dist/4538.index.js +0 -185
  100. package/dist/4684.index.js +0 -319
  101. package/dist/4740.index.js +0 -165
  102. package/dist/4780.index.js +0 -209
  103. package/dist/4802.index.js +0 -225
  104. package/dist/4812.index.js +0 -379
  105. package/dist/4835.index.js +0 -126
  106. package/dist/494.index.js +0 -226
  107. package/dist/4991.index.js +0 -549
  108. package/dist/5199.index.js +0 -305
  109. package/dist/5216.index.js +0 -109
  110. package/dist/5439.index.js +0 -301
  111. package/dist/5443.index.js +0 -97
  112. package/dist/5496.index.js +0 -377
  113. package/dist/5738.index.js +0 -240
  114. package/dist/5801.index.js +0 -588
  115. package/dist/5817.index.js +0 -714
  116. package/dist/5858.index.js +0 -223
  117. package/dist/5933.index.js +0 -143
  118. package/dist/601.index.js +0 -23
  119. package/dist/6173.index.js +0 -273
  120. package/dist/6291.index.js +0 -1871
  121. package/dist/6312.index.js +0 -666
  122. package/dist/634.index.js +0 -16182
  123. package/dist/644.index.js +0 -87
  124. package/dist/6508.index.js +0 -283
  125. package/dist/6560.index.js +0 -645
  126. package/dist/6576.index.js +0 -422
  127. package/dist/6579.index.js +0 -271
  128. package/dist/6655.index.js +0 -3221
  129. package/dist/6745.index.js +0 -305
  130. package/dist/6818.index.js +0 -21642
  131. package/dist/6932.index.js +0 -1190
  132. package/dist/6972.index.js +0 -167
  133. package/dist/6995.index.js +0 -163
  134. package/dist/7249.index.js +0 -191
  135. package/dist/7372.index.js +0 -1197
  136. package/dist/7546.index.js +0 -541
  137. package/dist/76.index.js +0 -448
  138. package/dist/7879.index.js +0 -163
  139. package/dist/8025.index.js +0 -130
  140. package/dist/8054.index.js +0 -248
  141. package/dist/808.index.js +0 -1330
  142. package/dist/8097.index.js +0 -201
  143. package/dist/8126.index.js +0 -191
  144. package/dist/8178.index.js +0 -78
  145. package/dist/8382.index.js +0 -93
  146. package/dist/8408.index.js +0 -261
  147. package/dist/8540.index.js +0 -174
  148. package/dist/8635.index.js +0 -802
  149. package/dist/8688.index.js +0 -410
  150. package/dist/8699.index.js +0 -779
  151. package/dist/8891.index.js +0 -457
  152. package/dist/8916.index.js +0 -885
  153. package/dist/9146.index.js +0 -170
  154. package/dist/9168.index.js +0 -841
  155. package/dist/9292.index.js +0 -369
  156. package/dist/9422.index.js +0 -866
  157. package/dist/9440.index.js +0 -453
  158. package/dist/9479.index.js +0 -152
  159. package/dist/9481.index.js +0 -220
  160. package/dist/9539.index.js +0 -100
  161. package/dist/9547.index.js +0 -103
  162. package/dist/9692.index.js +0 -90
  163. package/dist/9800.index.js +0 -462
  164. package/dist/9899.index.js +0 -138
  165. package/dist/9981.index.js +0 -206
  166. package/dist/999.index.js +0 -117
  167. 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
- };