hex-audit 0.4.0

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 (486) hide show
  1. package/CLAUDE.md +105 -0
  2. package/DEMO.md +141 -0
  3. package/README.md +378 -0
  4. package/dashboard/.next/BUILD_ID +1 -0
  5. package/dashboard/.next/app-build-manifest.json +99 -0
  6. package/dashboard/.next/app-path-routes-manifest.json +1 -0
  7. package/dashboard/.next/build-manifest.json +32 -0
  8. package/dashboard/.next/cache/.tsbuildinfo +1 -0
  9. package/dashboard/.next/cache/webpack/client-production/0.pack +0 -0
  10. package/dashboard/.next/cache/webpack/client-production/index.pack +0 -0
  11. package/dashboard/.next/cache/webpack/edge-server-production/0.pack +0 -0
  12. package/dashboard/.next/cache/webpack/edge-server-production/index.pack +0 -0
  13. package/dashboard/.next/cache/webpack/server-production/0.pack +0 -0
  14. package/dashboard/.next/cache/webpack/server-production/1.pack +0 -0
  15. package/dashboard/.next/cache/webpack/server-production/2.pack +0 -0
  16. package/dashboard/.next/cache/webpack/server-production/index.pack +0 -0
  17. package/dashboard/.next/cache/webpack/server-production/index.pack.old +0 -0
  18. package/dashboard/.next/export-marker.json +1 -0
  19. package/dashboard/.next/images-manifest.json +1 -0
  20. package/dashboard/.next/next-minimal-server.js.nft.json +1 -0
  21. package/dashboard/.next/next-server.js.nft.json +1 -0
  22. package/dashboard/.next/package.json +1 -0
  23. package/dashboard/.next/prerender-manifest.js +1 -0
  24. package/dashboard/.next/prerender-manifest.json +1 -0
  25. package/dashboard/.next/react-loadable-manifest.json +300 -0
  26. package/dashboard/.next/required-server-files.json +1 -0
  27. package/dashboard/.next/routes-manifest.json +1 -0
  28. package/dashboard/.next/server/app/_not-found/page.js +1 -0
  29. package/dashboard/.next/server/app/_not-found/page.js.nft.json +1 -0
  30. package/dashboard/.next/server/app/_not-found/page_client-reference-manifest.js +1 -0
  31. package/dashboard/.next/server/app/_not-found.html +1 -0
  32. package/dashboard/.next/server/app/_not-found.meta +6 -0
  33. package/dashboard/.next/server/app/_not-found.rsc +12 -0
  34. package/dashboard/.next/server/app/access/page.js +1 -0
  35. package/dashboard/.next/server/app/access/page.js.nft.json +1 -0
  36. package/dashboard/.next/server/app/access/page_client-reference-manifest.js +1 -0
  37. package/dashboard/.next/server/app/access.html +1 -0
  38. package/dashboard/.next/server/app/access.meta +5 -0
  39. package/dashboard/.next/server/app/access.rsc +8 -0
  40. package/dashboard/.next/server/app/api/code/route.js +1 -0
  41. package/dashboard/.next/server/app/api/code/route.js.nft.json +1 -0
  42. package/dashboard/.next/server/app/api/flows/route.js +1 -0
  43. package/dashboard/.next/server/app/api/flows/route.js.nft.json +1 -0
  44. package/dashboard/.next/server/app/api/flows.body +1 -0
  45. package/dashboard/.next/server/app/api/flows.meta +1 -0
  46. package/dashboard/.next/server/app/api/github-status/route.js +1 -0
  47. package/dashboard/.next/server/app/api/github-status/route.js.nft.json +1 -0
  48. package/dashboard/.next/server/app/api/issues/[id]/move/route.js +1 -0
  49. package/dashboard/.next/server/app/api/issues/[id]/move/route.js.nft.json +1 -0
  50. package/dashboard/.next/server/app/api/issues/[id]/route.js +1 -0
  51. package/dashboard/.next/server/app/api/issues/[id]/route.js.nft.json +1 -0
  52. package/dashboard/.next/server/app/api/mermaid/route.js +1 -0
  53. package/dashboard/.next/server/app/api/mermaid/route.js.nft.json +1 -0
  54. package/dashboard/.next/server/app/api/progress/route.js +1 -0
  55. package/dashboard/.next/server/app/api/progress/route.js.nft.json +1 -0
  56. package/dashboard/.next/server/app/api/watch/route.js +3 -0
  57. package/dashboard/.next/server/app/api/watch/route.js.nft.json +1 -0
  58. package/dashboard/.next/server/app/calls/page.js +1 -0
  59. package/dashboard/.next/server/app/calls/page.js.nft.json +1 -0
  60. package/dashboard/.next/server/app/calls/page_client-reference-manifest.js +1 -0
  61. package/dashboard/.next/server/app/calls.html +1 -0
  62. package/dashboard/.next/server/app/calls.meta +5 -0
  63. package/dashboard/.next/server/app/calls.rsc +8 -0
  64. package/dashboard/.next/server/app/conformance/page.js +1 -0
  65. package/dashboard/.next/server/app/conformance/page.js.nft.json +1 -0
  66. package/dashboard/.next/server/app/conformance/page_client-reference-manifest.js +1 -0
  67. package/dashboard/.next/server/app/conformance.html +1 -0
  68. package/dashboard/.next/server/app/conformance.meta +5 -0
  69. package/dashboard/.next/server/app/conformance.rsc +8 -0
  70. package/dashboard/.next/server/app/diagram/page.js +1 -0
  71. package/dashboard/.next/server/app/diagram/page.js.nft.json +1 -0
  72. package/dashboard/.next/server/app/diagram/page_client-reference-manifest.js +1 -0
  73. package/dashboard/.next/server/app/diagram.html +1 -0
  74. package/dashboard/.next/server/app/diagram.meta +5 -0
  75. package/dashboard/.next/server/app/diagram.rsc +10 -0
  76. package/dashboard/.next/server/app/flows/page.js +1 -0
  77. package/dashboard/.next/server/app/flows/page.js.nft.json +1 -0
  78. package/dashboard/.next/server/app/flows/page_client-reference-manifest.js +1 -0
  79. package/dashboard/.next/server/app/flows.html +1 -0
  80. package/dashboard/.next/server/app/flows.meta +5 -0
  81. package/dashboard/.next/server/app/flows.rsc +10 -0
  82. package/dashboard/.next/server/app/functions/page.js +1 -0
  83. package/dashboard/.next/server/app/functions/page.js.nft.json +1 -0
  84. package/dashboard/.next/server/app/functions/page_client-reference-manifest.js +1 -0
  85. package/dashboard/.next/server/app/functions.html +1 -0
  86. package/dashboard/.next/server/app/functions.meta +5 -0
  87. package/dashboard/.next/server/app/functions.rsc +8 -0
  88. package/dashboard/.next/server/app/icon.svg/route.js +12 -0
  89. package/dashboard/.next/server/app/icon.svg/route.js.nft.json +1 -0
  90. package/dashboard/.next/server/app/icon.svg.body +18 -0
  91. package/dashboard/.next/server/app/icon.svg.meta +1 -0
  92. package/dashboard/.next/server/app/index.html +1 -0
  93. package/dashboard/.next/server/app/index.meta +5 -0
  94. package/dashboard/.next/server/app/index.rsc +9 -0
  95. package/dashboard/.next/server/app/issues/page.js +1 -0
  96. package/dashboard/.next/server/app/issues/page.js.nft.json +1 -0
  97. package/dashboard/.next/server/app/issues/page_client-reference-manifest.js +1 -0
  98. package/dashboard/.next/server/app/issues.html +1 -0
  99. package/dashboard/.next/server/app/issues.meta +5 -0
  100. package/dashboard/.next/server/app/issues.rsc +8 -0
  101. package/dashboard/.next/server/app/page.js +20 -0
  102. package/dashboard/.next/server/app/page.js.nft.json +1 -0
  103. package/dashboard/.next/server/app/page_client-reference-manifest.js +1 -0
  104. package/dashboard/.next/server/app/progress/page.js +1 -0
  105. package/dashboard/.next/server/app/progress/page.js.nft.json +1 -0
  106. package/dashboard/.next/server/app/progress/page_client-reference-manifest.js +1 -0
  107. package/dashboard/.next/server/app/progress.html +1 -0
  108. package/dashboard/.next/server/app/progress.meta +5 -0
  109. package/dashboard/.next/server/app/progress.rsc +8 -0
  110. package/dashboard/.next/server/app/stats/page.js +1 -0
  111. package/dashboard/.next/server/app/stats/page.js.nft.json +1 -0
  112. package/dashboard/.next/server/app/stats/page_client-reference-manifest.js +1 -0
  113. package/dashboard/.next/server/app/stats.html +1 -0
  114. package/dashboard/.next/server/app/stats.meta +5 -0
  115. package/dashboard/.next/server/app/stats.rsc +8 -0
  116. package/dashboard/.next/server/app-paths-manifest.json +22 -0
  117. package/dashboard/.next/server/chunks/431.js +1 -0
  118. package/dashboard/.next/server/chunks/557.js +1 -0
  119. package/dashboard/.next/server/chunks/645.js +6 -0
  120. package/dashboard/.next/server/chunks/649.js +2 -0
  121. package/dashboard/.next/server/chunks/665.js +13 -0
  122. package/dashboard/.next/server/chunks/786.js +12 -0
  123. package/dashboard/.next/server/chunks/818.js +6 -0
  124. package/dashboard/.next/server/chunks/916.js +2 -0
  125. package/dashboard/.next/server/chunks/font-manifest.json +1 -0
  126. package/dashboard/.next/server/font-manifest.json +1 -0
  127. package/dashboard/.next/server/functions-config-manifest.json +1 -0
  128. package/dashboard/.next/server/interception-route-rewrite-manifest.js +1 -0
  129. package/dashboard/.next/server/middleware-build-manifest.js +1 -0
  130. package/dashboard/.next/server/middleware-manifest.json +6 -0
  131. package/dashboard/.next/server/middleware-react-loadable-manifest.js +1 -0
  132. package/dashboard/.next/server/next-font-manifest.js +1 -0
  133. package/dashboard/.next/server/next-font-manifest.json +1 -0
  134. package/dashboard/.next/server/pages/404.html +1 -0
  135. package/dashboard/.next/server/pages/500.html +1 -0
  136. package/dashboard/.next/server/pages/_app.js +1 -0
  137. package/dashboard/.next/server/pages/_app.js.nft.json +1 -0
  138. package/dashboard/.next/server/pages/_document.js +1 -0
  139. package/dashboard/.next/server/pages/_document.js.nft.json +1 -0
  140. package/dashboard/.next/server/pages/_error.js +1 -0
  141. package/dashboard/.next/server/pages/_error.js.nft.json +1 -0
  142. package/dashboard/.next/server/pages-manifest.json +1 -0
  143. package/dashboard/.next/server/server-reference-manifest.js +1 -0
  144. package/dashboard/.next/server/server-reference-manifest.json +1 -0
  145. package/dashboard/.next/server/webpack-runtime.js +1 -0
  146. package/dashboard/.next/static/0IZAlhEwk5-v4myUvWKBd/_buildManifest.js +1 -0
  147. package/dashboard/.next/static/0IZAlhEwk5-v4myUvWKBd/_ssgManifest.js +1 -0
  148. package/dashboard/.next/static/chunks/1.8868c4d131111be7.js +36 -0
  149. package/dashboard/.next/static/chunks/1015.3ab89142e5f44120.js +226 -0
  150. package/dashboard/.next/static/chunks/1151.b6ef5c786e587ed7.js +1 -0
  151. package/dashboard/.next/static/chunks/1199.a072929dbec89965.js +148 -0
  152. package/dashboard/.next/static/chunks/1375.d4d2f7fc9c9c2ff1.js +43 -0
  153. package/dashboard/.next/static/chunks/1799.83206776abbbf1fc.js +9 -0
  154. package/dashboard/.next/static/chunks/20154aaa.ccc347c04ab5ad4a.js +1 -0
  155. package/dashboard/.next/static/chunks/2077.7011a570c87aa7b1.js +1 -0
  156. package/dashboard/.next/static/chunks/2166.cc0fabeb2e89b840.js +215 -0
  157. package/dashboard/.next/static/chunks/2291.85a70cb0c228157b.js +29 -0
  158. package/dashboard/.next/static/chunks/2325.2c55cb9a6282ae3f.js +24 -0
  159. package/dashboard/.next/static/chunks/2383.62c035a052272594.js +1 -0
  160. package/dashboard/.next/static/chunks/2694.92bbe252063e4786.js +1 -0
  161. package/dashboard/.next/static/chunks/275.0d761aa0e5b030b8.js +34 -0
  162. package/dashboard/.next/static/chunks/2781.8536b644a480aede.js +93 -0
  163. package/dashboard/.next/static/chunks/2805.a8d71d2f92bb6ba9.js +1 -0
  164. package/dashboard/.next/static/chunks/2879.51436986f93981d9.js +1 -0
  165. package/dashboard/.next/static/chunks/3017.e55781da9dd32d37.js +1 -0
  166. package/dashboard/.next/static/chunks/3205-728c260fbb4f89c6.js +2 -0
  167. package/dashboard/.next/static/chunks/3236.dff44fa7961d9d5e.js +1 -0
  168. package/dashboard/.next/static/chunks/3480.9451396ad7ee7613.js +1 -0
  169. package/dashboard/.next/static/chunks/3626.ba1cf848a9f2e93d.js +64 -0
  170. package/dashboard/.next/static/chunks/3865.a432a7910a2f5281.js +90 -0
  171. package/dashboard/.next/static/chunks/3887.c22cbfa3f095826c.js +1 -0
  172. package/dashboard/.next/static/chunks/3924-4a05057b5450abe1.js +1 -0
  173. package/dashboard/.next/static/chunks/3948.fe3c7d758568d98b.js +287 -0
  174. package/dashboard/.next/static/chunks/4728.07d87640a3e7dd0d.js +24 -0
  175. package/dashboard/.next/static/chunks/4787.4e5f6a0e0e40a583.js +23 -0
  176. package/dashboard/.next/static/chunks/5060.baca226af35ed016.js +1 -0
  177. package/dashboard/.next/static/chunks/5284.f949ac90c95ff143.js +1 -0
  178. package/dashboard/.next/static/chunks/5715.1524bcc9591e180b.js +115 -0
  179. package/dashboard/.next/static/chunks/6014.700ae4969b64d728.js +104 -0
  180. package/dashboard/.next/static/chunks/6024.4d23707c65514679.js +79 -0
  181. package/dashboard/.next/static/chunks/6052.033a6f1013c666eb.js +141 -0
  182. package/dashboard/.next/static/chunks/6177.e5c84cfc4c0dea51.js +1 -0
  183. package/dashboard/.next/static/chunks/618f8807-547c5614e1318888.js +1 -0
  184. package/dashboard/.next/static/chunks/6434.9481771c33195d29.js +1 -0
  185. package/dashboard/.next/static/chunks/6468.f4a3e8fa6accc6da.js +77 -0
  186. package/dashboard/.next/static/chunks/6540.86f367d7390738d4.js +1 -0
  187. package/dashboard/.next/static/chunks/6549.4d0d472df96429a5.js +1 -0
  188. package/dashboard/.next/static/chunks/690f35d0.3e40ca0930e4bbdb.js +119 -0
  189. package/dashboard/.next/static/chunks/7020.831e16e26d91abc1.js +166 -0
  190. package/dashboard/.next/static/chunks/7397-f6f4dddc7a20bfc1.js +1 -0
  191. package/dashboard/.next/static/chunks/7498-ea83cb9e30ec5491.js +1 -0
  192. package/dashboard/.next/static/chunks/7802.89aec9ee11680850.js +80 -0
  193. package/dashboard/.next/static/chunks/7973.8b526f589aca5d84.js +79 -0
  194. package/dashboard/.next/static/chunks/7a04ac15.1c6cea694301806c.js +62 -0
  195. package/dashboard/.next/static/chunks/8216.1bead812eb126c35.js +5 -0
  196. package/dashboard/.next/static/chunks/8233babc.780b8e272eda298f.js +92 -0
  197. package/dashboard/.next/static/chunks/8452-e616b5f43bceb95f.js +13 -0
  198. package/dashboard/.next/static/chunks/8645.a5ca76f11edc9633.js +1 -0
  199. package/dashboard/.next/static/chunks/8928-60c623ee89d2e6ad.js +1 -0
  200. package/dashboard/.next/static/chunks/9173.2486ffca31131ec5.js +1 -0
  201. package/dashboard/.next/static/chunks/9178.469341860bf8caec.js +1 -0
  202. package/dashboard/.next/static/chunks/9466.e904660d38c03eea.js +1 -0
  203. package/dashboard/.next/static/chunks/9660.84a85811380c5f33.js +1 -0
  204. package/dashboard/.next/static/chunks/9717.6cf5c8c89403b651.js +1 -0
  205. package/dashboard/.next/static/chunks/9720.67d4d0d15a96d691.js +1 -0
  206. package/dashboard/.next/static/chunks/9811.65e1d080c2d256af.js +1 -0
  207. package/dashboard/.next/static/chunks/app/_not-found/page-548ab392d0e890d1.js +1 -0
  208. package/dashboard/.next/static/chunks/app/access/page-3668562e7464eb5d.js +1 -0
  209. package/dashboard/.next/static/chunks/app/calls/page-d07f5b8664cc8303.js +1 -0
  210. package/dashboard/.next/static/chunks/app/conformance/page-2fede1d7b5f9265d.js +1 -0
  211. package/dashboard/.next/static/chunks/app/diagram/page-b228444265546495.js +1 -0
  212. package/dashboard/.next/static/chunks/app/flows/page-fa67783d8cd79cab.js +1 -0
  213. package/dashboard/.next/static/chunks/app/functions/page-686f0296639133a3.js +1 -0
  214. package/dashboard/.next/static/chunks/app/issues/page-dc110d4cc0a5c398.js +1 -0
  215. package/dashboard/.next/static/chunks/app/layout-e7b50543ba216d12.js +1 -0
  216. package/dashboard/.next/static/chunks/app/page-a0f25953d4457935.js +1 -0
  217. package/dashboard/.next/static/chunks/app/progress/page-f07ac39d1d27b480.js +1 -0
  218. package/dashboard/.next/static/chunks/app/stats/page-db81f600a086f252.js +1 -0
  219. package/dashboard/.next/static/chunks/b7167ec1.7afbab6f609e3326.js +153 -0
  220. package/dashboard/.next/static/chunks/c7ea4e13.5effeeba6618bdb7.js +1 -0
  221. package/dashboard/.next/static/chunks/framework-cf6f5bdca6ba0184.js +33 -0
  222. package/dashboard/.next/static/chunks/main-70c6d841ad572657.js +1 -0
  223. package/dashboard/.next/static/chunks/main-app-9d2f6b8a47133e9b.js +1 -0
  224. package/dashboard/.next/static/chunks/pages/_app-6ad2b50514c24ab4.js +1 -0
  225. package/dashboard/.next/static/chunks/pages/_error-d5eb11c5c4626811.js +1 -0
  226. package/dashboard/.next/static/chunks/polyfills-78c92fac7aa8fdd8.js +1 -0
  227. package/dashboard/.next/static/chunks/webpack-08869f2b18792e51.js +1 -0
  228. package/dashboard/.next/static/css/e6cb67f77f13ae8e.css +3 -0
  229. package/dashboard/.next/static/media/0aa834ed78bf6d07-s.woff2 +0 -0
  230. package/dashboard/.next/static/media/438aa629764e75f3-s.woff2 +0 -0
  231. package/dashboard/.next/static/media/4c9affa5bc8f420e-s.p.woff2 +0 -0
  232. package/dashboard/.next/static/media/51251f8b9793cdb3-s.woff2 +0 -0
  233. package/dashboard/.next/static/media/67957d42bae0796d-s.woff2 +0 -0
  234. package/dashboard/.next/static/media/875ae681bfde4580-s.woff2 +0 -0
  235. package/dashboard/.next/static/media/886030b0b59bc5a7-s.woff2 +0 -0
  236. package/dashboard/.next/static/media/939c4f875ee75fbb-s.woff2 +0 -0
  237. package/dashboard/.next/static/media/bb3ef058b751a6ad-s.p.woff2 +0 -0
  238. package/dashboard/.next/static/media/cc978ac5ee68c2b6-s.woff2 +0 -0
  239. package/dashboard/.next/static/media/e857b654a2caa584-s.woff2 +0 -0
  240. package/dashboard/.next/static/media/f911b923c6adde36-s.woff2 +0 -0
  241. package/dashboard/.next/trace +80 -0
  242. package/dashboard/.next/types/app/access/page.ts +79 -0
  243. package/dashboard/.next/types/app/api/code/route.ts +343 -0
  244. package/dashboard/.next/types/app/api/flows/route.ts +343 -0
  245. package/dashboard/.next/types/app/api/github-status/route.ts +343 -0
  246. package/dashboard/.next/types/app/api/issues/[id]/move/route.ts +343 -0
  247. package/dashboard/.next/types/app/api/issues/[id]/route.ts +343 -0
  248. package/dashboard/.next/types/app/api/mermaid/route.ts +343 -0
  249. package/dashboard/.next/types/app/api/progress/route.ts +343 -0
  250. package/dashboard/.next/types/app/api/watch/route.ts +343 -0
  251. package/dashboard/.next/types/app/calls/page.ts +79 -0
  252. package/dashboard/.next/types/app/conformance/page.ts +79 -0
  253. package/dashboard/.next/types/app/diagram/page.ts +79 -0
  254. package/dashboard/.next/types/app/flows/page.ts +79 -0
  255. package/dashboard/.next/types/app/functions/page.ts +79 -0
  256. package/dashboard/.next/types/app/issues/page.ts +79 -0
  257. package/dashboard/.next/types/app/page.ts +79 -0
  258. package/dashboard/.next/types/app/progress/page.ts +79 -0
  259. package/dashboard/.next/types/app/stats/page.ts +79 -0
  260. package/dashboard/.next/types/package.json +1 -0
  261. package/dashboard/app/access/AccessClient.tsx +402 -0
  262. package/dashboard/app/access/ReadOnlyFunctions.tsx +114 -0
  263. package/dashboard/app/access/page.tsx +118 -0
  264. package/dashboard/app/api/code/route.ts +35 -0
  265. package/dashboard/app/api/flows/route.ts +28 -0
  266. package/dashboard/app/api/github-status/route.ts +23 -0
  267. package/dashboard/app/api/issues/[id]/move/route.ts +74 -0
  268. package/dashboard/app/api/issues/[id]/route.ts +109 -0
  269. package/dashboard/app/api/mermaid/route.ts +25 -0
  270. package/dashboard/app/api/progress/route.ts +36 -0
  271. package/dashboard/app/api/watch/route.ts +52 -0
  272. package/dashboard/app/calls/CallsClient.tsx +170 -0
  273. package/dashboard/app/calls/page.tsx +50 -0
  274. package/dashboard/app/conformance/ConformanceTable.tsx +214 -0
  275. package/dashboard/app/conformance/page.tsx +179 -0
  276. package/dashboard/app/diagram/page.tsx +65 -0
  277. package/dashboard/app/flows/page.tsx +102 -0
  278. package/dashboard/app/functions/FunctionsClient.tsx +167 -0
  279. package/dashboard/app/functions/page.tsx +171 -0
  280. package/dashboard/app/globals.css +157 -0
  281. package/dashboard/app/icon.svg +18 -0
  282. package/dashboard/app/issues/IssuesBoardClient.tsx +636 -0
  283. package/dashboard/app/issues/page.tsx +239 -0
  284. package/dashboard/app/layout.tsx +40 -0
  285. package/dashboard/app/page.tsx +259 -0
  286. package/dashboard/app/progress/ProgressClient.tsx +333 -0
  287. package/dashboard/app/progress/page.tsx +118 -0
  288. package/dashboard/app/stats/StatsClient.tsx +452 -0
  289. package/dashboard/app/stats/page.tsx +43 -0
  290. package/dashboard/components/AutoRefresh.tsx +37 -0
  291. package/dashboard/components/CodeReference.tsx +129 -0
  292. package/dashboard/components/CommandPalette.tsx +135 -0
  293. package/dashboard/components/ConfidenceBadge.tsx +53 -0
  294. package/dashboard/components/DashboardLayout.tsx +450 -0
  295. package/dashboard/components/FilterableTable.tsx +293 -0
  296. package/dashboard/components/LiveStatus.tsx +99 -0
  297. package/dashboard/components/MarkdownRenderer.tsx +40 -0
  298. package/dashboard/components/MermaidViewer.tsx +267 -0
  299. package/dashboard/components/NotYetGenerated.tsx +32 -0
  300. package/dashboard/components/SeverityBadge.tsx +28 -0
  301. package/dashboard/components/SignalBars.tsx +27 -0
  302. package/dashboard/components/SortableTable.tsx +122 -0
  303. package/dashboard/lib/conformance-tokens.ts +49 -0
  304. package/dashboard/lib/data.ts +102 -0
  305. package/dashboard/lib/watcher.ts +45 -0
  306. package/dashboard/next-env.d.ts +5 -0
  307. package/dashboard/next.config.mjs +9 -0
  308. package/dashboard/postcss.config.cjs +6 -0
  309. package/dashboard/tailwind.config.ts +79 -0
  310. package/dashboard/tsconfig.json +21 -0
  311. package/dist/analysis/access-control.d.ts +24 -0
  312. package/dist/analysis/access-control.d.ts.map +1 -0
  313. package/dist/analysis/access-control.js +378 -0
  314. package/dist/analysis/access-control.js.map +1 -0
  315. package/dist/analysis/attack-surface.d.ts +51 -0
  316. package/dist/analysis/attack-surface.d.ts.map +1 -0
  317. package/dist/analysis/attack-surface.js +206 -0
  318. package/dist/analysis/attack-surface.js.map +1 -0
  319. package/dist/analysis/constraint-extraction.d.ts +25 -0
  320. package/dist/analysis/constraint-extraction.d.ts.map +1 -0
  321. package/dist/analysis/constraint-extraction.js +398 -0
  322. package/dist/analysis/constraint-extraction.js.map +1 -0
  323. package/dist/analysis/context-assembler.d.ts +16 -0
  324. package/dist/analysis/context-assembler.d.ts.map +1 -0
  325. package/dist/analysis/context-assembler.js +88 -0
  326. package/dist/analysis/context-assembler.js.map +1 -0
  327. package/dist/analysis/dependency-graph.d.ts +31 -0
  328. package/dist/analysis/dependency-graph.d.ts.map +1 -0
  329. package/dist/analysis/dependency-graph.js +223 -0
  330. package/dist/analysis/dependency-graph.js.map +1 -0
  331. package/dist/analysis/erc-detection.d.ts +16 -0
  332. package/dist/analysis/erc-detection.d.ts.map +1 -0
  333. package/dist/analysis/erc-detection.js +81 -0
  334. package/dist/analysis/erc-detection.js.map +1 -0
  335. package/dist/analysis/external-calls.d.ts +8 -0
  336. package/dist/analysis/external-calls.d.ts.map +1 -0
  337. package/dist/analysis/external-calls.js +124 -0
  338. package/dist/analysis/external-calls.js.map +1 -0
  339. package/dist/analysis/nsloc.d.ts +46 -0
  340. package/dist/analysis/nsloc.d.ts.map +1 -0
  341. package/dist/analysis/nsloc.js +106 -0
  342. package/dist/analysis/nsloc.js.map +1 -0
  343. package/dist/analysis/pattern-detection.d.ts +20 -0
  344. package/dist/analysis/pattern-detection.d.ts.map +1 -0
  345. package/dist/analysis/pattern-detection.js +236 -0
  346. package/dist/analysis/pattern-detection.js.map +1 -0
  347. package/dist/analysis/state-variables.d.ts +33 -0
  348. package/dist/analysis/state-variables.d.ts.map +1 -0
  349. package/dist/analysis/state-variables.js +179 -0
  350. package/dist/analysis/state-variables.js.map +1 -0
  351. package/dist/commands/access.d.ts +3 -0
  352. package/dist/commands/access.d.ts.map +1 -0
  353. package/dist/commands/access.js +99 -0
  354. package/dist/commands/access.js.map +1 -0
  355. package/dist/commands/ai-status.d.ts +3 -0
  356. package/dist/commands/ai-status.d.ts.map +1 -0
  357. package/dist/commands/ai-status.js +172 -0
  358. package/dist/commands/ai-status.js.map +1 -0
  359. package/dist/commands/analyze.d.ts +3 -0
  360. package/dist/commands/analyze.d.ts.map +1 -0
  361. package/dist/commands/analyze.js +101 -0
  362. package/dist/commands/analyze.js.map +1 -0
  363. package/dist/commands/calls.d.ts +3 -0
  364. package/dist/commands/calls.d.ts.map +1 -0
  365. package/dist/commands/calls.js +92 -0
  366. package/dist/commands/calls.js.map +1 -0
  367. package/dist/commands/claude.d.ts +3 -0
  368. package/dist/commands/claude.d.ts.map +1 -0
  369. package/dist/commands/claude.js +42 -0
  370. package/dist/commands/claude.js.map +1 -0
  371. package/dist/commands/constraints.d.ts +3 -0
  372. package/dist/commands/constraints.d.ts.map +1 -0
  373. package/dist/commands/constraints.js +32 -0
  374. package/dist/commands/constraints.js.map +1 -0
  375. package/dist/commands/context.d.ts +3 -0
  376. package/dist/commands/context.d.ts.map +1 -0
  377. package/dist/commands/context.js +57 -0
  378. package/dist/commands/context.js.map +1 -0
  379. package/dist/commands/dashboard.d.ts +3 -0
  380. package/dist/commands/dashboard.d.ts.map +1 -0
  381. package/dist/commands/dashboard.js +95 -0
  382. package/dist/commands/dashboard.js.map +1 -0
  383. package/dist/commands/deps.d.ts +3 -0
  384. package/dist/commands/deps.d.ts.map +1 -0
  385. package/dist/commands/deps.js +67 -0
  386. package/dist/commands/deps.js.map +1 -0
  387. package/dist/commands/doctor.d.ts +17 -0
  388. package/dist/commands/doctor.d.ts.map +1 -0
  389. package/dist/commands/doctor.js +154 -0
  390. package/dist/commands/doctor.js.map +1 -0
  391. package/dist/commands/init.d.ts +3 -0
  392. package/dist/commands/init.d.ts.map +1 -0
  393. package/dist/commands/init.js +330 -0
  394. package/dist/commands/init.js.map +1 -0
  395. package/dist/commands/patterns.d.ts +3 -0
  396. package/dist/commands/patterns.d.ts.map +1 -0
  397. package/dist/commands/patterns.js +40 -0
  398. package/dist/commands/patterns.js.map +1 -0
  399. package/dist/commands/state.d.ts +3 -0
  400. package/dist/commands/state.d.ts.map +1 -0
  401. package/dist/commands/state.js +92 -0
  402. package/dist/commands/state.js.map +1 -0
  403. package/dist/commands/stats.d.ts +3 -0
  404. package/dist/commands/stats.d.ts.map +1 -0
  405. package/dist/commands/stats.js +347 -0
  406. package/dist/commands/stats.js.map +1 -0
  407. package/dist/commands/surface.d.ts +3 -0
  408. package/dist/commands/surface.d.ts.map +1 -0
  409. package/dist/commands/surface.js +45 -0
  410. package/dist/commands/surface.js.map +1 -0
  411. package/dist/commands/update-skills.d.ts +3 -0
  412. package/dist/commands/update-skills.d.ts.map +1 -0
  413. package/dist/commands/update-skills.js +40 -0
  414. package/dist/commands/update-skills.js.map +1 -0
  415. package/dist/commands/update.d.ts +3 -0
  416. package/dist/commands/update.d.ts.map +1 -0
  417. package/dist/commands/update.js +157 -0
  418. package/dist/commands/update.js.map +1 -0
  419. package/dist/core/config.d.ts +24 -0
  420. package/dist/core/config.d.ts.map +1 -0
  421. package/dist/core/config.js +70 -0
  422. package/dist/core/config.js.map +1 -0
  423. package/dist/core/errors.d.ts +17 -0
  424. package/dist/core/errors.d.ts.map +1 -0
  425. package/dist/core/errors.js +113 -0
  426. package/dist/core/errors.js.map +1 -0
  427. package/dist/core/external-tools.d.ts +39 -0
  428. package/dist/core/external-tools.d.ts.map +1 -0
  429. package/dist/core/external-tools.js +151 -0
  430. package/dist/core/external-tools.js.map +1 -0
  431. package/dist/core/logger.d.ts +16 -0
  432. package/dist/core/logger.d.ts.map +1 -0
  433. package/dist/core/logger.js +22 -0
  434. package/dist/core/logger.js.map +1 -0
  435. package/dist/core/output.d.ts +13 -0
  436. package/dist/core/output.d.ts.map +1 -0
  437. package/dist/core/output.js +45 -0
  438. package/dist/core/output.js.map +1 -0
  439. package/dist/core/paths.d.ts +21 -0
  440. package/dist/core/paths.d.ts.map +1 -0
  441. package/dist/core/paths.js +32 -0
  442. package/dist/core/paths.js.map +1 -0
  443. package/dist/core/progress.d.ts +34 -0
  444. package/dist/core/progress.d.ts.map +1 -0
  445. package/dist/core/progress.js +119 -0
  446. package/dist/core/progress.js.map +1 -0
  447. package/dist/core/schema.d.ts +3197 -0
  448. package/dist/core/schema.d.ts.map +1 -0
  449. package/dist/core/schema.js +420 -0
  450. package/dist/core/schema.js.map +1 -0
  451. package/dist/core/skills.d.ts +28 -0
  452. package/dist/core/skills.d.ts.map +1 -0
  453. package/dist/core/skills.js +82 -0
  454. package/dist/core/skills.js.map +1 -0
  455. package/dist/index.d.ts +3 -0
  456. package/dist/index.d.ts.map +1 -0
  457. package/dist/index.js +43 -0
  458. package/dist/index.js.map +1 -0
  459. package/dist/parsers/lcov.d.ts +27 -0
  460. package/dist/parsers/lcov.d.ts.map +1 -0
  461. package/dist/parsers/lcov.js +68 -0
  462. package/dist/parsers/lcov.js.map +1 -0
  463. package/dist/parsers/slither.d.ts +63 -0
  464. package/dist/parsers/slither.d.ts.map +1 -0
  465. package/dist/parsers/slither.js +160 -0
  466. package/dist/parsers/slither.js.map +1 -0
  467. package/dist/parsers/solc.d.ts +19 -0
  468. package/dist/parsers/solc.d.ts.map +1 -0
  469. package/dist/parsers/solc.js +43 -0
  470. package/dist/parsers/solc.js.map +1 -0
  471. package/dist/parsers/solidity-parser.d.ts +77 -0
  472. package/dist/parsers/solidity-parser.d.ts.map +1 -0
  473. package/dist/parsers/solidity-parser.js +357 -0
  474. package/dist/parsers/solidity-parser.js.map +1 -0
  475. package/dist/skills/generate-overleaf.md +326 -0
  476. package/dist/skills/generate-poc.md +186 -0
  477. package/dist/skills/ingest-aa-report.md +172 -0
  478. package/dist/skills/init-audit.md +271 -0
  479. package/dist/skills/sync-issues.md +266 -0
  480. package/dist/skills/validate-issue.md +149 -0
  481. package/dist/skills/write-finding.md +142 -0
  482. package/dist/types/index.d.ts +30 -0
  483. package/dist/types/index.d.ts.map +1 -0
  484. package/dist/types/index.js +2 -0
  485. package/dist/types/index.js.map +1 -0
  486. package/package.json +81 -0
@@ -0,0 +1,6 @@
1
+ module.exports = {
2
+ plugins: {
3
+ tailwindcss: {},
4
+ autoprefixer: {},
5
+ },
6
+ };
@@ -0,0 +1,79 @@
1
+ import type { Config } from 'tailwindcss';
2
+
3
+ const config: Config = {
4
+ content: [
5
+ './app/**/*.{js,ts,jsx,tsx,mdx}',
6
+ './components/**/*.{js,ts,jsx,tsx,mdx}',
7
+ ],
8
+ darkMode: ['selector', '[data-theme="dark"]'],
9
+ theme: {
10
+ extend: {
11
+ fontFamily: {
12
+ sans: ['var(--font-sans)'],
13
+ mono: ['var(--font-mono)'],
14
+ },
15
+ colors: {
16
+ surface: {
17
+ 0: 'var(--surface-0)',
18
+ 1: 'var(--surface-1)',
19
+ 2: 'var(--surface-2)',
20
+ 3: 'var(--surface-3)',
21
+ },
22
+ border: {
23
+ subtle: 'var(--border-subtle)',
24
+ default: 'var(--border-default)',
25
+ emphasis: 'var(--border-emphasis)',
26
+ },
27
+ text: {
28
+ primary: 'var(--text-primary)',
29
+ secondary: 'var(--text-secondary)',
30
+ tertiary: 'var(--text-tertiary)',
31
+ },
32
+ accent: {
33
+ DEFAULT: 'var(--accent)',
34
+ subtle: 'var(--accent-subtle)',
35
+ secondary: 'var(--accent-secondary)',
36
+ warm: 'var(--accent-warm)',
37
+ },
38
+ severity: {
39
+ critical: 'var(--critical)',
40
+ high: 'var(--high)',
41
+ medium: 'var(--medium)',
42
+ low: 'var(--low)',
43
+ info: 'var(--info)',
44
+ },
45
+ success: 'var(--success)',
46
+ neutral: 'var(--neutral)',
47
+ },
48
+ spacing: {
49
+ 'sp-1': 'var(--space-1)',
50
+ 'sp-2': 'var(--space-2)',
51
+ 'sp-3': 'var(--space-3)',
52
+ 'sp-4': 'var(--space-4)',
53
+ 'sp-5': 'var(--space-5)',
54
+ 'sp-6': 'var(--space-6)',
55
+ 'sp-8': 'var(--space-8)',
56
+ },
57
+ borderRadius: {
58
+ sm: 'var(--radius-sm)',
59
+ md: 'var(--radius-md)',
60
+ lg: 'var(--radius-lg)',
61
+ },
62
+ boxShadow: {
63
+ sm: 'var(--shadow-sm)',
64
+ md: 'var(--shadow-md)',
65
+ lg: 'var(--shadow-lg)',
66
+ },
67
+ fontSize: {
68
+ display: ['28px', { lineHeight: '1.2', fontWeight: '600' }],
69
+ title: ['20px', { lineHeight: '1.3', fontWeight: '600' }],
70
+ heading: ['15px', { lineHeight: '1.4', fontWeight: '500' }],
71
+ body: ['14px', { lineHeight: '1.55', fontWeight: '400' }],
72
+ caption: ['12px', { lineHeight: '1.4', fontWeight: '400' }],
73
+ },
74
+ },
75
+ },
76
+ plugins: [require('@tailwindcss/typography')],
77
+ };
78
+
79
+ export default config;
@@ -0,0 +1,21 @@
1
+ {
2
+ "compilerOptions": {
3
+ "target": "ES2017",
4
+ "lib": ["dom", "dom.iterable", "esnext"],
5
+ "allowJs": true,
6
+ "skipLibCheck": true,
7
+ "strict": true,
8
+ "noEmit": true,
9
+ "esModuleInterop": true,
10
+ "module": "esnext",
11
+ "moduleResolution": "bundler",
12
+ "resolveJsonModule": true,
13
+ "isolatedModules": true,
14
+ "jsx": "preserve",
15
+ "incremental": true,
16
+ "plugins": [{ "name": "next" }],
17
+ "paths": { "@/*": ["./*"] }
18
+ },
19
+ "include": ["next-env.d.ts", "**/*.ts", "**/*.tsx", ".next/types/**/*.ts"],
20
+ "exclude": ["node_modules"]
21
+ }
@@ -0,0 +1,24 @@
1
+ import type { ParsedContract } from '../parsers/solidity-parser.js';
2
+ import type { SlitherFunctionSummary } from '../parsers/slither.js';
3
+ import type { AccessFunction, Role } from '../types/index.js';
4
+ /**
5
+ * Extract Tier 1 raw facts: functions with their visibility and modifiers.
6
+ */
7
+ export declare function extractFunctionFacts(contracts: ParsedContract[], fileMap: Map<string, string>): AccessFunction[];
8
+ /**
9
+ * Merge inherited functions from Slither function-summary into the function list.
10
+ * Slither's function-summary includes ALL functions per contract (including inherited).
11
+ * We deduplicate: overridden functions keep the child contract's version,
12
+ * non-overridden inherited functions get tagged with inherited_from.
13
+ */
14
+ export declare function mergeInheritedFunctions(functions: AccessFunction[], slitherSummary: SlitherFunctionSummary[], contracts: ParsedContract[], fileMap: Map<string, string>): AccessFunction[];
15
+ /**
16
+ * Merge inherited functions by walking the inheritance chain from flattened source AST.
17
+ * Fallback for when Slither is not available.
18
+ */
19
+ export declare function mergeInheritedFromFlatten(functions: AccessFunction[], flatParsedContracts: ParsedContract[], targetContract: ParsedContract, filePath: string): AccessFunction[];
20
+ /**
21
+ * Tier 2: Interpret roles from modifiers, inheritance, and heuristics.
22
+ */
23
+ export declare function interpretRoles(functions: AccessFunction[], contracts: ParsedContract[], slitherSummary: SlitherFunctionSummary[] | null): Role[];
24
+ //# sourceMappingURL=access-control.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"access-control.d.ts","sourceRoot":"","sources":["../../src/analysis/access-control.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,IAAI,EAAmB,MAAM,mBAAmB,CAAC;AAmD/E;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,cAAc,EAAE,EAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAC3B,cAAc,EAAE,CA4BlB;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,cAAc,EAAE,EAC3B,cAAc,EAAE,sBAAsB,EAAE,EACxC,SAAS,EAAE,cAAc,EAAE,EAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAC3B,cAAc,EAAE,CAuFlB;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,cAAc,EAAE,EAC3B,mBAAmB,EAAE,cAAc,EAAE,EACrC,cAAc,EAAE,cAAc,EAC9B,QAAQ,EAAE,MAAM,GACf,cAAc,EAAE,CAmElB;AAyBD;;GAEG;AACH,wBAAgB,cAAc,CAC5B,SAAS,EAAE,cAAc,EAAE,EAC3B,SAAS,EAAE,cAAc,EAAE,EAC3B,cAAc,EAAE,sBAAsB,EAAE,GAAG,IAAI,GAC9C,IAAI,EAAE,CAgHR"}
@@ -0,0 +1,378 @@
1
+ // Modifiers that read protocol state rather than caller identity.
2
+ // Surfaced separately so auditors can find them, but not flagged as access control.
3
+ const STATE_CHECK_MODIFIERS = new Set([
4
+ 'whenNotPaused', 'whenPaused', 'initializer', 'reinitializer',
5
+ 'onlyInitializing', 'whileActive', 'onlyActive', 'whileInactive',
6
+ ]);
7
+ // Modifiers that protect call patterns rather than identity (reentrancy etc.).
8
+ const GUARD_MODIFIERS = new Set([
9
+ 'nonReentrant', 'nonreentrant', 'noReentrant',
10
+ ]);
11
+ // Known OpenZeppelin access control patterns
12
+ const OZ_ACCESS_PATTERNS = {
13
+ Ownable: { role: 'owner', description: 'Contract deployer / admin (OpenZeppelin Ownable)' },
14
+ Ownable2Step: { role: 'owner', description: 'Contract admin with two-step transfer (OpenZeppelin Ownable2Step)' },
15
+ AccessControl: { role: 'admin', description: 'Role-based access control (OpenZeppelin AccessControl)' },
16
+ AccessControlEnumerable: { role: 'admin', description: 'Enumerable role-based access (OpenZeppelin AccessControlEnumerable)' },
17
+ };
18
+ // Known access-control modifiers
19
+ const KNOWN_ACCESS_MODIFIERS = new Set([
20
+ 'onlyOwner', 'onlyAdmin', 'onlyRole', 'onlyGovernance', 'onlyGuardian',
21
+ 'onlyOperator', 'onlyMinter', 'onlyPauser', 'onlyKeeper',
22
+ 'onlyAuthorized', 'onlyManager',
23
+ ]);
24
+ // Non-access-control modifiers (should not be treated as access control gates).
25
+ // Kept for the existing modifier-skip behaviour in `interpretRoles`; the
26
+ // classification of state-check vs guard is done via STATE_CHECK_MODIFIERS /
27
+ // GUARD_MODIFIERS above so we can tell them apart in the role schema.
28
+ const NON_ACCESS_MODIFIERS = new Set([
29
+ ...STATE_CHECK_MODIFIERS,
30
+ ...GUARD_MODIFIERS,
31
+ ]);
32
+ function classifyModifier(modifier, isOzBacked) {
33
+ if (isOzBacked)
34
+ return { kind: 'access_control', isLikelyAccessControl: true };
35
+ if (KNOWN_ACCESS_MODIFIERS.has(modifier))
36
+ return { kind: 'access_control', isLikelyAccessControl: true };
37
+ if (GUARD_MODIFIERS.has(modifier))
38
+ return { kind: 'guard', isLikelyAccessControl: false };
39
+ if (STATE_CHECK_MODIFIERS.has(modifier))
40
+ return { kind: 'state_check', isLikelyAccessControl: false };
41
+ // Naming heuristic: `only<X>` strongly implies caller identity, treat as access control
42
+ // but keep confidence low (warnings already flag this in interpretRoles).
43
+ if (/^only[A-Z]/.test(modifier))
44
+ return { kind: 'access_control', isLikelyAccessControl: true };
45
+ return { kind: 'unknown', isLikelyAccessControl: false };
46
+ }
47
+ /**
48
+ * Extract Tier 1 raw facts: functions with their visibility and modifiers.
49
+ */
50
+ export function extractFunctionFacts(contracts, fileMap) {
51
+ const functions = [];
52
+ for (const contract of contracts) {
53
+ // Skip interface contracts — they're just signatures, not implementations
54
+ if (contract.type === 'interface')
55
+ continue;
56
+ const file = fileMap.get(contract.name) ?? '';
57
+ for (const func of contract.functions) {
58
+ if (func.isConstructor || func.isFallback || func.isReceive)
59
+ continue;
60
+ functions.push({
61
+ contract: contract.name,
62
+ function: func.name,
63
+ visibility: func.visibility === 'default' ? 'internal' : func.visibility,
64
+ state_mutability: func.stateMutability ?? null,
65
+ modifiers: func.modifiers,
66
+ evidence: {
67
+ file,
68
+ line_start: func.lineStart,
69
+ line_end: func.lineEnd,
70
+ },
71
+ });
72
+ }
73
+ }
74
+ return functions;
75
+ }
76
+ /**
77
+ * Merge inherited functions from Slither function-summary into the function list.
78
+ * Slither's function-summary includes ALL functions per contract (including inherited).
79
+ * We deduplicate: overridden functions keep the child contract's version,
80
+ * non-overridden inherited functions get tagged with inherited_from.
81
+ */
82
+ export function mergeInheritedFunctions(functions, slitherSummary, contracts, fileMap) {
83
+ // Build set of scope contract names
84
+ const scopeContracts = new Set(contracts.map((c) => c.name));
85
+ // Build set of already-known function keys (contract.function)
86
+ const knownKeys = new Set(functions.map((f) => `${f.contract}.${f.function}`));
87
+ // Build inheritance map: child -> parents[]
88
+ const inheritanceMap = new Map();
89
+ for (const contract of contracts) {
90
+ if (contract.baseContracts.length > 0) {
91
+ inheritanceMap.set(contract.name, contract.baseContracts);
92
+ }
93
+ }
94
+ // Compute inheritance depth for each contract's ancestors
95
+ // depth 1 = direct parent, 2 = grandparent, etc.
96
+ function computeDepths(contractName) {
97
+ const depths = new Map();
98
+ const visited = new Set();
99
+ function walk(name, depth) {
100
+ if (visited.has(name))
101
+ return;
102
+ visited.add(name);
103
+ if (name !== contractName)
104
+ depths.set(name, depth);
105
+ for (const base of inheritanceMap.get(name) ?? []) {
106
+ walk(base, depth + 1);
107
+ }
108
+ }
109
+ walk(contractName, 0);
110
+ return depths;
111
+ }
112
+ // Group Slither summaries by contract
113
+ const slitherByContract = new Map();
114
+ for (const s of slitherSummary) {
115
+ if (!scopeContracts.has(s.contract))
116
+ continue;
117
+ if (!slitherByContract.has(s.contract))
118
+ slitherByContract.set(s.contract, []);
119
+ slitherByContract.get(s.contract).push(s);
120
+ }
121
+ const inherited = [];
122
+ for (const [contractName, summaries] of slitherByContract) {
123
+ const parents = inheritanceMap.get(contractName) ?? [];
124
+ if (parents.length === 0)
125
+ continue;
126
+ const depthMap = computeDepths(contractName);
127
+ for (const summary of summaries) {
128
+ // Skip constructors and special functions
129
+ const funcName = summary.function;
130
+ if (funcName === 'constructor' || funcName === 'fallback' || funcName === 'receive' || funcName === '')
131
+ continue;
132
+ // Skip if we already know about this function from AST parsing
133
+ if (knownKeys.has(`${contractName}.${funcName}`))
134
+ continue;
135
+ // Skip slitherConstructor naming patterns
136
+ if (funcName.startsWith('slither'))
137
+ continue;
138
+ // Map Slither visibility to our enum
139
+ const visibility = mapSlitherVisibility(summary.visibility);
140
+ if (!visibility)
141
+ continue;
142
+ // Determine which parent this function comes from
143
+ const parentContract = findParentContract(funcName, parents, slitherSummary);
144
+ const key = `${contractName}.${funcName}`;
145
+ if (knownKeys.has(key))
146
+ continue;
147
+ knownKeys.add(key);
148
+ inherited.push({
149
+ contract: contractName,
150
+ function: funcName,
151
+ visibility,
152
+ state_mutability: null,
153
+ modifiers: summary.modifiers.filter((m) => m !== '[]' && m !== ''),
154
+ evidence: {
155
+ file: fileMap.get(contractName) ?? '',
156
+ line_start: 0,
157
+ line_end: 0,
158
+ },
159
+ inherited_from: parentContract ?? undefined,
160
+ inheritance_depth: parentContract ? (depthMap.get(parentContract) ?? 1) : 1,
161
+ });
162
+ }
163
+ }
164
+ return [...functions, ...inherited];
165
+ }
166
+ /**
167
+ * Merge inherited functions by walking the inheritance chain from flattened source AST.
168
+ * Fallback for when Slither is not available.
169
+ */
170
+ export function mergeInheritedFromFlatten(functions, flatParsedContracts, targetContract, filePath) {
171
+ const contractMap = new Map();
172
+ for (const c of flatParsedContracts)
173
+ contractMap.set(c.name, c);
174
+ const target = contractMap.get(targetContract.name);
175
+ if (!target || target.baseContracts.length === 0)
176
+ return functions;
177
+ // Build set of already-known function keys for this contract
178
+ const knownKeys = new Set(functions
179
+ .filter((f) => f.contract === targetContract.name)
180
+ .map((f) => f.function));
181
+ const visited = new Set();
182
+ const inherited = [];
183
+ // Compute inheritance depth for each ancestor (1 = direct parent, 2 = grandparent, etc.)
184
+ const depthMap = new Map();
185
+ function computeDepth(name, depth) {
186
+ if (visited.has(name))
187
+ return;
188
+ visited.add(name);
189
+ const contract = contractMap.get(name);
190
+ if (!contract)
191
+ return;
192
+ if (name !== targetContract.name) {
193
+ depthMap.set(name, depth);
194
+ }
195
+ for (const base of contract.baseContracts) {
196
+ computeDepth(base, depth + 1);
197
+ }
198
+ }
199
+ computeDepth(targetContract.name, 0);
200
+ // Walk again to collect inherited functions (reset visited)
201
+ visited.clear();
202
+ function walk(name) {
203
+ if (visited.has(name))
204
+ return;
205
+ visited.add(name);
206
+ const contract = contractMap.get(name);
207
+ if (!contract)
208
+ return;
209
+ // Walk parents first so child overrides take precedence
210
+ for (const base of contract.baseContracts)
211
+ walk(base);
212
+ // Skip the target contract itself — its functions are already in Tier 1
213
+ if (name === targetContract.name)
214
+ return;
215
+ for (const func of contract.functions) {
216
+ if (func.isConstructor || func.isFallback || func.isReceive)
217
+ continue;
218
+ if (knownKeys.has(func.name))
219
+ continue;
220
+ knownKeys.add(func.name);
221
+ inherited.push({
222
+ contract: targetContract.name,
223
+ function: func.name,
224
+ visibility: func.visibility === 'default' ? 'internal' : func.visibility,
225
+ state_mutability: func.stateMutability ?? null,
226
+ modifiers: func.modifiers,
227
+ evidence: { file: filePath, line_start: 0, line_end: 0 },
228
+ inherited_from: name,
229
+ inheritance_depth: depthMap.get(name) ?? 1,
230
+ });
231
+ }
232
+ }
233
+ walk(targetContract.name);
234
+ return [...functions, ...inherited];
235
+ }
236
+ function mapSlitherVisibility(vis) {
237
+ const normalized = vis.toLowerCase().trim();
238
+ if (normalized === 'external')
239
+ return 'external';
240
+ if (normalized === 'public')
241
+ return 'public';
242
+ if (normalized === 'internal')
243
+ return 'internal';
244
+ if (normalized === 'private')
245
+ return 'private';
246
+ return null;
247
+ }
248
+ function findParentContract(funcName, parents, allSummaries) {
249
+ for (const parent of parents) {
250
+ const parentSummary = allSummaries.find((s) => s.contract === parent && s.function === funcName);
251
+ if (parentSummary)
252
+ return parent;
253
+ }
254
+ return parents[0] ?? null;
255
+ }
256
+ /**
257
+ * Tier 2: Interpret roles from modifiers, inheritance, and heuristics.
258
+ */
259
+ export function interpretRoles(functions, contracts, slitherSummary) {
260
+ const roles = [];
261
+ const modifierToFunctions = new Map();
262
+ // Group functions by their access-control modifiers
263
+ for (const func of functions) {
264
+ for (const mod of func.modifiers) {
265
+ if (NON_ACCESS_MODIFIERS.has(mod))
266
+ continue;
267
+ if (!modifierToFunctions.has(mod))
268
+ modifierToFunctions.set(mod, []);
269
+ modifierToFunctions.get(mod).push({
270
+ contract: func.contract,
271
+ function: func.function,
272
+ });
273
+ }
274
+ }
275
+ // Detect OZ patterns from inheritance
276
+ const ozDetected = new Set();
277
+ for (const contract of contracts) {
278
+ for (const base of contract.baseContracts) {
279
+ const pattern = OZ_ACCESS_PATTERNS[base];
280
+ if (pattern)
281
+ ozDetected.add(base);
282
+ }
283
+ }
284
+ // Build roles from modifier groupings
285
+ for (const [modifier, funcs] of modifierToFunctions) {
286
+ const isKnown = KNOWN_ACCESS_MODIFIERS.has(modifier);
287
+ const roleName = extractRoleName(modifier);
288
+ // Determine confidence based on source
289
+ let confidence = 'low';
290
+ let derivedFrom = 'heuristic';
291
+ let description = `Role inferred from modifier name '${modifier}'`;
292
+ const warnings = [];
293
+ let isOzBacked = false;
294
+ // Check if this modifier comes from a known OZ pattern
295
+ if (modifier === 'onlyOwner' && ozDetected.has('Ownable')) {
296
+ confidence = 'high';
297
+ derivedFrom = slitherSummary ? 'slither' : 'solc-ast';
298
+ description = 'Contract deployer / admin (OpenZeppelin Ownable)';
299
+ isOzBacked = true;
300
+ }
301
+ else if (modifier === 'onlyOwner' && ozDetected.has('Ownable2Step')) {
302
+ confidence = 'high';
303
+ derivedFrom = slitherSummary ? 'slither' : 'solc-ast';
304
+ description = 'Contract admin with two-step transfer (OpenZeppelin Ownable2Step)';
305
+ isOzBacked = true;
306
+ }
307
+ else if (modifier === 'onlyRole') {
308
+ confidence = 'medium';
309
+ derivedFrom = 'solc-ast';
310
+ description = 'Role-based access (OpenZeppelin AccessControl)';
311
+ isOzBacked = true;
312
+ }
313
+ else if (isKnown) {
314
+ confidence = 'low';
315
+ warnings.push('Custom modifier — role semantics inferred from name only');
316
+ warnings.push('Verify modifier body to confirm actual access check');
317
+ }
318
+ else {
319
+ confidence = 'low';
320
+ warnings.push(`Unknown modifier '${modifier}' — may not be an access control check`);
321
+ warnings.push('Verify modifier body to confirm actual access check');
322
+ }
323
+ const { kind, isLikelyAccessControl } = classifyModifier(modifier, isOzBacked);
324
+ if (!isLikelyAccessControl) {
325
+ warnings.push(`Classified as '${kind}', not access control — hidden by default on the dashboard`);
326
+ }
327
+ roles.push({
328
+ role: roleName,
329
+ description,
330
+ confidence,
331
+ derived_from: derivedFrom,
332
+ reasoning: `Functions gated by '${modifier}' modifier`,
333
+ modifier,
334
+ functions: funcs,
335
+ warnings,
336
+ kind,
337
+ is_likely_access_control: isLikelyAccessControl,
338
+ });
339
+ }
340
+ // Add "anyone" role for unprotected external/public functions
341
+ const unprotectedFuncs = [];
342
+ for (const func of functions) {
343
+ const hasAccessModifier = func.modifiers.some((m) => !NON_ACCESS_MODIFIERS.has(m));
344
+ if (!hasAccessModifier) {
345
+ unprotectedFuncs.push({
346
+ contract: func.contract,
347
+ function: func.function,
348
+ });
349
+ }
350
+ }
351
+ if (unprotectedFuncs.length > 0) {
352
+ roles.push({
353
+ role: 'anyone',
354
+ description: 'No access restriction',
355
+ confidence: 'high',
356
+ derived_from: 'solc-ast',
357
+ reasoning: 'External/public functions with no access-control modifiers',
358
+ modifier: null,
359
+ functions: unprotectedFuncs,
360
+ warnings: [],
361
+ kind: 'access_control',
362
+ is_likely_access_control: true,
363
+ });
364
+ }
365
+ return roles;
366
+ }
367
+ /**
368
+ * Extract a human-readable role name from a modifier name.
369
+ */
370
+ function extractRoleName(modifier) {
371
+ // Remove "only" prefix if present
372
+ if (modifier.startsWith('only')) {
373
+ const rest = modifier.slice(4);
374
+ return rest.charAt(0).toLowerCase() + rest.slice(1);
375
+ }
376
+ return modifier;
377
+ }
378
+ //# sourceMappingURL=access-control.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"access-control.js","sourceRoot":"","sources":["../../src/analysis/access-control.ts"],"names":[],"mappings":"AAMA,kEAAkE;AAClE,oFAAoF;AACpF,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACpC,eAAe,EAAE,YAAY,EAAE,aAAa,EAAE,eAAe;IAC7D,kBAAkB,EAAE,aAAa,EAAE,YAAY,EAAE,eAAe;CACjE,CAAC,CAAC;AAEH,+EAA+E;AAC/E,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC;IAC9B,cAAc,EAAE,cAAc,EAAE,aAAa;CAC9C,CAAC,CAAC;AAEH,6CAA6C;AAC7C,MAAM,kBAAkB,GAA0D;IAChF,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,kDAAkD,EAAE;IAC3F,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,mEAAmE,EAAE;IACjH,aAAa,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,wDAAwD,EAAE;IACvG,uBAAuB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,qEAAqE,EAAE;CAC/H,CAAC;AAEF,iCAAiC;AACjC,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC;IACrC,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,gBAAgB,EAAE,cAAc;IACtE,cAAc,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY;IACxD,gBAAgB,EAAE,aAAa;CAChC,CAAC,CAAC;AAEH,gFAAgF;AAChF,yEAAyE;AACzE,6EAA6E;AAC7E,sEAAsE;AACtE,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IACnC,GAAG,qBAAqB;IACxB,GAAG,eAAe;CACnB,CAAC,CAAC;AAEH,SAAS,gBAAgB,CAAC,QAAgB,EAAE,UAAmB;IAC7D,IAAI,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC;IAC/E,IAAI,sBAAsB,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC;IACzG,IAAI,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,qBAAqB,EAAE,KAAK,EAAE,CAAC;IAC1F,IAAI,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,qBAAqB,EAAE,KAAK,EAAE,CAAC;IACtG,wFAAwF;IACxF,0EAA0E;IAC1E,IAAI,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC;IAChG,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,qBAAqB,EAAE,KAAK,EAAE,CAAC;AAC3D,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,SAA2B,EAC3B,OAA4B;IAE5B,MAAM,SAAS,GAAqB,EAAE,CAAC;IAEvC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,0EAA0E;QAC1E,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;YAAE,SAAS;QAE5C,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAE9C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;YACtC,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,SAAS;gBAAE,SAAS;YAEtE,SAAS,CAAC,IAAI,CAAC;gBACb,QAAQ,EAAE,QAAQ,CAAC,IAAI;gBACvB,QAAQ,EAAE,IAAI,CAAC,IAAI;gBACnB,UAAU,EAAE,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU;gBACxE,gBAAgB,EAAG,IAAI,CAAC,eAA8D,IAAI,IAAI;gBAC9F,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,QAAQ,EAAE;oBACR,IAAI;oBACJ,UAAU,EAAE,IAAI,CAAC,SAAS;oBAC1B,QAAQ,EAAE,IAAI,CAAC,OAAO;iBACvB;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,SAA2B,EAC3B,cAAwC,EACxC,SAA2B,EAC3B,OAA4B;IAE5B,oCAAoC;IACpC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAE7D,+DAA+D;IAC/D,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IAE/E,4CAA4C;IAC5C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAoB,CAAC;IACnD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IAED,0DAA0D;IAC1D,iDAAiD;IACjD,SAAS,aAAa,CAAC,YAAoB;QACzC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,SAAS,IAAI,CAAC,IAAY,EAAE,KAAa;YACvC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO;YAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,IAAI,IAAI,KAAK,YAAY;gBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACnD,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBAClD,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;QACtB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,sCAAsC;IACtC,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAoC,CAAC;IACtE,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAE,SAAS;QAC9C,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC9E,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,MAAM,SAAS,GAAqB,EAAE,CAAC;IAEvC,KAAK,MAAM,CAAC,YAAY,EAAE,SAAS,CAAC,IAAI,iBAAiB,EAAE,CAAC;QAC1D,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QACvD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEnC,MAAM,QAAQ,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC;QAE7C,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;YAChC,0CAA0C;YAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;YAClC,IAAI,QAAQ,KAAK,aAAa,IAAI,QAAQ,KAAK,UAAU,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,EAAE;gBAAE,SAAS;YACjH,+DAA+D;YAC/D,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,YAAY,IAAI,QAAQ,EAAE,CAAC;gBAAE,SAAS;YAE3D,0CAA0C;YAC1C,IAAI,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC;gBAAE,SAAS;YAE7C,qCAAqC;YACrC,MAAM,UAAU,GAAG,oBAAoB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAC5D,IAAI,CAAC,UAAU;gBAAE,SAAS;YAE1B,kDAAkD;YAClD,MAAM,cAAc,GAAG,kBAAkB,CAAC,QAAQ,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;YAE7E,MAAM,GAAG,GAAG,GAAG,YAAY,IAAI,QAAQ,EAAE,CAAC;YAC1C,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YACjC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAEnB,SAAS,CAAC,IAAI,CAAC;gBACb,QAAQ,EAAE,YAAY;gBACtB,QAAQ,EAAE,QAAQ;gBAClB,UAAU;gBACV,gBAAgB,EAAE,IAAI;gBACtB,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAClE,QAAQ,EAAE;oBACR,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE;oBACrC,UAAU,EAAE,CAAC;oBACb,QAAQ,EAAE,CAAC;iBACZ;gBACD,cAAc,EAAE,cAAc,IAAI,SAAS;gBAC3C,iBAAiB,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aAC5E,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,SAAS,EAAE,GAAG,SAAS,CAAC,CAAC;AACtC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CACvC,SAA2B,EAC3B,mBAAqC,EACrC,cAA8B,EAC9B,QAAgB;IAEhB,MAAM,WAAW,GAAG,IAAI,GAAG,EAA0B,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,mBAAmB;QAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAEhE,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEnE,6DAA6D;IAC7D,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,SAAS;SACN,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,CAAC;SACjD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAC1B,CAAC;IAEF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,SAAS,GAAqB,EAAE,CAAC;IAEvC,yFAAyF;IACzF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,SAAS,YAAY,CAAC,IAAY,EAAE,KAAa;QAC/C,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,QAAQ;YAAE,OAAO;QACtB,IAAI,IAAI,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;YACjC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;YAC1C,YAAY,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IACD,YAAY,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAErC,4DAA4D;IAC5D,OAAO,CAAC,KAAK,EAAE,CAAC;IAEhB,SAAS,IAAI,CAAC,IAAY;QACxB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,QAAQ;YAAE,OAAO;QACtB,wDAAwD;QACxD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,aAAa;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAEtD,wEAAwE;QACxE,IAAI,IAAI,KAAK,cAAc,CAAC,IAAI;YAAE,OAAO;QAEzC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;YACtC,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,SAAS;gBAAE,SAAS;YACtE,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YACvC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEzB,SAAS,CAAC,IAAI,CAAC;gBACb,QAAQ,EAAE,cAAc,CAAC,IAAI;gBAC7B,QAAQ,EAAE,IAAI,CAAC,IAAI;gBACnB,UAAU,EAAE,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU;gBACxE,gBAAgB,EAAG,IAAI,CAAC,eAA8D,IAAI,IAAI;gBAC9F,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE;gBACxD,cAAc,EAAE,IAAI;gBACpB,iBAAiB,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;aAC3C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;IAC1B,OAAO,CAAC,GAAG,SAAS,EAAE,GAAG,SAAS,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,oBAAoB,CAAC,GAAW;IACvC,MAAM,UAAU,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;IAC5C,IAAI,UAAU,KAAK,UAAU;QAAE,OAAO,UAAU,CAAC;IACjD,IAAI,UAAU,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC7C,IAAI,UAAU,KAAK,UAAU;QAAE,OAAO,UAAU,CAAC;IACjD,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,kBAAkB,CACzB,QAAgB,EAChB,OAAiB,EACjB,YAAsC;IAEtC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CACrC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ,CACxD,CAAC;QACF,IAAI,aAAa;YAAE,OAAO,MAAM,CAAC;IACnC,CAAC;IACD,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC5B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAC5B,SAA2B,EAC3B,SAA2B,EAC3B,cAA+C;IAE/C,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAA6B,CAAC;IAEjE,oDAAoD;IACpD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACjC,IAAI,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC5C,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,mBAAmB,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACpE,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC;gBACjC,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;aACxB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,sCAAsC;IACtC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,OAAO;gBAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED,sCAAsC;IACtC,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,mBAAmB,EAAE,CAAC;QACpD,MAAM,OAAO,GAAG,sBAAsB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrD,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;QAE3C,uCAAuC;QACvC,IAAI,UAAU,GAA8B,KAAK,CAAC;QAClD,IAAI,WAAW,GAAyC,WAAW,CAAC;QACpE,IAAI,WAAW,GAAG,qCAAqC,QAAQ,GAAG,CAAC;QACnE,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,IAAI,UAAU,GAAG,KAAK,CAAC;QAEvB,uDAAuD;QACvD,IAAI,QAAQ,KAAK,WAAW,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1D,UAAU,GAAG,MAAM,CAAC;YACpB,WAAW,GAAG,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;YACtD,WAAW,GAAG,kDAAkD,CAAC;YACjE,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;aAAM,IAAI,QAAQ,KAAK,WAAW,IAAI,UAAU,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;YACtE,UAAU,GAAG,MAAM,CAAC;YACpB,WAAW,GAAG,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;YACtD,WAAW,GAAG,mEAAmE,CAAC;YAClF,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;aAAM,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;YACnC,UAAU,GAAG,QAAQ,CAAC;YACtB,WAAW,GAAG,UAAU,CAAC;YACzB,WAAW,GAAG,gDAAgD,CAAC;YAC/D,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;aAAM,IAAI,OAAO,EAAE,CAAC;YACnB,UAAU,GAAG,KAAK,CAAC;YACnB,QAAQ,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;YAC1E,QAAQ,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;QACvE,CAAC;aAAM,CAAC;YACN,UAAU,GAAG,KAAK,CAAC;YACnB,QAAQ,CAAC,IAAI,CAAC,qBAAqB,QAAQ,wCAAwC,CAAC,CAAC;YACrF,QAAQ,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;QACvE,CAAC;QAED,MAAM,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,gBAAgB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC/E,IAAI,CAAC,qBAAqB,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,kBAAkB,IAAI,4DAA4D,CAAC,CAAC;QACpG,CAAC;QAED,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,QAAQ;YACd,WAAW;YACX,UAAU;YACV,YAAY,EAAE,WAAW;YACzB,SAAS,EAAE,uBAAuB,QAAQ,YAAY;YACtD,QAAQ;YACR,SAAS,EAAE,KAAK;YAChB,QAAQ;YACR,IAAI;YACJ,wBAAwB,EAAE,qBAAqB;SAChD,CAAC,CAAC;IACL,CAAC;IAED,8DAA8D;IAC9D,MAAM,gBAAgB,GAAsB,EAAE,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAC3C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CACpC,CAAC;QACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,gBAAgB,CAAC,IAAI,CAAC;gBACpB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;aACxB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,uBAAuB;YACpC,UAAU,EAAE,MAAM;YAClB,YAAY,EAAE,UAAU;YACxB,SAAS,EAAE,4DAA4D;YACvE,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,gBAAgB;YAC3B,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,gBAAgB;YACtB,wBAAwB,EAAE,IAAI;SAC/B,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,QAAgB;IACvC,kCAAkC;IAClC,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}
@@ -0,0 +1,51 @@
1
+ import type { AccessControl, ExternalCalls, StateVars } from '../types/index.js';
2
+ import type { PatternResult } from './pattern-detection.js';
3
+ import type { ConstraintResult } from './constraint-extraction.js';
4
+ export interface EntryPoint {
5
+ contract: string;
6
+ function: string;
7
+ visibility: string;
8
+ state_mutability: string;
9
+ modifiers: string[];
10
+ mutates: string[];
11
+ patterns: string[];
12
+ file: string;
13
+ line: number;
14
+ }
15
+ export interface TokenInteraction {
16
+ contract: string;
17
+ function: string;
18
+ target: string;
19
+ direction: 'in' | 'out' | 'both';
20
+ mechanism: string;
21
+ file: string;
22
+ }
23
+ export interface ExternalDependency {
24
+ target: string;
25
+ type: string;
26
+ trust: string;
27
+ called_by: string[];
28
+ }
29
+ export interface AttackSurfaceResult {
30
+ entry_points: {
31
+ permissionless: EntryPoint[];
32
+ role_gated: EntryPoint[];
33
+ owner_only: EntryPoint[];
34
+ };
35
+ token_interactions: TokenInteraction[];
36
+ external_dependencies: ExternalDependency[];
37
+ risk_signals: string[];
38
+ summary: {
39
+ total_entry_points: number;
40
+ permissionless_count: number;
41
+ role_gated_count: number;
42
+ owner_only_count: number;
43
+ external_dependency_count: number;
44
+ risk_signal_count: number;
45
+ };
46
+ }
47
+ /**
48
+ * Build an attack surface summary by cross-referencing existing analysis outputs.
49
+ */
50
+ export declare function buildAttackSurface(access: AccessControl | null, calls: ExternalCalls | null, stateVars: StateVars | null, patterns: PatternResult | null, constraints: ConstraintResult | null): AttackSurfaceResult;
51
+ //# sourceMappingURL=attack-surface.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"attack-surface.d.ts","sourceRoot":"","sources":["../../src/analysis/attack-surface.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,IAAI,GAAG,KAAK,GAAG,MAAM,CAAC;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,mBAAmB;IAClC,YAAY,EAAE;QACZ,cAAc,EAAE,UAAU,EAAE,CAAC;QAC7B,UAAU,EAAE,UAAU,EAAE,CAAC;QACzB,UAAU,EAAE,UAAU,EAAE,CAAC;KAC1B,CAAC;IACF,kBAAkB,EAAE,gBAAgB,EAAE,CAAC;IACvC,qBAAqB,EAAE,kBAAkB,EAAE,CAAC;IAC5C,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,OAAO,EAAE;QACP,kBAAkB,EAAE,MAAM,CAAC;QAC3B,oBAAoB,EAAE,MAAM,CAAC;QAC7B,gBAAgB,EAAE,MAAM,CAAC;QACzB,gBAAgB,EAAE,MAAM,CAAC;QACzB,yBAAyB,EAAE,MAAM,CAAC;QAClC,iBAAiB,EAAE,MAAM,CAAC;KAC3B,CAAC;CACH;AAsBD;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,aAAa,GAAG,IAAI,EAC5B,KAAK,EAAE,aAAa,GAAG,IAAI,EAC3B,SAAS,EAAE,SAAS,GAAG,IAAI,EAC3B,QAAQ,EAAE,aAAa,GAAG,IAAI,EAC9B,WAAW,EAAE,gBAAgB,GAAG,IAAI,GACnC,mBAAmB,CAgNrB"}