circle-ir 4.16.1 → 4.18.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 (295) hide show
  1. package/dist/analysis/advisories.d.ts +186 -0
  2. package/dist/analysis/advisories.d.ts.map +1 -0
  3. package/dist/analysis/advisories.js +391 -0
  4. package/dist/analysis/advisories.js.map +1 -0
  5. package/dist/analysis/comment-lines.d.ts +14 -0
  6. package/dist/analysis/comment-lines.d.ts.map +1 -0
  7. package/dist/analysis/comment-lines.js +34 -0
  8. package/dist/analysis/comment-lines.js.map +1 -0
  9. package/dist/analysis/config-loader.d.ts.map +1 -1
  10. package/dist/analysis/config-loader.js +59 -5
  11. package/dist/analysis/config-loader.js.map +1 -1
  12. package/dist/analysis/constant-caller-gate.d.ts +2 -2
  13. package/dist/analysis/constant-caller-gate.d.ts.map +1 -1
  14. package/dist/analysis/constant-caller-gate.js +205 -29
  15. package/dist/analysis/constant-caller-gate.js.map +1 -1
  16. package/dist/analysis/constant-propagation/index.d.ts +2 -0
  17. package/dist/analysis/constant-propagation/index.d.ts.map +1 -1
  18. package/dist/analysis/constant-propagation/index.js +10 -0
  19. package/dist/analysis/constant-propagation/index.js.map +1 -1
  20. package/dist/analysis/constant-propagation/propagator.d.ts +15 -0
  21. package/dist/analysis/constant-propagation/propagator.d.ts.map +1 -1
  22. package/dist/analysis/constant-propagation/propagator.js +224 -20
  23. package/dist/analysis/constant-propagation/propagator.js.map +1 -1
  24. package/dist/analysis/constant-propagation/types.d.ts +2 -0
  25. package/dist/analysis/constant-propagation/types.d.ts.map +1 -1
  26. package/dist/analysis/constant-propagation.d.ts +1 -1
  27. package/dist/analysis/constant-propagation.d.ts.map +1 -1
  28. package/dist/analysis/constant-propagation.js +1 -1
  29. package/dist/analysis/constant-propagation.js.map +1 -1
  30. package/dist/analysis/entry-point-detection.d.ts.map +1 -1
  31. package/dist/analysis/entry-point-detection.js +72 -0
  32. package/dist/analysis/entry-point-detection.js.map +1 -1
  33. package/dist/analysis/interprocedural.d.ts.map +1 -1
  34. package/dist/analysis/interprocedural.js +75 -8
  35. package/dist/analysis/interprocedural.js.map +1 -1
  36. package/dist/analysis/maven-declared.d.ts +72 -0
  37. package/dist/analysis/maven-declared.d.ts.map +1 -0
  38. package/dist/analysis/maven-declared.js +216 -0
  39. package/dist/analysis/maven-declared.js.map +1 -0
  40. package/dist/analysis/maven-version.d.ts +28 -0
  41. package/dist/analysis/maven-version.d.ts.map +1 -0
  42. package/dist/analysis/maven-version.js +172 -0
  43. package/dist/analysis/maven-version.js.map +1 -0
  44. package/dist/analysis/passes/constant-propagation-pass.d.ts.map +1 -1
  45. package/dist/analysis/passes/constant-propagation-pass.js +29 -1
  46. package/dist/analysis/passes/constant-propagation-pass.js.map +1 -1
  47. package/dist/analysis/passes/cross-file-pass.d.ts.map +1 -1
  48. package/dist/analysis/passes/cross-file-pass.js +84 -2
  49. package/dist/analysis/passes/cross-file-pass.js.map +1 -1
  50. package/dist/analysis/passes/csharp-sanitizer-credit.d.ts +7 -0
  51. package/dist/analysis/passes/csharp-sanitizer-credit.d.ts.map +1 -1
  52. package/dist/analysis/passes/csharp-sanitizer-credit.js +44 -1
  53. package/dist/analysis/passes/csharp-sanitizer-credit.js.map +1 -1
  54. package/dist/analysis/passes/insecure-cookie-pass.d.ts +2 -0
  55. package/dist/analysis/passes/insecure-cookie-pass.d.ts.map +1 -1
  56. package/dist/analysis/passes/insecure-cookie-pass.js +25 -3
  57. package/dist/analysis/passes/insecure-cookie-pass.js.map +1 -1
  58. package/dist/analysis/passes/interprocedural-pass.d.ts +11 -14
  59. package/dist/analysis/passes/interprocedural-pass.d.ts.map +1 -1
  60. package/dist/analysis/passes/interprocedural-pass.js +562 -0
  61. package/dist/analysis/passes/interprocedural-pass.js.map +1 -1
  62. package/dist/analysis/passes/language-sources-pass.d.ts +18 -1
  63. package/dist/analysis/passes/language-sources-pass.d.ts.map +1 -1
  64. package/dist/analysis/passes/language-sources-pass.js +1079 -14
  65. package/dist/analysis/passes/language-sources-pass.js.map +1 -1
  66. package/dist/analysis/passes/param-source-flow-gate-pass.d.ts.map +1 -1
  67. package/dist/analysis/passes/param-source-flow-gate-pass.js +82 -3
  68. package/dist/analysis/passes/param-source-flow-gate-pass.js.map +1 -1
  69. package/dist/analysis/passes/sink-filter-pass.d.ts +44 -2
  70. package/dist/analysis/passes/sink-filter-pass.d.ts.map +1 -1
  71. package/dist/analysis/passes/sink-filter-pass.js +690 -12
  72. package/dist/analysis/passes/sink-filter-pass.js.map +1 -1
  73. package/dist/analysis/passes/taint-propagation-pass.d.ts.map +1 -1
  74. package/dist/analysis/passes/taint-propagation-pass.js +298 -19
  75. package/dist/analysis/passes/taint-propagation-pass.js.map +1 -1
  76. package/dist/analysis/passes/tls-verify-disabled-pass.d.ts +18 -0
  77. package/dist/analysis/passes/tls-verify-disabled-pass.d.ts.map +1 -1
  78. package/dist/analysis/passes/tls-verify-disabled-pass.js +161 -0
  79. package/dist/analysis/passes/tls-verify-disabled-pass.js.map +1 -1
  80. package/dist/analysis/passes/weak-random-pass.d.ts +6 -0
  81. package/dist/analysis/passes/weak-random-pass.d.ts.map +1 -1
  82. package/dist/analysis/passes/weak-random-pass.js +29 -0
  83. package/dist/analysis/passes/weak-random-pass.js.map +1 -1
  84. package/dist/analysis/promote-cross-file-flows.d.ts +17 -0
  85. package/dist/analysis/promote-cross-file-flows.d.ts.map +1 -0
  86. package/dist/analysis/promote-cross-file-flows.js +32 -0
  87. package/dist/analysis/promote-cross-file-flows.js.map +1 -0
  88. package/dist/analysis/rust-literal-guard.d.ts.map +1 -1
  89. package/dist/analysis/rust-literal-guard.js +100 -1
  90. package/dist/analysis/rust-literal-guard.js.map +1 -1
  91. package/dist/analysis/sbom.d.ts +100 -0
  92. package/dist/analysis/sbom.d.ts.map +1 -1
  93. package/dist/analysis/sbom.js +514 -3
  94. package/dist/analysis/sbom.js.map +1 -1
  95. package/dist/analysis/semver-version.d.ts +30 -0
  96. package/dist/analysis/semver-version.d.ts.map +1 -0
  97. package/dist/analysis/semver-version.js +76 -0
  98. package/dist/analysis/semver-version.js.map +1 -0
  99. package/dist/analysis/taint-matcher.d.ts +5 -0
  100. package/dist/analysis/taint-matcher.d.ts.map +1 -1
  101. package/dist/analysis/taint-matcher.js +226 -4
  102. package/dist/analysis/taint-matcher.js.map +1 -1
  103. package/dist/analyzer.d.ts +57 -0
  104. package/dist/analyzer.d.ts.map +1 -1
  105. package/dist/analyzer.js +69 -6
  106. package/dist/analyzer.js.map +1 -1
  107. package/dist/browser/circle-ir.js +3360 -314
  108. package/dist/core/circle-ir-core.cjs +783 -220
  109. package/dist/core/circle-ir-core.js +783 -220
  110. package/dist/core/extractors/dfg.js +205 -2
  111. package/dist/core/extractors/dfg.js.map +1 -1
  112. package/dist/core/extractors/ts-declaration-detail.d.ts +39 -0
  113. package/dist/core/extractors/ts-declaration-detail.d.ts.map +1 -0
  114. package/dist/core/extractors/ts-declaration-detail.js +266 -0
  115. package/dist/core/extractors/ts-declaration-detail.js.map +1 -0
  116. package/dist/core/extractors/types.js +53 -9
  117. package/dist/core/extractors/types.js.map +1 -1
  118. package/dist/graph/analysis-pass.d.ts +4 -1
  119. package/dist/graph/analysis-pass.d.ts.map +1 -1
  120. package/dist/graph/analysis-pass.js +4 -1
  121. package/dist/graph/analysis-pass.js.map +1 -1
  122. package/dist/graph-facts/dead-code.d.ts +62 -0
  123. package/dist/graph-facts/dead-code.d.ts.map +1 -0
  124. package/dist/graph-facts/dead-code.js +90 -0
  125. package/dist/graph-facts/dead-code.js.map +1 -0
  126. package/dist/graph-facts/dependency-calls.d.ts +86 -0
  127. package/dist/graph-facts/dependency-calls.d.ts.map +1 -0
  128. package/dist/graph-facts/dependency-calls.js +93 -0
  129. package/dist/graph-facts/dependency-calls.js.map +1 -0
  130. package/dist/graph-facts/index.d.ts +10 -0
  131. package/dist/graph-facts/index.d.ts.map +1 -0
  132. package/dist/graph-facts/index.js +10 -0
  133. package/dist/graph-facts/index.js.map +1 -0
  134. package/dist/graph-facts/maven-packages.d.ts +42 -0
  135. package/dist/graph-facts/maven-packages.d.ts.map +1 -0
  136. package/dist/graph-facts/maven-packages.js +133 -0
  137. package/dist/graph-facts/maven-packages.js.map +1 -0
  138. package/dist/graph-facts/reach.d.ts +203 -0
  139. package/dist/graph-facts/reach.d.ts.map +1 -0
  140. package/dist/graph-facts/reach.js +219 -0
  141. package/dist/graph-facts/reach.js.map +1 -0
  142. package/dist/graph-facts/removal-reach.d.ts +73 -0
  143. package/dist/graph-facts/removal-reach.d.ts.map +1 -0
  144. package/dist/graph-facts/removal-reach.js +64 -0
  145. package/dist/graph-facts/removal-reach.js.map +1 -0
  146. package/dist/index.d.ts +21 -6
  147. package/dist/index.d.ts.map +1 -1
  148. package/dist/index.js +20 -3
  149. package/dist/index.js.map +1 -1
  150. package/dist/navigation/go-graph.d.ts +68 -0
  151. package/dist/navigation/go-graph.d.ts.map +1 -0
  152. package/dist/navigation/go-graph.js +753 -0
  153. package/dist/navigation/go-graph.js.map +1 -0
  154. package/dist/navigation/index.d.ts +7 -1
  155. package/dist/navigation/index.d.ts.map +1 -1
  156. package/dist/navigation/index.js +6 -0
  157. package/dist/navigation/index.js.map +1 -1
  158. package/dist/navigation/java-entry-tables.d.ts +43 -0
  159. package/dist/navigation/java-entry-tables.d.ts.map +1 -0
  160. package/dist/navigation/java-entry-tables.js +56 -0
  161. package/dist/navigation/java-entry-tables.js.map +1 -0
  162. package/dist/navigation/java-graph.d.ts +64 -0
  163. package/dist/navigation/java-graph.d.ts.map +1 -0
  164. package/dist/navigation/java-graph.js +466 -0
  165. package/dist/navigation/java-graph.js.map +1 -0
  166. package/dist/navigation/navigation-index.d.ts +91 -2
  167. package/dist/navigation/navigation-index.d.ts.map +1 -1
  168. package/dist/navigation/navigation-index.js +372 -45
  169. package/dist/navigation/navigation-index.js.map +1 -1
  170. package/dist/navigation/python-graph.d.ts +73 -0
  171. package/dist/navigation/python-graph.d.ts.map +1 -0
  172. package/dist/navigation/python-graph.js +867 -0
  173. package/dist/navigation/python-graph.js.map +1 -0
  174. package/dist/navigation/ts-call-edges.d.ts +193 -0
  175. package/dist/navigation/ts-call-edges.d.ts.map +1 -0
  176. package/dist/navigation/ts-call-edges.js +2089 -0
  177. package/dist/navigation/ts-call-edges.js.map +1 -0
  178. package/dist/navigation/ts-entry-tables.d.ts +88 -0
  179. package/dist/navigation/ts-entry-tables.d.ts.map +1 -0
  180. package/dist/navigation/ts-entry-tables.js +50 -0
  181. package/dist/navigation/ts-entry-tables.js.map +1 -0
  182. package/dist/path-set/branches.d.ts +52 -0
  183. package/dist/path-set/branches.d.ts.map +1 -0
  184. package/dist/path-set/branches.js +124 -0
  185. package/dist/path-set/branches.js.map +1 -0
  186. package/dist/path-set/finding-diff.d.ts +63 -0
  187. package/dist/path-set/finding-diff.d.ts.map +1 -0
  188. package/dist/path-set/finding-diff.js +150 -0
  189. package/dist/path-set/finding-diff.js.map +1 -0
  190. package/dist/path-set/index.d.ts +18 -0
  191. package/dist/path-set/index.d.ts.map +1 -0
  192. package/dist/path-set/index.js +12 -0
  193. package/dist/path-set/index.js.map +1 -0
  194. package/dist/path-set/line-diff.d.ts +19 -0
  195. package/dist/path-set/line-diff.d.ts.map +1 -0
  196. package/dist/path-set/line-diff.js +98 -0
  197. package/dist/path-set/line-diff.js.map +1 -0
  198. package/dist/path-set/path-set.d.ts +88 -0
  199. package/dist/path-set/path-set.d.ts.map +1 -0
  200. package/dist/path-set/path-set.js +716 -0
  201. package/dist/path-set/path-set.js.map +1 -0
  202. package/dist/path-set/templates.d.ts +42 -0
  203. package/dist/path-set/templates.d.ts.map +1 -0
  204. package/dist/path-set/templates.js +119 -0
  205. package/dist/path-set/templates.js.map +1 -0
  206. package/dist/path-set/types.d.ts +195 -0
  207. package/dist/path-set/types.d.ts.map +1 -0
  208. package/dist/path-set/types.js +8 -0
  209. package/dist/path-set/types.js.map +1 -0
  210. package/dist/remedy-class/index.d.ts +12 -0
  211. package/dist/remedy-class/index.d.ts.map +1 -0
  212. package/dist/remedy-class/index.js +9 -0
  213. package/dist/remedy-class/index.js.map +1 -0
  214. package/dist/remedy-class/match.d.ts +165 -0
  215. package/dist/remedy-class/match.d.ts.map +1 -0
  216. package/dist/remedy-class/match.js +705 -0
  217. package/dist/remedy-class/match.js.map +1 -0
  218. package/dist/remedy-class/output-context.d.ts +25 -0
  219. package/dist/remedy-class/output-context.d.ts.map +1 -0
  220. package/dist/remedy-class/output-context.js +150 -0
  221. package/dist/remedy-class/output-context.js.map +1 -0
  222. package/dist/remedy-class/sha256.d.ts +18 -0
  223. package/dist/remedy-class/sha256.d.ts.map +1 -0
  224. package/dist/remedy-class/sha256.js +89 -0
  225. package/dist/remedy-class/sha256.js.map +1 -0
  226. package/dist/remedy-class/table.d.ts +130 -0
  227. package/dist/remedy-class/table.d.ts.map +1 -0
  228. package/dist/remedy-class/table.js +457 -0
  229. package/dist/remedy-class/table.js.map +1 -0
  230. package/dist/resolution/cross-file.d.ts +18 -0
  231. package/dist/resolution/cross-file.d.ts.map +1 -1
  232. package/dist/resolution/cross-file.js +194 -5
  233. package/dist/resolution/cross-file.js.map +1 -1
  234. package/dist/stable-ids/builder.d.ts +20 -0
  235. package/dist/stable-ids/builder.d.ts.map +1 -0
  236. package/dist/stable-ids/builder.js +65 -0
  237. package/dist/stable-ids/builder.js.map +1 -0
  238. package/dist/stable-ids/diff.d.ts +18 -0
  239. package/dist/stable-ids/diff.d.ts.map +1 -0
  240. package/dist/stable-ids/diff.js +37 -0
  241. package/dist/stable-ids/diff.js.map +1 -0
  242. package/dist/stable-ids/go.d.ts +28 -0
  243. package/dist/stable-ids/go.d.ts.map +1 -0
  244. package/dist/stable-ids/go.js +160 -0
  245. package/dist/stable-ids/go.js.map +1 -0
  246. package/dist/stable-ids/hash.d.ts +22 -0
  247. package/dist/stable-ids/hash.d.ts.map +1 -0
  248. package/dist/stable-ids/hash.js +167 -0
  249. package/dist/stable-ids/hash.js.map +1 -0
  250. package/dist/stable-ids/index.d.ts +30 -0
  251. package/dist/stable-ids/index.d.ts.map +1 -0
  252. package/dist/stable-ids/index.js +59 -0
  253. package/dist/stable-ids/index.js.map +1 -0
  254. package/dist/stable-ids/java.d.ts +28 -0
  255. package/dist/stable-ids/java.d.ts.map +1 -0
  256. package/dist/stable-ids/java.js +224 -0
  257. package/dist/stable-ids/java.js.map +1 -0
  258. package/dist/stable-ids/moves.d.ts +87 -0
  259. package/dist/stable-ids/moves.d.ts.map +1 -0
  260. package/dist/stable-ids/moves.js +222 -0
  261. package/dist/stable-ids/moves.js.map +1 -0
  262. package/dist/stable-ids/nodes.d.ts +32 -0
  263. package/dist/stable-ids/nodes.d.ts.map +1 -0
  264. package/dist/stable-ids/nodes.js +92 -0
  265. package/dist/stable-ids/nodes.js.map +1 -0
  266. package/dist/stable-ids/normalize.d.ts +35 -0
  267. package/dist/stable-ids/normalize.d.ts.map +1 -0
  268. package/dist/stable-ids/normalize.js +174 -0
  269. package/dist/stable-ids/normalize.js.map +1 -0
  270. package/dist/stable-ids/parse-errors.d.ts +24 -0
  271. package/dist/stable-ids/parse-errors.d.ts.map +1 -0
  272. package/dist/stable-ids/parse-errors.js +46 -0
  273. package/dist/stable-ids/parse-errors.js.map +1 -0
  274. package/dist/stable-ids/python.d.ts +27 -0
  275. package/dist/stable-ids/python.d.ts.map +1 -0
  276. package/dist/stable-ids/python.js +212 -0
  277. package/dist/stable-ids/python.js.map +1 -0
  278. package/dist/stable-ids/ts-parse-errors.d.ts +27 -0
  279. package/dist/stable-ids/ts-parse-errors.d.ts.map +1 -0
  280. package/dist/stable-ids/ts-parse-errors.js +75 -0
  281. package/dist/stable-ids/ts-parse-errors.js.map +1 -0
  282. package/dist/stable-ids/types.d.ts +106 -0
  283. package/dist/stable-ids/types.d.ts.map +1 -0
  284. package/dist/stable-ids/types.js +16 -0
  285. package/dist/stable-ids/types.js.map +1 -0
  286. package/dist/stable-ids/typescript.d.ts +30 -0
  287. package/dist/stable-ids/typescript.d.ts.map +1 -0
  288. package/dist/stable-ids/typescript.js +362 -0
  289. package/dist/stable-ids/typescript.js.map +1 -0
  290. package/dist/types/config.d.ts +9 -0
  291. package/dist/types/config.d.ts.map +1 -1
  292. package/dist/types/index.d.ts +53 -0
  293. package/dist/types/index.d.ts.map +1 -1
  294. package/dist/types/index.js.map +1 -1
  295. package/package.json +3 -3
@@ -0,0 +1,457 @@
1
+ /**
2
+ * Reader for `safe-construct-table@0.1`: a caller-supplied table that, for one
3
+ * weakness class (CWE) in one language, lists the sink APIs of the class and
4
+ * the constructs a fix may use at those sinks (`safe` or `weak` rows), each
5
+ * with a `match` written in a small step vocabulary.
6
+ *
7
+ * The library ships no such table: it is an input. This module only parses
8
+ * and validates one, and computes its digest. It never decides whether a
9
+ * construct is adequate — a later matcher reports which row a sink matched,
10
+ * and the caller decides.
11
+ *
12
+ * The reader is the schema pin. A table with any unknown key, a different
13
+ * `format`, a bad enum value the matcher depends on, or a dangling reference
14
+ * is **refused whole**, with every problem listed; no row is ever skipped.
15
+ * Labels the matcher does not interpret (`remedy-class`, `context`,
16
+ * `check-set`, `language`, `settles`, citation text) are passed through, so a
17
+ * new label needs no library release; a new match key does.
18
+ *
19
+ * Pure: strings and bytes in, values out. Browser and Node compatible.
20
+ */
21
+ import { parseAllDocuments } from 'yaml';
22
+ import { sha256Digest } from './sha256.js';
23
+ export const SAFE_CONSTRUCT_TABLE_FORMAT = 'safe-construct-table@0.1';
24
+ // ---------------------------------------------------------------------------
25
+ // Accepted keys and values
26
+ // ---------------------------------------------------------------------------
27
+ const TOP_KEYS = ['format', 'check-set', 'cwe', 'cwe-list-version', 'language', 'version', 'settles', 'sources', 'sinks', 'constructs'];
28
+ const SOURCE_KEYS = ['kind', 'publisher', 'title', 'url', 'fetched', 'quote', 'via'];
29
+ const SOURCE_REQUIRED = ['kind', 'publisher', 'title', 'url', 'fetched', 'quote'];
30
+ const SINK_KEYS = ['id', 'call', 'template', 'note'];
31
+ const CALL_KEYS = ['type', 'methods', 'arg', 'ctor', 'static', 'receiver-from'];
32
+ const TEMPLATE_KEYS = ['engine', 'construct', 'attribute', 'value'];
33
+ const ROW_KEYS = ['id', 'class', 'remedy-class', 'applies-to', 'context', 'match', 'level', 'basis', 'sources', 'residual', 'note', 'retired'];
34
+ const ROW_REQUIRED = ['id', 'class', 'remedy-class', 'applies-to', 'match', 'level', 'basis', 'sources'];
35
+ const STEP_KEYS = ['call', 'arg-is', 'arg-literal-in', 'role', 'on', 'order', 'name', 'template', 'sink-removed', 'missing', 'any', 'all'];
36
+ const ARG_IS = ['untainted', 'tainted', 'from-allowlist'];
37
+ const ROLES = ['sink-replacement', 'binder', 'sanitizer', 'guard', 'normalizer'];
38
+ const CLASSES = ['safe', 'weak'];
39
+ const LEVELS = ['SHOULD', 'MUST'];
40
+ const BASES = ['cited', 'own'];
41
+ function isMap(v) {
42
+ return typeof v === 'object' && v !== null && !Array.isArray(v);
43
+ }
44
+ function isNonEmptyString(v) {
45
+ return typeof v === 'string' && v.length > 0;
46
+ }
47
+ function isStringList(v) {
48
+ return Array.isArray(v) && v.every(x => typeof x === 'string');
49
+ }
50
+ /** Collects problems while walking one table. */
51
+ class Checker {
52
+ problems = [];
53
+ add(path, code, message) {
54
+ this.problems.push({ path, code, message });
55
+ }
56
+ /** Reports unknown keys and missing required keys; returns whether the value is a map. */
57
+ keys(v, path, allowed, required = []) {
58
+ if (!isMap(v)) {
59
+ this.add(path, 'bad-value', 'expected a mapping');
60
+ return false;
61
+ }
62
+ for (const k of Object.keys(v)) {
63
+ if (!allowed.includes(k))
64
+ this.add(`${path}/${k}`, 'unknown-key', `unknown key "${k}"`);
65
+ }
66
+ for (const k of required) {
67
+ if (v[k] === undefined)
68
+ this.add(`${path}/${k}`, 'missing-key', `missing key "${k}"`);
69
+ }
70
+ return true;
71
+ }
72
+ string(v, path) {
73
+ if (v === undefined)
74
+ return undefined;
75
+ if (!isNonEmptyString(v)) {
76
+ this.add(path, 'bad-value', 'expected a non-empty string');
77
+ return undefined;
78
+ }
79
+ return v;
80
+ }
81
+ oneOf(v, path, allowed) {
82
+ if (v === undefined)
83
+ return undefined;
84
+ if (typeof v !== 'string' || !allowed.includes(v)) {
85
+ this.add(path, 'bad-value', `expected one of ${allowed.join(', ')}; got ${JSON.stringify(v)}`);
86
+ return undefined;
87
+ }
88
+ return v;
89
+ }
90
+ bool(v, path) {
91
+ if (v === undefined)
92
+ return undefined;
93
+ if (typeof v !== 'boolean') {
94
+ this.add(path, 'bad-value', 'expected true or false');
95
+ return undefined;
96
+ }
97
+ return v;
98
+ }
99
+ stringList(v, path) {
100
+ if (v === undefined)
101
+ return undefined;
102
+ if (!isStringList(v)) {
103
+ this.add(path, 'bad-value', 'expected a list of strings');
104
+ return undefined;
105
+ }
106
+ return v;
107
+ }
108
+ call(v, path) {
109
+ if (!this.keys(v, path, CALL_KEYS, ['type', 'methods']))
110
+ return undefined;
111
+ const type = this.string(v.type, `${path}/type`);
112
+ const methods = this.stringList(v.methods, `${path}/methods`);
113
+ let arg;
114
+ if (v.arg !== undefined) {
115
+ if (v.arg === 'all' || (typeof v.arg === 'number' && Number.isInteger(v.arg) && v.arg >= 0)) {
116
+ arg = v.arg;
117
+ }
118
+ else {
119
+ this.add(`${path}/arg`, 'bad-value', 'expected a 0-based index or "all"');
120
+ }
121
+ }
122
+ const ctor = this.bool(v.ctor, `${path}/ctor`);
123
+ const isStatic = this.bool(v.static, `${path}/static`);
124
+ const receiverFrom = this.string(v['receiver-from'], `${path}/receiver-from`);
125
+ if (type === undefined || methods === undefined)
126
+ return undefined;
127
+ const call = { type, methods };
128
+ if (arg !== undefined)
129
+ call.arg = arg;
130
+ if (ctor !== undefined)
131
+ call.ctor = ctor;
132
+ if (isStatic !== undefined)
133
+ call.static = isStatic;
134
+ if (receiverFrom !== undefined)
135
+ call.receiverFrom = receiverFrom;
136
+ return call;
137
+ }
138
+ template(v, path) {
139
+ if (!this.keys(v, path, TEMPLATE_KEYS, ['engine', 'construct']))
140
+ return undefined;
141
+ const engine = this.string(v.engine, `${path}/engine`);
142
+ const construct = this.string(v.construct, `${path}/construct`);
143
+ const attribute = this.string(v.attribute, `${path}/attribute`);
144
+ let value;
145
+ if (v.value !== undefined) {
146
+ if (typeof v.value === 'string')
147
+ value = [v.value];
148
+ else
149
+ value = this.stringList(v.value, `${path}/value`);
150
+ }
151
+ if (engine === undefined || construct === undefined)
152
+ return undefined;
153
+ const t = { engine, construct };
154
+ if (attribute !== undefined)
155
+ t.attribute = attribute;
156
+ if (value !== undefined)
157
+ t.value = value;
158
+ return t;
159
+ }
160
+ step(v, path, names) {
161
+ if (!this.keys(v, path, STEP_KEYS))
162
+ return undefined;
163
+ if (Object.keys(v).length === 0) {
164
+ this.add(path, 'bad-value', 'a step needs at least one key');
165
+ return undefined;
166
+ }
167
+ const step = {};
168
+ if (v.call !== undefined)
169
+ step.call = this.call(v.call, `${path}/call`);
170
+ const argIs = this.oneOf(v['arg-is'], `${path}/arg-is`, ARG_IS);
171
+ if (argIs !== undefined)
172
+ step.argIs = argIs;
173
+ const literals = this.stringList(v['arg-literal-in'], `${path}/arg-literal-in`);
174
+ if (literals !== undefined)
175
+ step.argLiteralIn = literals;
176
+ const role = this.oneOf(v.role, `${path}/role`, ROLES);
177
+ if (role !== undefined)
178
+ step.role = role;
179
+ const on = this.bool(v.on, `${path}/on`);
180
+ if (on !== undefined)
181
+ step.on = on;
182
+ if (v.name !== undefined) {
183
+ const name = this.string(v.name, `${path}/name`);
184
+ if (name !== undefined) {
185
+ if (names.has(name))
186
+ this.add(`${path}/name`, 'duplicate-id', `step name "${name}" already used at ${names.get(name)}`);
187
+ else
188
+ names.set(name, path);
189
+ step.name = name;
190
+ }
191
+ }
192
+ if (v.order !== undefined) {
193
+ if (Array.isArray(v.order) && v.order.length === 2 && v.order.every(isNonEmptyString)) {
194
+ step.order = [v.order[0], v.order[1]];
195
+ }
196
+ else {
197
+ this.add(`${path}/order`, 'bad-value', 'expected [a, b], two step names');
198
+ }
199
+ }
200
+ if (v.template !== undefined)
201
+ step.template = this.template(v.template, `${path}/template`);
202
+ if (v['sink-removed'] !== undefined) {
203
+ if (v['sink-removed'] === true)
204
+ step.sinkRemoved = true;
205
+ else
206
+ this.add(`${path}/sink-removed`, 'bad-value', 'sink-removed can only be true');
207
+ }
208
+ if (v.missing !== undefined)
209
+ step.missing = this.step(v.missing, `${path}/missing`, names);
210
+ for (const q of ['any', 'all']) {
211
+ if (v[q] === undefined)
212
+ continue;
213
+ const list = v[q];
214
+ if (!Array.isArray(list) || list.length === 0) {
215
+ this.add(`${path}/${q}`, 'bad-value', `${q} must be a non-empty list of steps`);
216
+ continue;
217
+ }
218
+ const children = list.map((s, i) => this.step(s, `${path}/${q}/${i}`, names));
219
+ step[q] = children.filter((s) => s !== undefined);
220
+ }
221
+ return step;
222
+ }
223
+ }
224
+ function collectOrders(step, path, out) {
225
+ if (!step)
226
+ return;
227
+ if (step.order)
228
+ out.push({ order: step.order, path: `${path}/order` });
229
+ if (step.missing)
230
+ collectOrders(step.missing, `${path}/missing`, out);
231
+ for (const q of ['any', 'all'])
232
+ step[q]?.forEach((s, i) => collectOrders(s, `${path}/${q}/${i}`, out));
233
+ }
234
+ function decodeUtf8(bytes) {
235
+ try {
236
+ return new TextDecoder('utf-8', { fatal: true }).decode(bytes);
237
+ }
238
+ catch {
239
+ return null;
240
+ }
241
+ }
242
+ // ---------------------------------------------------------------------------
243
+ // Entry point
244
+ // ---------------------------------------------------------------------------
245
+ /**
246
+ * Parse and validate a `safe-construct-table@0.1`.
247
+ *
248
+ * `input` is the table's bytes (or its text, encoded UTF-8). The digest is
249
+ * `sha256:<hex>` over exactly those bytes and is returned on refusal too, so a
250
+ * caller can say which table was refused.
251
+ */
252
+ export function loadSafeConstructTable(input) {
253
+ const bytes = typeof input === 'string' ? new TextEncoder().encode(input) : input;
254
+ const digest = sha256Digest(bytes);
255
+ const refuse = (problems, format = null) => ({ ok: false, digest, format, problems });
256
+ const text = typeof input === 'string' ? input : decodeUtf8(bytes);
257
+ if (text === null)
258
+ return refuse([{ path: '', code: 'parse-error', message: 'not valid UTF-8' }]);
259
+ const docs = parseAllDocuments(text, { uniqueKeys: true });
260
+ if (!Array.isArray(docs))
261
+ return refuse([{ path: '', code: 'parse-error', message: 'empty document' }]);
262
+ if (docs.length !== 1)
263
+ return refuse([{ path: '', code: 'parse-error', message: `expected one YAML document, found ${docs.length}` }]);
264
+ const doc = docs[0];
265
+ if (doc.errors.length > 0) {
266
+ return refuse(doc.errors.map(e => ({ path: '', code: 'parse-error', message: e.message })));
267
+ }
268
+ const root = doc.toJS();
269
+ const c = new Checker();
270
+ if (!isMap(root))
271
+ return refuse([{ path: '', code: 'bad-value', message: 'the table must be a mapping' }]);
272
+ const format = typeof root.format === 'string' ? root.format : null;
273
+ if (format !== SAFE_CONSTRUCT_TABLE_FORMAT) {
274
+ return refuse([{ path: '/format', code: 'unknown-format', message: `expected format "${SAFE_CONSTRUCT_TABLE_FORMAT}"; got ${JSON.stringify(root.format ?? null)}` }], format);
275
+ }
276
+ c.keys(root, '', TOP_KEYS, TOP_KEYS);
277
+ const checkSet = c.string(root['check-set'], '/check-set');
278
+ let cwe;
279
+ if (root.cwe !== undefined) {
280
+ if (typeof root.cwe === 'number' && Number.isInteger(root.cwe) && root.cwe > 0)
281
+ cwe = root.cwe;
282
+ else
283
+ c.add('/cwe', 'bad-value', 'expected a positive integer');
284
+ }
285
+ const cweListVersion = c.string(root['cwe-list-version'], '/cwe-list-version');
286
+ const language = c.string(root.language, '/language');
287
+ const version = c.string(root.version, '/version');
288
+ const settles = c.string(root.settles, '/settles');
289
+ // sources
290
+ const sources = {};
291
+ if (root.sources !== undefined) {
292
+ if (!isMap(root.sources)) {
293
+ c.add('/sources', 'bad-value', 'expected a mapping of id to citation');
294
+ }
295
+ else {
296
+ for (const [id, s] of Object.entries(root.sources)) {
297
+ const p = `/sources/${id}`;
298
+ if (!c.keys(s, p, SOURCE_KEYS, SOURCE_REQUIRED))
299
+ continue;
300
+ const fields = {};
301
+ for (const k of SOURCE_KEYS) {
302
+ const val = c.string(s[k], `${p}/${k}`);
303
+ if (val !== undefined)
304
+ fields[k] = val;
305
+ }
306
+ if (SOURCE_REQUIRED.every(k => fields[k] !== undefined)) {
307
+ const src = {
308
+ kind: fields.kind,
309
+ publisher: fields.publisher,
310
+ title: fields.title,
311
+ url: fields.url,
312
+ fetched: fields.fetched,
313
+ quote: fields.quote,
314
+ };
315
+ if (fields.via !== undefined)
316
+ src.via = fields.via;
317
+ sources[id] = src;
318
+ }
319
+ }
320
+ }
321
+ }
322
+ // sinks
323
+ const sinks = [];
324
+ const sinkIds = new Set();
325
+ if (root.sinks !== undefined) {
326
+ if (!Array.isArray(root.sinks)) {
327
+ c.add('/sinks', 'bad-value', 'expected a list of sinks');
328
+ }
329
+ else {
330
+ root.sinks.forEach((s, i) => {
331
+ const p = `/sinks/${i}`;
332
+ if (!c.keys(s, p, SINK_KEYS, ['id']))
333
+ return;
334
+ const id = c.string(s.id, `${p}/id`);
335
+ if (id !== undefined) {
336
+ if (sinkIds.has(id))
337
+ c.add(`${p}/id`, 'duplicate-id', `duplicate sink id "${id}"`);
338
+ sinkIds.add(id);
339
+ }
340
+ if ((s.call === undefined) === (s.template === undefined)) {
341
+ c.add(p, 'bad-value', 'a sink has exactly one of call or template');
342
+ }
343
+ const call = s.call !== undefined ? c.call(s.call, `${p}/call`) : undefined;
344
+ const template = s.template !== undefined ? c.template(s.template, `${p}/template`) : undefined;
345
+ const note = c.string(s.note, `${p}/note`);
346
+ if (id === undefined)
347
+ return;
348
+ const sink = { id };
349
+ if (call)
350
+ sink.call = call;
351
+ if (template)
352
+ sink.template = template;
353
+ if (note !== undefined)
354
+ sink.note = note;
355
+ sinks.push(sink);
356
+ });
357
+ }
358
+ }
359
+ // constructs
360
+ const constructs = [];
361
+ const rowIds = new Set();
362
+ if (root.constructs !== undefined) {
363
+ if (!Array.isArray(root.constructs)) {
364
+ c.add('/constructs', 'bad-value', 'expected a list of rows');
365
+ }
366
+ else {
367
+ root.constructs.forEach((r, i) => {
368
+ const p = `/constructs/${i}`;
369
+ if (!c.keys(r, p, ROW_KEYS, ROW_REQUIRED))
370
+ return;
371
+ const id = c.string(r.id, `${p}/id`);
372
+ if (id !== undefined) {
373
+ if (rowIds.has(id))
374
+ c.add(`${p}/id`, 'duplicate-id', `duplicate row id "${id}"`);
375
+ rowIds.add(id);
376
+ }
377
+ const cls = c.oneOf(r.class, `${p}/class`, CLASSES);
378
+ const remedyClass = c.string(r['remedy-class'], `${p}/remedy-class`);
379
+ let appliesTo;
380
+ if (r['applies-to'] !== undefined) {
381
+ if (!isStringList(r['applies-to']) || r['applies-to'].length === 0) {
382
+ c.add(`${p}/applies-to`, 'bad-value', 'expected a non-empty list of sink ids');
383
+ }
384
+ else {
385
+ appliesTo = r['applies-to'];
386
+ appliesTo.forEach((a, j) => {
387
+ if (!sinkIds.has(a))
388
+ c.add(`${p}/applies-to/${j}`, 'dangling-ref', `no sink "${a}" in this table`);
389
+ });
390
+ }
391
+ }
392
+ const context = c.string(r.context, `${p}/context`);
393
+ const names = new Map();
394
+ const match = r.match !== undefined ? c.step(r.match, `${p}/match`, names) : undefined;
395
+ const orders = [];
396
+ collectOrders(match, `${p}/match`, orders);
397
+ for (const o of orders) {
398
+ for (const n of o.order) {
399
+ if (!names.has(n))
400
+ c.add(o.path, 'dangling-ref', `order names "${n}", which no step of this row defines`);
401
+ }
402
+ }
403
+ const level = c.oneOf(r.level, `${p}/level`, LEVELS);
404
+ const basis = c.oneOf(r.basis, `${p}/basis`, BASES);
405
+ let rowSources;
406
+ if (r.sources !== undefined) {
407
+ if (!isStringList(r.sources) || r.sources.length === 0) {
408
+ c.add(`${p}/sources`, 'bad-value', 'expected a non-empty list of source ids');
409
+ }
410
+ else {
411
+ rowSources = r.sources;
412
+ rowSources.forEach((s, j) => {
413
+ if (isMap(root.sources) && root.sources[s] === undefined) {
414
+ c.add(`${p}/sources/${j}`, 'dangling-ref', `no source "${s}" in this table`);
415
+ }
416
+ });
417
+ }
418
+ }
419
+ const residual = c.string(r.residual, `${p}/residual`);
420
+ const note = c.string(r.note, `${p}/note`);
421
+ const retired = c.string(r.retired, `${p}/retired`);
422
+ if (id === undefined || cls === undefined || remedyClass === undefined || appliesTo === undefined ||
423
+ match === undefined || level === undefined || basis === undefined || rowSources === undefined)
424
+ return;
425
+ const row = { id, class: cls, remedyClass, appliesTo, match, level, basis, sources: rowSources };
426
+ if (context !== undefined)
427
+ row.context = context;
428
+ if (residual !== undefined)
429
+ row.residual = residual;
430
+ if (note !== undefined)
431
+ row.note = note;
432
+ if (retired !== undefined)
433
+ row.retired = retired;
434
+ constructs.push(row);
435
+ });
436
+ }
437
+ }
438
+ if (c.problems.length > 0)
439
+ return refuse(c.problems, format);
440
+ return {
441
+ ok: true,
442
+ digest,
443
+ table: {
444
+ format: SAFE_CONSTRUCT_TABLE_FORMAT,
445
+ checkSet: checkSet,
446
+ cwe: cwe,
447
+ cweListVersion: cweListVersion,
448
+ language: language,
449
+ version: version,
450
+ settles: settles,
451
+ sources,
452
+ sinks,
453
+ constructs,
454
+ },
455
+ };
456
+ }
457
+ //# sourceMappingURL=table.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"table.js","sourceRoot":"","sources":["../../src/remedy-class/table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,MAAM,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,MAAM,CAAC,MAAM,2BAA2B,GAAG,0BAAmC,CAAC;AAuH/E,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E,MAAM,QAAQ,GAAG,CAAC,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,kBAAkB,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;AACxI,MAAM,WAAW,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AACrF,MAAM,eAAe,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;AAClF,MAAM,SAAS,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;AACrD,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;AAChF,MAAM,aAAa,GAAG,CAAC,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;AACpE,MAAM,QAAQ,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;AAC/I,MAAM,YAAY,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;AACzG,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAE3I,MAAM,MAAM,GAAqB,CAAC,WAAW,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;AAC5E,MAAM,KAAK,GAAwB,CAAC,kBAAkB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;AACtG,MAAM,OAAO,GAA8B,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAC5D,MAAM,MAAM,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAU,CAAC;AAC3C,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,KAAK,CAAU,CAAC;AAIxC,SAAS,KAAK,CAAC,CAAU;IACvB,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAU;IAClC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,YAAY,CAAC,CAAU;IAC9B,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;AACjE,CAAC;AAED,iDAAiD;AACjD,MAAM,OAAO;IACF,QAAQ,GAAmB,EAAE,CAAC;IAEvC,GAAG,CAAC,IAAY,EAAE,IAAsB,EAAE,OAAe;QACvD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAC9C,CAAC;IAED,0FAA0F;IAC1F,IAAI,CAAC,CAAU,EAAE,IAAY,EAAE,OAA0B,EAAE,QAAQ,GAAsB,EAAE;QACzF,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACd,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,oBAAoB,CAAC,CAAC;YAClD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE,aAAa,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC;QAC1F,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE,aAAa,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACxF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,CAAU,EAAE,IAAY;QAC7B,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,6BAA6B,CAAC,CAAC;YAC3D,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,KAAK,CAAmB,CAAU,EAAE,IAAY,EAAE,OAAqB;QACrE,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAE,OAA6B,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACzE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,mBAAmB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/F,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,CAAM,CAAC;IAChB,CAAC;IAED,IAAI,CAAC,CAAU,EAAE,IAAY;QAC3B,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,wBAAwB,CAAC,CAAC;YACtD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,UAAU,CAAC,CAAU,EAAE,IAAY;QACjC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,4BAA4B,CAAC,CAAC;YAC1D,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,CAAC,CAAU,EAAE,IAAY;QAC3B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;QAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;QACjD,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC;QAC9D,IAAI,GAA4B,CAAC;QACjC,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,GAAG,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC;gBAC5F,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;YACd,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,MAAM,EAAE,WAAW,EAAE,mCAAmC,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;QACvD,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,EAAE,GAAG,IAAI,gBAAgB,CAAC,CAAC;QAC9E,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAClE,MAAM,IAAI,GAAc,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC1C,IAAI,GAAG,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACtC,IAAI,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACzC,IAAI,QAAQ,KAAK,SAAS;YAAE,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;QACnD,IAAI,YAAY,KAAK,SAAS;YAAE,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;QACjE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ,CAAC,CAAU,EAAE,IAAY;QAC/B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;QAClF,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;QAChE,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;QAChE,IAAI,KAA2B,CAAC;QAChC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ;gBAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;;gBAC9C,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,MAAM,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACtE,MAAM,CAAC,GAAkB,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QAC/C,IAAI,SAAS,KAAK,SAAS;YAAE,CAAC,CAAC,SAAS,GAAG,SAAS,CAAC;QACrD,IAAI,KAAK,KAAK,SAAS;YAAE,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC;QACzC,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,CAAC,CAAU,EAAE,IAAY,EAAE,KAA0B;QACvD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;QACrD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,+BAA+B,CAAC,CAAC;YAC7D,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,IAAI,GAAc,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;QACxE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAG,IAAI,SAAS,EAAE,MAAM,CAAC,CAAC;QAChE,IAAI,KAAK,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QAC5C,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,GAAG,IAAI,iBAAiB,CAAC,CAAC;QAChF,IAAI,QAAQ,KAAK,SAAS;YAAE,IAAI,CAAC,YAAY,GAAG,QAAQ,CAAC;QACzD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,EAAE,KAAK,CAAC,CAAC;QACvD,IAAI,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACzC,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QACzC,IAAI,EAAE,KAAK,SAAS;YAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;YACjD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,OAAO,EAAE,cAAc,EAAE,cAAc,IAAI,qBAAqB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;;oBACnH,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC3B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;YACnB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;gBACtF,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAW,CAAC,CAAC;YAC5D,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,QAAQ,EAAE,WAAW,EAAE,iCAAiC,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS;YAAE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC;QAC5F,IAAI,CAAC,CAAC,cAAc,CAAC,KAAK,SAAS,EAAE,CAAC;YACpC,IAAI,CAAC,CAAC,cAAc,CAAC,KAAK,IAAI;gBAAE,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;;gBACnD,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,eAAe,EAAE,WAAW,EAAE,+BAA+B,CAAC,CAAC;QACtF,CAAC;QACD,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;YAAE,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,EAAE,KAAK,CAAC,CAAC;QAC3F,KAAK,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAU,EAAE,CAAC;YACxC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,SAAS;YACjC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAClB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9C,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,CAAC,oCAAoC,CAAC,CAAC;gBAChF,SAAS;YACX,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;YAC9E,IAAI,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;QACpE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED,SAAS,aAAa,CAAC,IAA2B,EAAE,IAAY,EAAE,GAAgD;IAChH,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,IAAI,IAAI,CAAC,KAAK;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,IAAI,QAAQ,EAAE,CAAC,CAAC;IACvE,IAAI,IAAI,CAAC,OAAO;QAAE,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,EAAE,GAAG,CAAC,CAAC;IACtE,KAAK,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAU;QAAE,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;AAClH,CAAC;AAED,SAAS,UAAU,CAAC,KAAiB;IACnC,IAAI,CAAC;QACH,OAAO,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA0B;IAC/D,MAAM,KAAK,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAClF,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,CAAC,QAAwB,EAAE,MAAM,GAAkB,IAAI,EAAmB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IAEtI,MAAM,IAAI,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACnE,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC;IAElG,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC;IACxG,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,qCAAqC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;IACvI,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,aAAsB,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,IAAI,GAAY,GAAG,CAAC,IAAI,EAAE,CAAC;IAEjC,MAAM,CAAC,GAAG,IAAI,OAAO,EAAE,CAAC;IACxB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAAC,CAAC,CAAC;IAC3G,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IACpE,IAAI,MAAM,KAAK,2BAA2B,EAAE,CAAC;QAC3C,OAAO,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,oBAAoB,2BAA2B,UAAU,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAChL,CAAC;IAED,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,YAAY,CAAC,CAAC;IAC3D,IAAI,GAAuB,CAAC;IAC5B,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,GAAG,CAAC;YAAE,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;;YAC1F,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,6BAA6B,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,mBAAmB,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAEnD,UAAU;IACV,MAAM,OAAO,GAAgC,EAAE,CAAC;IAChD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACzB,CAAC,CAAC,GAAG,CAAC,UAAU,EAAE,WAAW,EAAE,sCAAsC,CAAC,CAAC;QACzE,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnD,MAAM,CAAC,GAAG,YAAY,EAAE,EAAE,CAAC;gBAC3B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,eAAe,CAAC;oBAAE,SAAS;gBAC1D,MAAM,MAAM,GAAoC,EAAE,CAAC;gBACnD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;oBAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACxC,IAAI,GAAG,KAAK,SAAS;wBAAE,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBACzC,CAAC;gBACD,IAAI,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC;oBACxD,MAAM,GAAG,GAAgB;wBACvB,IAAI,EAAE,MAAM,CAAC,IAAc;wBAC3B,SAAS,EAAE,MAAM,CAAC,SAAmB;wBACrC,KAAK,EAAE,MAAM,CAAC,KAAe;wBAC7B,GAAG,EAAE,MAAM,CAAC,GAAa;wBACzB,OAAO,EAAE,MAAM,CAAC,OAAiB;wBACjC,KAAK,EAAE,MAAM,CAAC,KAAe;qBAC9B,CAAC;oBACF,IAAI,MAAM,CAAC,GAAG,KAAK,SAAS;wBAAE,GAAG,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;oBACnD,OAAO,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;gBACpB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,QAAQ;IACR,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,WAAW,EAAE,0BAA0B,CAAC,CAAC;QAC3D,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAU,EAAE,CAAS,EAAE,EAAE;gBAC3C,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC;gBACxB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,IAAI,CAAC,CAAC;oBAAE,OAAO;gBAC7C,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;gBACrC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;oBACrB,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;wBAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,cAAc,EAAE,sBAAsB,EAAE,GAAG,CAAC,CAAC;oBACnF,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAClB,CAAC;gBACD,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,EAAE,CAAC;oBAC1D,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,WAAW,EAAE,4CAA4C,CAAC,CAAC;gBACtE,CAAC;gBACD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC5E,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAChG,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC3C,IAAI,EAAE,KAAK,SAAS;oBAAE,OAAO;gBAC7B,MAAM,IAAI,GAAc,EAAE,EAAE,EAAE,CAAC;gBAC/B,IAAI,IAAI;oBAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;gBAC3B,IAAI,QAAQ;oBAAE,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;gBACvC,IAAI,IAAI,KAAK,SAAS;oBAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;gBACzC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,aAAa;IACb,MAAM,UAAU,GAAmB,EAAE,CAAC;IACtC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACpC,CAAC,CAAC,GAAG,CAAC,aAAa,EAAE,WAAW,EAAE,yBAAyB,CAAC,CAAC;QAC/D,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAU,EAAE,CAAS,EAAE,EAAE;gBAChD,MAAM,CAAC,GAAG,eAAe,CAAC,EAAE,CAAC;gBAC7B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,YAAY,CAAC;oBAAE,OAAO;gBAClD,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;gBACrC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;oBACrB,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;wBAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,cAAc,EAAE,qBAAqB,EAAE,GAAG,CAAC,CAAC;oBACjF,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACjB,CAAC;gBACD,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBACpD,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC;gBACrE,IAAI,SAA+B,CAAC;gBACpC,IAAI,CAAC,CAAC,YAAY,CAAC,KAAK,SAAS,EAAE,CAAC;oBAClC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBACnE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,aAAa,EAAE,WAAW,EAAE,uCAAuC,CAAC,CAAC;oBACjF,CAAC;yBAAM,CAAC;wBACN,SAAS,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC;wBAC5B,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;4BACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;gCAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,EAAE,cAAc,EAAE,YAAY,CAAC,iBAAiB,CAAC,CAAC;wBACrG,CAAC,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBACD,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;gBACpD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;gBACxC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACvF,MAAM,MAAM,GAAgD,EAAE,CAAC;gBAC/D,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;gBAC3C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;oBACvB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;wBACxB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;4BAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,EAAE,gBAAgB,CAAC,sCAAsC,CAAC,CAAC;oBAC5G,CAAC;gBACH,CAAC;gBACD,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;gBACrD,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBACpD,IAAI,UAAgC,CAAC;gBACrC,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC5B,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBACvD,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,WAAW,EAAE,yCAAyC,CAAC,CAAC;oBAChF,CAAC;yBAAM,CAAC;wBACN,UAAU,GAAG,CAAC,CAAC,OAAO,CAAC;wBACvB,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;4BAC1B,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;gCACzD,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,EAAE,cAAc,EAAE,cAAc,CAAC,iBAAiB,CAAC,CAAC;4BAC/E,CAAC;wBACH,CAAC,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBACD,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;gBACvD,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC3C,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;gBACpD,IACE,EAAE,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;oBAC7F,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS;oBAC7F,OAAO;gBACT,MAAM,GAAG,GAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;gBAC/G,IAAI,OAAO,KAAK,SAAS;oBAAE,GAAG,CAAC,OAAO,GAAG,OAAO,CAAC;gBACjD,IAAI,QAAQ,KAAK,SAAS;oBAAE,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC;gBACpD,IAAI,IAAI,KAAK,SAAS;oBAAE,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC;gBACxC,IAAI,OAAO,KAAK,SAAS;oBAAE,GAAG,CAAC,OAAO,GAAG,OAAO,CAAC;gBACjD,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvB,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC7D,OAAO;QACL,EAAE,EAAE,IAAI;QACR,MAAM;QACN,KAAK,EAAE;YACL,MAAM,EAAE,2BAA2B;YACnC,QAAQ,EAAE,QAAkB;YAC5B,GAAG,EAAE,GAAa;YAClB,cAAc,EAAE,cAAwB;YACxC,QAAQ,EAAE,QAAkB;YAC5B,OAAO,EAAE,OAAiB;YAC1B,OAAO,EAAE,OAAiB;YAC1B,OAAO;YACP,KAAK;YACL,UAAU;SACX;KACF,CAAC;AACJ,CAAC"}
@@ -150,6 +150,8 @@ export declare class CrossFileResolver {
150
150
  private fileIRs;
151
151
  private methodTaintInfo;
152
152
  private fieldTaintInfo;
153
+ /** cognium-dev#638 step 4 — `ClassName.staticField` written from a real source. */
154
+ private csharpStaticFieldWriters;
153
155
  private resolvedCalls;
154
156
  constructor(symbolTable: SymbolTable, typeHierarchy: TypeHierarchyResolver);
155
157
  /**
@@ -310,6 +312,13 @@ export declare class CrossFileResolver {
310
312
  * the arg position as sink-propagating.
311
313
  */
312
314
  findFieldBindingTaintPaths(deadline?: () => boolean): InterproceduralTaintPath[];
315
+ /**
316
+ * Cross-file C# flows through a static field (`A.stored = req…` in file A,
317
+ * `data = A.stored` → sink in file B). cognium-dev#638 `_68`.
318
+ */
319
+ findCSharpStaticFieldTaintPaths(deadline?: () => boolean): InterproceduralTaintPath[];
320
+ private analyzeCSharpStaticFieldWriters;
321
+ private resolveCSharpStaticFieldReadKey;
313
322
  /**
314
323
  * Check whether any loaded type with name `typeName` (simple or FQN suffix)
315
324
  * declares a field named `fieldName`.
@@ -324,6 +333,15 @@ export declare class CrossFileResolver {
324
333
  /**
325
334
  * Find which method a tainted arg expression references.
326
335
  */
336
+ /**
337
+ * After cross-file wrapper-return seeding (step 2a), add same-file locals
338
+ * DFG-derived from that assignment so caller-body sinks see `sql` as well
339
+ * as `invoice` (cognium-dev#590). In-method sources already reach derived
340
+ * names via `findCrossFileTaintFlows` / `collectTaintReachable`; extending
341
+ * those here duplicates paths and emits `external_taint_escape` on calls
342
+ * that bypass pass-level suppressions (cognium-dev#412).
343
+ */
344
+ private extendInterproceduralTaintedVars;
327
345
  private matchTaintedArg;
328
346
  /**
329
347
  * Index methods by FQN for quick lookup during chain construction.
@@ -1 +1 @@
1
- {"version":3,"file":"cross-file.d.ts","sourceRoot":"","sources":["../../src/resolution/cross-file.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,QAAQ,EACR,UAAU,EACV,QAAQ,EAER,SAAS,EACT,MAAM,EACN,MAAM,EACP,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,WAAW,EAAuB,MAAM,mBAAmB,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE5D;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,OAAO,GAAG,aAAa,GAAG,UAAU,CAAC;IACjD,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IAEb,aAAa,EAAE,MAAM,EAAE,CAAC;IAExB,aAAa,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,SAAS,EAAE,OAAO,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,UAAU,GAAG,cAAc,GAAG,cAAc,CAAC;IACvD,mBAAmB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC/B,yEAAyE;IACzE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,wBAAwB;IACvC,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACrD,IAAI,EAAI;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IAClE,IAAI,EAAI,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,QAAQ,GAAG,gBAAgB,GAAG,aAAa,GAAG,YAAY,GAAG,WAAW,GAAG,MAAM,CAAA;KAAE,CAAC,CAAC;IACvJ,UAAU,EAAE,MAAM,CAAC;IACnB;;;OAGG;IACH,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;CAC/B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,uDAAuD;IACvD,OAAO,EAAE,KAAK,CAAC;QACb,SAAS,EAAE,MAAM,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC;QACnB,SAAS,EAAE,MAAM,CAAC;QAClB,4EAA4E;QAC5E,UAAU,EAAE,MAAM,CAAC;QACnB,wDAAwD;QACxD,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC,CAAC;CACJ;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,SAAS;IACxB,0FAA0F;IAC1F,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IACrC,mEAAmE;IACnE,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAClC,mEAAmE;IACnE,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAClC;;;OAGG;IACH,aAAa,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC3C;;;OAGG;IACH,aAAa,EAAE,GAAG,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC;IAC5C;;;OAGG;IACH,YAAY,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;CACzC;AAED,wBAAgB,cAAc,CAAC,EAAE,EAAE,QAAQ,GAAG,SAAS,CAiEtD;AAiBD,qBAAa,iBAAiB;IAE5B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA+C;IAE3E,OAAO,CAAC,YAAY;IAQpB,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,aAAa,CAAwB;IAG7C,OAAO,CAAC,OAAO,CAAoC;IAGnD,OAAO,CAAC,eAAe,CAA2C;IAGlE,OAAO,CAAC,cAAc,CAA0C;IAGhE,OAAO,CAAC,aAAa,CAAwC;IAE7D,YACE,WAAW,EAAE,WAAW,EACxB,aAAa,EAAE,qBAAqB,EAIrC;IAED;;OAEG;IACH,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,GAAG,IAAI,CAU5C;IAED;;OAEG;IACH,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAqBtE;IAED;;OAEG;IACH,OAAO,CAAC,mBAAmB;IA2E3B;;OAEG;IACH,OAAO,CAAC,oBAAoB;IA2B5B;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAqB3B;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAiDzB;;OAEG;IACH,OAAO,CAAC,yBAAyB;IA2BjC;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAuC1B;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,iBAAiB;IA8HzB;;;;;;;;OAQG;IACH,OAAO,CAAC,mBAAmB;IAoB3B;;OAEG;IACH,OAAO,CAAC,aAAa;IAUrB;;;;;;;;;OASG;IACH,OAAO,CAAC,iBAAiB;IAkDzB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IASzB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAoBzB;;OAEG;IACH,WAAW,CAAC,SAAS,EAAE,MAAM,GAAG,YAAY,EAAE,CAa7C;IAED;;OAEG;IACH;;;;;;;;;;;;;;;OAeG;IACH,uBAAuB,CAAC,QAAQ,CAAC,EAAE,MAAM,OAAO,GAAG,kBAAkB,EAAE,CAwJtE;IAED;;;;;;;OAOG;IACH,OAAO,CAAC,oBAAoB;IAmC5B;;;;;;;;;;;;;;;;;;OAkBG;IACH,6BAA6B,CAAC,QAAQ,CAAC,EAAE,MAAM,OAAO,GAAG,wBAAwB,EAAE,CAwLlF;IAED;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,0BAA0B,CAAC,QAAQ,CAAC,EAAE,MAAM,OAAO,GAAG,wBAAwB,EAAE,CAgP/E;IAED;;;OAGG;IACH,OAAO,CAAC,YAAY;IAUpB;;;;OAIG;IACH,OAAO,CAAC,oBAAoB;IAkB5B;;OAEG;IACH,OAAO,CAAC,eAAe;IAsBvB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAcxB,wEAAwE;IACxE,OAAO,CAAC,gBAAgB;IAOxB;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,OAAO,CAAC,qBAAqB;IA4B7B;;;;;;OAMG;IACH,OAAO,CAAC,oBAAoB;IAoC5B;;;;;;;;;;;;;OAaG;IACH;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,cAAc;IActB,OAAO,CAAC,0BAA0B;IAUlC;;OAEG;IACH,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAEjE;IAED;;OAEG;IACH,wBAAwB,CAAC,QAAQ,EAAE,MAAM,GAAG,YAAY,EAAE,CAYzD;IAED;;OAEG;IACH,QAAQ,IAAI;QACV,UAAU,EAAE,MAAM,CAAC;QACnB,UAAU,EAAE,MAAM,CAAC;QACnB,aAAa,EAAE,MAAM,CAAC;QACtB,cAAc,EAAE,MAAM,CAAC;QACvB,oBAAoB,EAAE,MAAM,CAAC;KAC9B,CAsBA;IAED;;OAEG;IACH,KAAK,IAAI,IAAI,CAKZ;IAED,4DAA4D;IAC5D,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAEhF;CACF;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,KAAK,CAAC;IAAE,EAAE,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC5C,WAAW,CAAC,EAAE,WAAW,EACzB,aAAa,CAAC,EAAE,qBAAqB,GACpC,iBAAiB,CAWnB"}
1
+ {"version":3,"file":"cross-file.d.ts","sourceRoot":"","sources":["../../src/resolution/cross-file.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,QAAQ,EACR,UAAU,EACV,QAAQ,EAER,SAAS,EACT,MAAM,EACN,MAAM,EACP,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,WAAW,EAAuB,MAAM,mBAAmB,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAE5D;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,OAAO,GAAG,aAAa,GAAG,UAAU,CAAC;IACjD,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IAEb,aAAa,EAAE,MAAM,EAAE,CAAC;IAExB,aAAa,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,SAAS,EAAE,OAAO,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,UAAU,GAAG,cAAc,GAAG,cAAc,CAAC;IACvD,mBAAmB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC/B,yEAAyE;IACzE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,wBAAwB;IACvC,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACrD,IAAI,EAAI;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IAClE,IAAI,EAAI,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,QAAQ,GAAG,gBAAgB,GAAG,aAAa,GAAG,YAAY,GAAG,WAAW,GAAG,MAAM,CAAA;KAAE,CAAC,CAAC;IACvJ,UAAU,EAAE,MAAM,CAAC;IACnB;;;OAGG;IACH,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;CAC/B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,uDAAuD;IACvD,OAAO,EAAE,KAAK,CAAC;QACb,SAAS,EAAE,MAAM,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC;QACnB,SAAS,EAAE,MAAM,CAAC;QAClB,4EAA4E;QAC5E,UAAU,EAAE,MAAM,CAAC;QACnB,wDAAwD;QACxD,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC,CAAC;CACJ;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,SAAS;IACxB,0FAA0F;IAC1F,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IACrC,mEAAmE;IACnE,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAClC,mEAAmE;IACnE,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAClC;;;OAGG;IACH,aAAa,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC3C;;;OAGG;IACH,aAAa,EAAE,GAAG,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC;IAC5C;;;OAGG;IACH,YAAY,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;CACzC;AAED,wBAAgB,cAAc,CAAC,EAAE,EAAE,QAAQ,GAAG,SAAS,CAiEtD;AAiBD,qBAAa,iBAAiB;IAE5B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA+C;IAE3E,OAAO,CAAC,YAAY;IAQpB,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,aAAa,CAAwB;IAG7C,OAAO,CAAC,OAAO,CAAoC;IAGnD,OAAO,CAAC,eAAe,CAA2C;IAGlE,OAAO,CAAC,cAAc,CAA0C;IAEhE,mFAAmF;IACnF,OAAO,CAAC,wBAAwB,CAGlB;IAGd,OAAO,CAAC,aAAa,CAAwC;IAE7D,YACE,WAAW,EAAE,WAAW,EACxB,aAAa,EAAE,qBAAqB,EAIrC;IAED;;OAEG;IACH,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,GAAG,IAAI,CAW5C;IAED;;OAEG;IACH,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAqBtE;IAED;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAiF3B;;OAEG;IACH,OAAO,CAAC,oBAAoB;IA2B5B;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAqB3B;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAsDzB;;OAEG;IACH,OAAO,CAAC,yBAAyB;IA2BjC;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAuC1B;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,iBAAiB;IA8HzB;;;;;;;;OAQG;IACH,OAAO,CAAC,mBAAmB;IAoB3B;;OAEG;IACH,OAAO,CAAC,aAAa;IAUrB;;;;;;;;;OASG;IACH,OAAO,CAAC,iBAAiB;IAkDzB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IASzB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAoBzB;;OAEG;IACH,WAAW,CAAC,SAAS,EAAE,MAAM,GAAG,YAAY,EAAE,CAa7C;IAED;;OAEG;IACH;;;;;;;;;;;;;;;OAeG;IACH,uBAAuB,CAAC,QAAQ,CAAC,EAAE,MAAM,OAAO,GAAG,kBAAkB,EAAE,CAwJtE;IAED;;;;;;;OAOG;IACH,OAAO,CAAC,oBAAoB;IAmC5B;;;;;;;;;;;;;;;;;;OAkBG;IACH,6BAA6B,CAAC,QAAQ,CAAC,EAAE,MAAM,OAAO,GAAG,wBAAwB,EAAE,CA+LlF;IAED;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,0BAA0B,CAAC,QAAQ,CAAC,EAAE,MAAM,OAAO,GAAG,wBAAwB,EAAE,CAgP/E;IAED;;;OAGG;IACH,+BAA+B,CAAC,QAAQ,CAAC,EAAE,MAAM,OAAO,GAAG,wBAAwB,EAAE,CAoFpF;IAED,OAAO,CAAC,+BAA+B;IA4BvC,OAAO,CAAC,+BAA+B;IAsBvC;;;OAGG;IACH,OAAO,CAAC,YAAY;IAUpB;;;;OAIG;IACH,OAAO,CAAC,oBAAoB;IAkB5B;;OAEG;IACH;;;;;;;OAOG;IACH,OAAO,CAAC,gCAAgC;IA0BxC,OAAO,CAAC,eAAe;IAsBvB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAcxB,wEAAwE;IACxE,OAAO,CAAC,gBAAgB;IAOxB;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,OAAO,CAAC,qBAAqB;IA4B7B;;;;;;OAMG;IACH,OAAO,CAAC,oBAAoB;IAoC5B;;;;;;;;;;;;;OAaG;IACH;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,cAAc;IActB,OAAO,CAAC,0BAA0B;IAUlC;;OAEG;IACH,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAEjE;IAED;;OAEG;IACH,wBAAwB,CAAC,QAAQ,EAAE,MAAM,GAAG,YAAY,EAAE,CAYzD;IAED;;OAEG;IACH,QAAQ,IAAI;QACV,UAAU,EAAE,MAAM,CAAC;QACnB,UAAU,EAAE,MAAM,CAAC;QACnB,aAAa,EAAE,MAAM,CAAC;QACtB,cAAc,EAAE,MAAM,CAAC;QACvB,oBAAoB,EAAE,MAAM,CAAC;KAC9B,CAsBA;IAED;;OAEG;IACH,KAAK,IAAI,IAAI,CAKZ;IAED,4DAA4D;IAC5D,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAEhF;CACF;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,KAAK,CAAC;IAAE,EAAE,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC5C,WAAW,CAAC,EAAE,WAAW,EACzB,aAAa,CAAC,EAAE,qBAAqB,GACpC,iBAAiB,CAWnB"}