@pikku/inspector 0.12.50 → 0.12.54
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.
- package/CHANGELOG.md +743 -0
- package/OPTIMIZATION-PLAN.md +9 -3
- package/dist/add/add-auth.d.ts +1 -1
- package/dist/add/add-auth.js +1 -1
- package/dist/add/add-cli.js +7 -0
- package/dist/add/add-credential.js +1 -1
- package/dist/add/add-functions.js +199 -8
- package/dist/add/add-http-route.js +16 -6
- package/dist/add/add-middleware.js +46 -3
- package/dist/add/add-personas.d.ts +13 -0
- package/dist/add/add-personas.js +216 -0
- package/dist/add/add-scope.js +1 -1
- package/dist/add/add-secret.js +1 -1
- package/dist/add/add-system-role.d.ts +2 -0
- package/dist/add/add-system-role.js +102 -0
- package/dist/add/add-variable.js +1 -1
- package/dist/add/add-wire-addon.js +31 -0
- package/dist/add/add-workflow.js +12 -1
- package/dist/error-codes.d.ts +17 -1
- package/dist/error-codes.js +23 -0
- package/dist/index.d.ts +1 -1
- package/dist/inspector.js +33 -1
- package/dist/types.d.ts +55 -2
- package/dist/utils/annotate-http-route-auth.d.ts +22 -0
- package/dist/utils/annotate-http-route-auth.js +48 -0
- package/dist/utils/check-secret-sinks.d.ts +31 -0
- package/dist/utils/check-secret-sinks.js +117 -0
- package/dist/utils/extract-function-name.js +13 -4
- package/dist/utils/extract-function-node.js +18 -1
- package/dist/utils/extract-secret-usage.d.ts +9 -0
- package/dist/utils/extract-secret-usage.js +61 -0
- package/dist/utils/literal-properties.d.ts +22 -0
- package/dist/utils/literal-properties.js +69 -0
- package/dist/utils/load-addon-functions-meta.js +26 -1
- package/dist/utils/permissions.js +8 -0
- package/dist/utils/post-process.d.ts +68 -3
- package/dist/utils/post-process.js +246 -13
- package/dist/utils/secret-alias-services.d.ts +8 -0
- package/dist/utils/secret-alias-services.js +45 -0
- package/dist/utils/secret-brokers.d.ts +2 -0
- package/dist/utils/secret-brokers.js +9 -0
- package/dist/utils/serialize-inspector-state.d.ts +10 -0
- package/dist/utils/serialize-inspector-state.js +18 -0
- package/dist/utils/serialize-middleware-groups-meta.js +3 -0
- package/dist/utils/single-declaration.d.ts +32 -0
- package/dist/utils/single-declaration.js +43 -0
- package/dist/utils/validate-exposed-functions-gated.d.ts +14 -0
- package/dist/utils/validate-exposed-functions-gated.js +93 -0
- package/dist/utils/validate-tags-resolve-to-middleware.d.ts +20 -0
- package/dist/utils/validate-tags-resolve-to-middleware.js +41 -0
- package/dist/utils/workflow/dsl/extract-dsl-workflow.d.ts +6 -0
- package/dist/utils/workflow/dsl/extract-dsl-workflow.js +48 -1
- package/dist/utils/workflow/dsl/patterns.d.ts +9 -4
- package/dist/utils/workflow/dsl/patterns.js +26 -4
- package/dist/visit.js +4 -0
- package/package.json +3 -3
- package/src/add/add-auth.test.ts +5 -3
- package/src/add/add-auth.ts +1 -1
- package/src/add/add-cli.ts +8 -0
- package/src/add/add-credential.ts +1 -1
- package/src/add/add-functions.test.ts +263 -1
- package/src/add/add-functions.ts +273 -11
- package/src/add/add-http-route.ts +20 -7
- package/src/add/add-middleware.test.ts +196 -0
- package/src/add/add-middleware.ts +64 -4
- package/src/add/add-personas.test.ts +382 -0
- package/src/add/add-personas.ts +285 -0
- package/src/add/add-scenario-step.test.ts +87 -5
- package/src/add/add-scope.test.ts +103 -30
- package/src/add/add-scope.ts +1 -1
- package/src/add/add-secret.ts +1 -1
- package/src/add/add-subject-scenario-steps.test.ts +161 -0
- package/src/add/add-system-role.test.ts +297 -0
- package/src/add/add-system-role.ts +164 -0
- package/src/add/add-variable.ts +1 -1
- package/src/add/add-wire-addon.test.ts +111 -0
- package/src/add/add-wire-addon.ts +29 -0
- package/src/add/add-workflow.ts +21 -1
- package/src/add/addon-bans.test.ts +4 -4
- package/src/add/allow-escape-hatches.test.ts +144 -0
- package/src/add/audit-meta.test.ts +75 -0
- package/src/add/config-value-metadata.test.ts +11 -11
- package/src/add/secret-sink-check.test.ts +211 -0
- package/src/add/wire-name-literal.test.ts +2 -2
- package/src/error-codes.ts +26 -0
- package/src/index.ts +4 -1
- package/src/inspector.ts +39 -0
- package/src/types.ts +56 -2
- package/src/utils/annotate-http-route-auth.test.ts +163 -0
- package/src/utils/annotate-http-route-auth.ts +52 -0
- package/src/utils/check-secret-sinks.ts +145 -0
- package/src/utils/extract-function-name.ts +14 -4
- package/src/utils/extract-function-node.ts +18 -6
- package/src/utils/extract-secret-usage.test.ts +81 -0
- package/src/utils/extract-secret-usage.ts +73 -0
- package/src/utils/literal-properties.ts +97 -0
- package/src/utils/load-addon-functions-meta.ts +32 -2
- package/src/utils/permissions-shorthand.test.ts +79 -0
- package/src/utils/permissions.ts +7 -0
- package/src/utils/post-process.test.ts +133 -0
- package/src/utils/post-process.ts +313 -12
- package/src/utils/secret-alias-services.test.ts +146 -0
- package/src/utils/secret-alias-services.ts +58 -0
- package/src/utils/secret-brokers.test.ts +53 -0
- package/src/utils/secret-brokers.ts +11 -0
- package/src/utils/serialize-inspector-state.ts +28 -0
- package/src/utils/serialize-middleware-groups-meta.ts +3 -0
- package/src/utils/single-declaration.ts +57 -0
- package/src/utils/validate-exposed-functions-gated.test.ts +230 -0
- package/src/utils/validate-exposed-functions-gated.ts +103 -0
- package/src/utils/validate-tags-resolve-to-middleware.test.ts +105 -0
- package/src/utils/validate-tags-resolve-to-middleware.ts +48 -0
- package/src/utils/workflow/dsl/extract-dsl-workflow.ts +57 -0
- package/src/utils/workflow/dsl/patterns.ts +33 -4
- package/src/visit.ts +4 -0
- package/tsconfig.tsbuildinfo +1 -1
|
@@ -1,3 +1,4 @@
|
|
|
1
|
+
import type { SecretUsage } from './extract-secret-usage.js'
|
|
1
2
|
import type { JSONValue } from '@pikku/core'
|
|
2
3
|
import type {
|
|
3
4
|
InspectorDiagnostic,
|
|
@@ -201,6 +202,7 @@ export interface SerializableInspectorState {
|
|
|
201
202
|
secrets: {
|
|
202
203
|
definitions: InspectorState['secrets']['definitions']
|
|
203
204
|
files: string[]
|
|
205
|
+
usage: Record<string, SecretUsage>
|
|
204
206
|
}
|
|
205
207
|
credentials: {
|
|
206
208
|
definitions: InspectorState['credentials']['definitions']
|
|
@@ -210,6 +212,14 @@ export interface SerializableInspectorState {
|
|
|
210
212
|
definitions: InspectorState['scopes']['definitions']
|
|
211
213
|
files: string[]
|
|
212
214
|
}
|
|
215
|
+
systemRoles: {
|
|
216
|
+
definitions: InspectorState['systemRoles']['definitions']
|
|
217
|
+
files: string[]
|
|
218
|
+
}
|
|
219
|
+
personas: {
|
|
220
|
+
definitions: InspectorState['personas']['definitions']
|
|
221
|
+
files: string[]
|
|
222
|
+
}
|
|
213
223
|
variables: {
|
|
214
224
|
definitions: InspectorState['variables']['definitions']
|
|
215
225
|
files: string[]
|
|
@@ -416,6 +426,7 @@ export function serializeInspectorState(
|
|
|
416
426
|
secrets: {
|
|
417
427
|
definitions: state.secrets.definitions,
|
|
418
428
|
files: Array.from(state.secrets.files),
|
|
429
|
+
usage: Object.fromEntries(state.secrets.usage),
|
|
419
430
|
},
|
|
420
431
|
credentials: {
|
|
421
432
|
definitions: state.credentials.definitions,
|
|
@@ -425,6 +436,14 @@ export function serializeInspectorState(
|
|
|
425
436
|
definitions: state.scopes.definitions,
|
|
426
437
|
files: Array.from(state.scopes.files),
|
|
427
438
|
},
|
|
439
|
+
systemRoles: {
|
|
440
|
+
definitions: state.systemRoles.definitions,
|
|
441
|
+
files: Array.from(state.systemRoles.files),
|
|
442
|
+
},
|
|
443
|
+
personas: {
|
|
444
|
+
definitions: state.personas.definitions,
|
|
445
|
+
files: Array.from(state.personas.files),
|
|
446
|
+
},
|
|
428
447
|
variables: {
|
|
429
448
|
definitions: state.variables.definitions,
|
|
430
449
|
files: Array.from(state.variables.files),
|
|
@@ -611,6 +630,7 @@ export function deserializeInspectorState(
|
|
|
611
630
|
secrets: {
|
|
612
631
|
definitions: data.secrets?.definitions || [],
|
|
613
632
|
files: new Set(data.secrets?.files || []),
|
|
633
|
+
usage: new Map(Object.entries(data.secrets?.usage || {})),
|
|
614
634
|
},
|
|
615
635
|
credentials: {
|
|
616
636
|
definitions: data.credentials?.definitions || [],
|
|
@@ -620,6 +640,14 @@ export function deserializeInspectorState(
|
|
|
620
640
|
definitions: data.scopes?.definitions || [],
|
|
621
641
|
files: new Set(data.scopes?.files || []),
|
|
622
642
|
},
|
|
643
|
+
systemRoles: {
|
|
644
|
+
definitions: data.systemRoles?.definitions || [],
|
|
645
|
+
files: new Set(data.systemRoles?.files || []),
|
|
646
|
+
},
|
|
647
|
+
personas: {
|
|
648
|
+
definitions: data.personas?.definitions || [],
|
|
649
|
+
files: new Set(data.personas?.files || []),
|
|
650
|
+
},
|
|
623
651
|
variables: {
|
|
624
652
|
definitions: data.variables?.definitions || [],
|
|
625
653
|
files: new Set(data.variables?.files || []),
|
|
@@ -0,0 +1,57 @@
|
|
|
1
|
+
import type { ErrorCode } from '../error-codes.js'
|
|
2
|
+
import type { InspectorLogger } from '../types.js'
|
|
3
|
+
|
|
4
|
+
/**
|
|
5
|
+
* Claims the one call site a single-declaration construct is allowed.
|
|
6
|
+
*
|
|
7
|
+
* `definePersonas` takes a keyed object, so one call already declares as many
|
|
8
|
+
* entries as you like. Letting the call itself repeat buys nothing and costs
|
|
9
|
+
* the thing that matters: a single place to read the declared set from, and a
|
|
10
|
+
* single place to add to it. The same rule `pikkuBetterAuth` has had all along.
|
|
11
|
+
*
|
|
12
|
+
* A second call in the SAME file is refused too — "the file" is not an answer
|
|
13
|
+
* to "where do I add a persona?" when the file holds two calls, so allowing it
|
|
14
|
+
* would keep the ambiguity the rule exists to remove.
|
|
15
|
+
*
|
|
16
|
+
* A generated file is exempt, and never claims the slot either. The rule exists
|
|
17
|
+
* to name the one place a person adds to, and nobody adds to a file the CLI
|
|
18
|
+
* rewrites on the next run — `pikku-personas.gen.ts` would otherwise make every
|
|
19
|
+
* project that scaffolds one unbuildable, and take the app's own declaration
|
|
20
|
+
* down with it.
|
|
21
|
+
*
|
|
22
|
+
* `defineScope` and `defineSystemRole` held this rule too, briefly, and do not
|
|
23
|
+
* until the `admin` tree stops being app-declared. The exemption above is not
|
|
24
|
+
* enough for them: the CLI generates a `defineScope` in `user-admin.gen.ts` and
|
|
25
|
+
* `@pikku/addon-console` spells the same tree out again in a hand-written file,
|
|
26
|
+
* so two non-generated declarations remain and the build still fails. The fix
|
|
27
|
+
* is for `admin` to be a default scope nobody declares, and the rule comes back
|
|
28
|
+
* for scopes and roles once that lands.
|
|
29
|
+
*
|
|
30
|
+
* @param files - The construct's `files` set, which doubles as the claim.
|
|
31
|
+
* @returns true when the caller holds the claim and should carry on.
|
|
32
|
+
*/
|
|
33
|
+
export const claimSingleDeclaration = (
|
|
34
|
+
logger: InspectorLogger,
|
|
35
|
+
files: Set<string>,
|
|
36
|
+
code: ErrorCode,
|
|
37
|
+
helper: string,
|
|
38
|
+
sourceFile: string
|
|
39
|
+
): boolean => {
|
|
40
|
+
if (sourceFile.endsWith('.gen.ts')) {
|
|
41
|
+
return true
|
|
42
|
+
}
|
|
43
|
+
|
|
44
|
+
const [first] = files
|
|
45
|
+
if (first === undefined) {
|
|
46
|
+
files.add(sourceFile)
|
|
47
|
+
return true
|
|
48
|
+
}
|
|
49
|
+
|
|
50
|
+
logger.critical(
|
|
51
|
+
code,
|
|
52
|
+
first === sourceFile
|
|
53
|
+
? `Only one ${helper}(...) is allowed per codebase, so there is one place to read the declarations from and one place to add to. Found a second call in ${sourceFile}. Declare them all in one call.`
|
|
54
|
+
: `Only one ${helper}(...) is allowed per codebase, so there is one place to read the declarations from and one place to add to. Found a second in ${sourceFile} (first: ${first}). Declare them all in one call.`
|
|
55
|
+
)
|
|
56
|
+
return false
|
|
57
|
+
}
|
|
@@ -0,0 +1,230 @@
|
|
|
1
|
+
import assert from 'node:assert/strict'
|
|
2
|
+
import { describe, test, beforeEach } from 'node:test'
|
|
3
|
+
import { ErrorCode } from '../error-codes.js'
|
|
4
|
+
import { validateExposedFunctionsGated } from './validate-exposed-functions-gated.js'
|
|
5
|
+
|
|
6
|
+
const ADDON_PACKAGE = '@addon/console'
|
|
7
|
+
|
|
8
|
+
let diagnostics: Array<{ severity: string; code: string; message: string }>
|
|
9
|
+
|
|
10
|
+
const logger = {
|
|
11
|
+
debug: () => {},
|
|
12
|
+
info: () => {},
|
|
13
|
+
warn: () => {},
|
|
14
|
+
error: () => {},
|
|
15
|
+
critical: () => {},
|
|
16
|
+
diagnostic: (d: any) => diagnostics.push(d),
|
|
17
|
+
hasCriticalErrors: () => false,
|
|
18
|
+
} as any
|
|
19
|
+
|
|
20
|
+
/**
|
|
21
|
+
* The two pieces of state the check reads: every function's meta, and every
|
|
22
|
+
* wireAddon declaration the inspector found.
|
|
23
|
+
*/
|
|
24
|
+
const stateWith = (
|
|
25
|
+
meta: Record<string, unknown>,
|
|
26
|
+
addons: Record<string, unknown> = {}
|
|
27
|
+
) =>
|
|
28
|
+
({
|
|
29
|
+
functions: { meta },
|
|
30
|
+
rpc: { wireAddonDeclarations: new Map(Object.entries(addons)) },
|
|
31
|
+
}) as any
|
|
32
|
+
|
|
33
|
+
/** An exposed sessionless function with no gate of any kind — the bad shape. */
|
|
34
|
+
const ungatedFunction = (overrides: Record<string, unknown> = {}) => ({
|
|
35
|
+
pikkuFuncId: 'credentialGet',
|
|
36
|
+
expose: true,
|
|
37
|
+
sessionless: true,
|
|
38
|
+
...overrides,
|
|
39
|
+
})
|
|
40
|
+
|
|
41
|
+
const run = (state: any) => {
|
|
42
|
+
validateExposedFunctionsGated(logger, state)
|
|
43
|
+
return diagnostics
|
|
44
|
+
}
|
|
45
|
+
|
|
46
|
+
const warning = () => {
|
|
47
|
+
const found = diagnostics.find(
|
|
48
|
+
(d) => d.code === ErrorCode.EXPOSED_FUNCTION_HAS_NO_GATE
|
|
49
|
+
)
|
|
50
|
+
return found
|
|
51
|
+
}
|
|
52
|
+
|
|
53
|
+
beforeEach(() => {
|
|
54
|
+
diagnostics = []
|
|
55
|
+
})
|
|
56
|
+
|
|
57
|
+
describe('validateExposedFunctionsGated', () => {
|
|
58
|
+
test('warns about an exposed sessionless function with no gate', () => {
|
|
59
|
+
run(stateWith({ credentialGet: ungatedFunction() }))
|
|
60
|
+
|
|
61
|
+
const found = warning()
|
|
62
|
+
assert.ok(found, 'expected a diagnostic')
|
|
63
|
+
assert.equal(found.severity, 'warn')
|
|
64
|
+
assert.match(found.message, /credentialGet/)
|
|
65
|
+
})
|
|
66
|
+
|
|
67
|
+
test('names every ungated function, not just a count', () => {
|
|
68
|
+
run(
|
|
69
|
+
stateWith({
|
|
70
|
+
credentialGet: ungatedFunction(),
|
|
71
|
+
installAddon: ungatedFunction({ pikkuFuncId: 'installAddon' }),
|
|
72
|
+
})
|
|
73
|
+
)
|
|
74
|
+
|
|
75
|
+
assert.match(warning()!.message, /credentialGet/)
|
|
76
|
+
assert.match(warning()!.message, /installAddon/)
|
|
77
|
+
})
|
|
78
|
+
|
|
79
|
+
test('stays silent for a function that is not exposed', () => {
|
|
80
|
+
run(stateWith({ credentialGet: ungatedFunction({ expose: undefined }) }))
|
|
81
|
+
|
|
82
|
+
assert.equal(warning(), undefined)
|
|
83
|
+
})
|
|
84
|
+
|
|
85
|
+
test('stays silent for a pikkuFunc, which always requires a session', () => {
|
|
86
|
+
run(stateWith({ credentialGet: ungatedFunction({ sessionless: false }) }))
|
|
87
|
+
|
|
88
|
+
assert.equal(warning(), undefined)
|
|
89
|
+
})
|
|
90
|
+
|
|
91
|
+
test('stays silent for a scenario step, which rpcExposed refuses anyway', () => {
|
|
92
|
+
run(stateWith({ step: ungatedFunction({ scenarioStep: true }) }))
|
|
93
|
+
|
|
94
|
+
assert.equal(warning(), undefined)
|
|
95
|
+
})
|
|
96
|
+
|
|
97
|
+
describe('a function that gates itself', () => {
|
|
98
|
+
test('is silent when it declares auth', () => {
|
|
99
|
+
run(stateWith({ credentialGet: ungatedFunction({ auth: true }) }))
|
|
100
|
+
|
|
101
|
+
assert.equal(warning(), undefined)
|
|
102
|
+
})
|
|
103
|
+
|
|
104
|
+
test('is silent when it declares it authenticates in its own body', () => {
|
|
105
|
+
// A webhook receiver verifying a signature has a real gate this check
|
|
106
|
+
// cannot see. Without a way to say so the warning would fire forever on
|
|
107
|
+
// functions that are fine, and a warning that is usually wrong is one
|
|
108
|
+
// nobody reads.
|
|
109
|
+
run(
|
|
110
|
+
stateWith({
|
|
111
|
+
stripeWebhook: ungatedFunction({ permissionsInBody: true }),
|
|
112
|
+
})
|
|
113
|
+
)
|
|
114
|
+
|
|
115
|
+
assert.equal(warning(), undefined)
|
|
116
|
+
})
|
|
117
|
+
|
|
118
|
+
test('still warns when the declaration is explicitly false', () => {
|
|
119
|
+
run(
|
|
120
|
+
stateWith({
|
|
121
|
+
credentialGet: ungatedFunction({ permissionsInBody: false }),
|
|
122
|
+
})
|
|
123
|
+
)
|
|
124
|
+
|
|
125
|
+
assert.ok(warning())
|
|
126
|
+
})
|
|
127
|
+
|
|
128
|
+
test('is silent when it declares scopes', () => {
|
|
129
|
+
run(stateWith({ credentialGet: ungatedFunction({ scopes: ['admin'] }) }))
|
|
130
|
+
|
|
131
|
+
assert.equal(warning(), undefined)
|
|
132
|
+
})
|
|
133
|
+
|
|
134
|
+
test('is silent when it declares permissions', () => {
|
|
135
|
+
run(
|
|
136
|
+
stateWith({
|
|
137
|
+
credentialGet: ungatedFunction({
|
|
138
|
+
permissions: [{ type: 'wire', name: 'isAdmin' }],
|
|
139
|
+
}),
|
|
140
|
+
})
|
|
141
|
+
)
|
|
142
|
+
|
|
143
|
+
assert.equal(warning(), undefined)
|
|
144
|
+
})
|
|
145
|
+
|
|
146
|
+
test('still warns when scopes is present but empty', () => {
|
|
147
|
+
run(stateWith({ credentialGet: ungatedFunction({ scopes: [] }) }))
|
|
148
|
+
|
|
149
|
+
assert.ok(warning(), 'an empty scopes array gates nothing')
|
|
150
|
+
})
|
|
151
|
+
})
|
|
152
|
+
|
|
153
|
+
describe('a function gated by its addon', () => {
|
|
154
|
+
test('is silent when the addon declares scopes', () => {
|
|
155
|
+
run(
|
|
156
|
+
stateWith(
|
|
157
|
+
{
|
|
158
|
+
credentialGet: ungatedFunction({ packageName: ADDON_PACKAGE }),
|
|
159
|
+
},
|
|
160
|
+
{ console: { package: ADDON_PACKAGE, scopes: ['admin'] } }
|
|
161
|
+
)
|
|
162
|
+
)
|
|
163
|
+
|
|
164
|
+
assert.equal(warning(), undefined)
|
|
165
|
+
})
|
|
166
|
+
|
|
167
|
+
test('is silent when the addon declares auth', () => {
|
|
168
|
+
run(
|
|
169
|
+
stateWith(
|
|
170
|
+
{
|
|
171
|
+
credentialGet: ungatedFunction({ packageName: ADDON_PACKAGE }),
|
|
172
|
+
},
|
|
173
|
+
{ console: { package: ADDON_PACKAGE, auth: true } }
|
|
174
|
+
)
|
|
175
|
+
)
|
|
176
|
+
|
|
177
|
+
assert.equal(warning(), undefined)
|
|
178
|
+
})
|
|
179
|
+
|
|
180
|
+
test('warns when the addon is wired without any gate', () => {
|
|
181
|
+
run(
|
|
182
|
+
stateWith(
|
|
183
|
+
{
|
|
184
|
+
credentialGet: ungatedFunction({ packageName: ADDON_PACKAGE }),
|
|
185
|
+
},
|
|
186
|
+
{ console: { package: ADDON_PACKAGE } }
|
|
187
|
+
)
|
|
188
|
+
)
|
|
189
|
+
|
|
190
|
+
assert.ok(warning(), 'wireAddon with no scopes or auth gates nothing')
|
|
191
|
+
})
|
|
192
|
+
|
|
193
|
+
test('warns when the gated addon is a different package', () => {
|
|
194
|
+
run(
|
|
195
|
+
stateWith(
|
|
196
|
+
{
|
|
197
|
+
credentialGet: ungatedFunction({ packageName: ADDON_PACKAGE }),
|
|
198
|
+
},
|
|
199
|
+
{ other: { package: '@addon/other', scopes: ['admin'] } }
|
|
200
|
+
)
|
|
201
|
+
)
|
|
202
|
+
|
|
203
|
+
assert.ok(warning())
|
|
204
|
+
})
|
|
205
|
+
|
|
206
|
+
test('is silent when any one instance of the package is gated', () => {
|
|
207
|
+
// resolveAddonScopes unions across every instance of the package, so a
|
|
208
|
+
// second ungated namespace does not open the first.
|
|
209
|
+
run(
|
|
210
|
+
stateWith(
|
|
211
|
+
{
|
|
212
|
+
credentialGet: ungatedFunction({ packageName: ADDON_PACKAGE }),
|
|
213
|
+
},
|
|
214
|
+
{
|
|
215
|
+
console: { package: ADDON_PACKAGE, scopes: ['admin'] },
|
|
216
|
+
consoleReadonly: { package: ADDON_PACKAGE },
|
|
217
|
+
}
|
|
218
|
+
)
|
|
219
|
+
)
|
|
220
|
+
|
|
221
|
+
assert.equal(warning(), undefined)
|
|
222
|
+
})
|
|
223
|
+
})
|
|
224
|
+
|
|
225
|
+
test('stays silent when nothing is exposed', () => {
|
|
226
|
+
run(stateWith({}))
|
|
227
|
+
|
|
228
|
+
assert.equal(diagnostics.length, 0)
|
|
229
|
+
})
|
|
230
|
+
})
|
|
@@ -0,0 +1,103 @@
|
|
|
1
|
+
import { ErrorCode } from '../error-codes.js'
|
|
2
|
+
import type { InspectorLogger, InspectorState } from '../types.js'
|
|
3
|
+
|
|
4
|
+
/**
|
|
5
|
+
* A function reachable through the generated `POST /rpc/:rpcName` dispatcher
|
|
6
|
+
* that nothing will stop.
|
|
7
|
+
*
|
|
8
|
+
* `rpc.exposed` refuses anything without `expose: true`, so the population is
|
|
9
|
+
* small and deliberate — someone typed it. What makes one dangerous is the
|
|
10
|
+
* combination: exposed, sessionless, and carrying no gate of its own or from
|
|
11
|
+
* the addon it belongs to. The dispatcher cannot help, because it does not know
|
|
12
|
+
* what it is dispatching to.
|
|
13
|
+
*
|
|
14
|
+
* knowledge: decisions/security/console-addon-privileged-functions-gate-themselves.md
|
|
15
|
+
*/
|
|
16
|
+
export function validateExposedFunctionsGated(
|
|
17
|
+
logger: InspectorLogger,
|
|
18
|
+
state: InspectorState
|
|
19
|
+
): void {
|
|
20
|
+
const ungated: string[] = []
|
|
21
|
+
|
|
22
|
+
for (const [funcName, meta] of Object.entries(state.functions.meta)) {
|
|
23
|
+
if (!meta.expose) continue
|
|
24
|
+
|
|
25
|
+
// A pikkuFunc always requires a session, on every path.
|
|
26
|
+
if (meta.sessionless === false) continue
|
|
27
|
+
|
|
28
|
+
// Scenario steps are refused by rpcExposed regardless of `expose`.
|
|
29
|
+
if (meta.scenarioStep) continue
|
|
30
|
+
|
|
31
|
+
// The author declared that the body authorizes its own callers — a gate
|
|
32
|
+
// this check has no way to see. Taking the claim at face value is the
|
|
33
|
+
// point: without it the warning fires forever on functions that are fine,
|
|
34
|
+
// and a warning that is usually wrong stops being read.
|
|
35
|
+
if (meta.permissionsInBody === true) continue
|
|
36
|
+
|
|
37
|
+
// The function gates itself.
|
|
38
|
+
if (meta.auth === true) continue
|
|
39
|
+
if (meta.scopes && meta.scopes.length > 0) continue
|
|
40
|
+
if (meta.permissions && meta.permissions.length > 0) continue
|
|
41
|
+
|
|
42
|
+
if (isGatedByItsAddon(state, meta.packageName)) continue
|
|
43
|
+
|
|
44
|
+
ungated.push(funcName)
|
|
45
|
+
}
|
|
46
|
+
|
|
47
|
+
if (ungated.length === 0) return
|
|
48
|
+
|
|
49
|
+
const shown = ungated.slice(0, 10)
|
|
50
|
+
const rest = ungated.length - shown.length
|
|
51
|
+
|
|
52
|
+
const one = ungated.length === 1
|
|
53
|
+
|
|
54
|
+
// Every function here is sessionless — that is the population, not the
|
|
55
|
+
// finding, so the message names it as given rather than reporting it as a
|
|
56
|
+
// defect. The remedies are the ones that can actually apply to an anonymous
|
|
57
|
+
// caller: `scopes` cannot, because `verifyScopes` fails closed on a session
|
|
58
|
+
// that does not exist, and telling someone to add them sends them to a
|
|
59
|
+
// MissingScopeError on every public request.
|
|
60
|
+
logger.diagnostic({
|
|
61
|
+
severity: 'warn',
|
|
62
|
+
code: ErrorCode.EXPOSED_FUNCTION_HAS_NO_GATE,
|
|
63
|
+
message:
|
|
64
|
+
`${ungated.length} exposed sessionless function${one ? '' : 's'} ` +
|
|
65
|
+
`carr${one ? 'ies' : 'y'} no permission and no addon gate, so ` +
|
|
66
|
+
`${one ? 'it is' : 'they are'} reachable by anyone through ` +
|
|
67
|
+
`POST /rpc/:rpcName: ${shown.join(', ')}` +
|
|
68
|
+
(rest > 0 ? `, and ${rest} more` : '') +
|
|
69
|
+
`. Add permissions to the function, set \`auth: true\` if a session is ` +
|
|
70
|
+
`required after all, gate the whole addon with ` +
|
|
71
|
+
`wireAddon({ auth: true }), or drop \`expose: true\` if ` +
|
|
72
|
+
`${one ? 'it was' : 'they were'} not meant to be callable from outside.`,
|
|
73
|
+
})
|
|
74
|
+
}
|
|
75
|
+
|
|
76
|
+
/**
|
|
77
|
+
* Whether every function in this package is already gated by its `wireAddon`.
|
|
78
|
+
* Those gates are applied by `runPikkuFunc` on every wiring path, so a function
|
|
79
|
+
* with no gate of its own is still covered by them.
|
|
80
|
+
*
|
|
81
|
+
* An addon whose `scopes`/`auth` were not statically knowable reads as
|
|
82
|
+
* unknown, and unknown is treated as gated — a false negative here costs a
|
|
83
|
+
* missing warning, a false positive costs trust in every warning.
|
|
84
|
+
*
|
|
85
|
+
* knowledge: decisions/security/addon-scopes-are-resolved-where-the-function-runs.md
|
|
86
|
+
*/
|
|
87
|
+
function isGatedByItsAddon(
|
|
88
|
+
state: InspectorState,
|
|
89
|
+
packageName: string | undefined
|
|
90
|
+
): boolean {
|
|
91
|
+
if (!packageName) return false
|
|
92
|
+
|
|
93
|
+
const declarations = state.rpc?.wireAddonDeclarations
|
|
94
|
+
if (!declarations) return false
|
|
95
|
+
|
|
96
|
+
for (const declaration of declarations.values()) {
|
|
97
|
+
if (declaration.package !== packageName) continue
|
|
98
|
+
if (declaration.auth === true) return true
|
|
99
|
+
if (declaration.scopes && declaration.scopes.length > 0) return true
|
|
100
|
+
}
|
|
101
|
+
|
|
102
|
+
return false
|
|
103
|
+
}
|
|
@@ -0,0 +1,105 @@
|
|
|
1
|
+
import assert from 'node:assert/strict'
|
|
2
|
+
import { describe, test, beforeEach } from 'node:test'
|
|
3
|
+
import { ErrorCode } from '../error-codes.js'
|
|
4
|
+
import { validateTagsResolveToMiddleware } from './validate-tags-resolve-to-middleware.js'
|
|
5
|
+
|
|
6
|
+
let diagnostics: Array<{ severity: string; code: string; message: string }>
|
|
7
|
+
|
|
8
|
+
const logger = {
|
|
9
|
+
debug: () => {},
|
|
10
|
+
info: () => {},
|
|
11
|
+
warn: () => {},
|
|
12
|
+
error: () => {},
|
|
13
|
+
critical: () => {},
|
|
14
|
+
diagnostic: (d: any) => diagnostics.push(d),
|
|
15
|
+
hasCriticalErrors: () => false,
|
|
16
|
+
} as any
|
|
17
|
+
|
|
18
|
+
/**
|
|
19
|
+
* The three pieces of state the check reads: the addon declarations that carry
|
|
20
|
+
* tags, and the two registries a tag can resolve against.
|
|
21
|
+
*/
|
|
22
|
+
const stateWith = (
|
|
23
|
+
addons: Record<string, { tags?: string[] }>,
|
|
24
|
+
httpTags: string[] = [],
|
|
25
|
+
channelTags: string[] = []
|
|
26
|
+
) =>
|
|
27
|
+
({
|
|
28
|
+
rpc: { wireAddonDeclarations: new Map(Object.entries(addons)) },
|
|
29
|
+
middleware: { tagMiddleware: new Map(httpTags.map((t) => [t, []])) },
|
|
30
|
+
channelMiddleware: {
|
|
31
|
+
tagMiddleware: new Map(channelTags.map((t) => [t, []])),
|
|
32
|
+
},
|
|
33
|
+
}) as any
|
|
34
|
+
|
|
35
|
+
const run = (state: any) => {
|
|
36
|
+
validateTagsResolveToMiddleware(logger, state)
|
|
37
|
+
return diagnostics.filter(
|
|
38
|
+
(d) => d.code === ErrorCode.TAG_RESOLVES_TO_NO_MIDDLEWARE
|
|
39
|
+
)
|
|
40
|
+
}
|
|
41
|
+
|
|
42
|
+
beforeEach(() => {
|
|
43
|
+
diagnostics = []
|
|
44
|
+
})
|
|
45
|
+
|
|
46
|
+
describe('validateTagsResolveToMiddleware', () => {
|
|
47
|
+
test('warns about an addon tag no middleware is registered for', () => {
|
|
48
|
+
const found = run(stateWith({ console: { tags: ['admin'] } }))
|
|
49
|
+
assert.equal(found.length, 1)
|
|
50
|
+
assert.match(found[0]!.message, /console/)
|
|
51
|
+
assert.match(found[0]!.message, /admin/)
|
|
52
|
+
})
|
|
53
|
+
|
|
54
|
+
test('warns rather than fails the build', () => {
|
|
55
|
+
// The tag may be registered by host code the inspector never sees, so this
|
|
56
|
+
// has to stay advisory — a false positive must not break codegen.
|
|
57
|
+
const found = run(stateWith({ console: { tags: ['admin'] } }))
|
|
58
|
+
assert.equal(found[0]!.severity, 'warn')
|
|
59
|
+
})
|
|
60
|
+
|
|
61
|
+
test('stays quiet when http middleware is registered for the tag', () => {
|
|
62
|
+
assert.deepEqual(run(stateWith({ console: { tags: ['admin'] } }, ['admin'])), [])
|
|
63
|
+
})
|
|
64
|
+
|
|
65
|
+
test('stays quiet when only channel middleware is registered for the tag', () => {
|
|
66
|
+
assert.deepEqual(
|
|
67
|
+
run(stateWith({ console: { tags: ['admin'] } }, [], ['admin'])),
|
|
68
|
+
[]
|
|
69
|
+
)
|
|
70
|
+
})
|
|
71
|
+
|
|
72
|
+
test('reports each unresolved tag on an addon separately', () => {
|
|
73
|
+
const found = run(
|
|
74
|
+
stateWith({ console: { tags: ['admin', 'audited'] } }, ['admin'])
|
|
75
|
+
)
|
|
76
|
+
assert.equal(found.length, 1)
|
|
77
|
+
assert.match(found[0]!.message, /audited/)
|
|
78
|
+
})
|
|
79
|
+
|
|
80
|
+
test('reports the same tag once per addon that declares it', () => {
|
|
81
|
+
const found = run(
|
|
82
|
+
stateWith({ console: { tags: ['admin'] }, billing: { tags: ['admin'] } })
|
|
83
|
+
)
|
|
84
|
+
assert.equal(found.length, 2)
|
|
85
|
+
})
|
|
86
|
+
|
|
87
|
+
test('stays quiet for an addon with no tags', () => {
|
|
88
|
+
assert.deepEqual(run(stateWith({ console: {} })), [])
|
|
89
|
+
})
|
|
90
|
+
|
|
91
|
+
test('stays quiet when there are no addons at all', () => {
|
|
92
|
+
assert.deepEqual(run(stateWith({})), [])
|
|
93
|
+
})
|
|
94
|
+
|
|
95
|
+
test('tolerates rpc state being absent', () => {
|
|
96
|
+
// Inspection of a package with no RPC surface never populates it.
|
|
97
|
+
assert.deepEqual(
|
|
98
|
+
run({
|
|
99
|
+
middleware: { tagMiddleware: new Map() },
|
|
100
|
+
channelMiddleware: { tagMiddleware: new Map() },
|
|
101
|
+
} as any),
|
|
102
|
+
[]
|
|
103
|
+
)
|
|
104
|
+
})
|
|
105
|
+
})
|
|
@@ -0,0 +1,48 @@
|
|
|
1
|
+
import { ErrorCode } from '../error-codes.js'
|
|
2
|
+
import type { InspectorLogger, InspectorState } from '../types.js'
|
|
3
|
+
|
|
4
|
+
/**
|
|
5
|
+
* An addon tag naming middleware nobody registered.
|
|
6
|
+
*
|
|
7
|
+
* `wireAddon({ tags: ['admin'] })` reads like a gate and is applied like one —
|
|
8
|
+
* right up until no `addTagMiddleware('admin', …)` exists, at which point it
|
|
9
|
+
* resolves to an empty list and every request sails through. Nothing at runtime
|
|
10
|
+
* distinguishes "this tag runs three middlewares" from "this tag does nothing".
|
|
11
|
+
*
|
|
12
|
+
* Only **addon** tags are reported. A tag on a function is just as likely to be
|
|
13
|
+
* organizational — grouping, documentation, OpenAPI — and warning about every
|
|
14
|
+
* one of those would bury the case that matters. A tag on `wireAddon` is
|
|
15
|
+
* different: it is the documented way to apply a gate across a whole addon, so
|
|
16
|
+
* an inert one is never decorative. An exposed function relying on a tag it
|
|
17
|
+
* has no other gate behind is already reported by
|
|
18
|
+
* `validateExposedFunctionsGated`, which does not count tags as a gate.
|
|
19
|
+
*
|
|
20
|
+
* knowledge: decisions/security/addon-auth-and-tags-only-tighten.md
|
|
21
|
+
*/
|
|
22
|
+
export function validateTagsResolveToMiddleware(
|
|
23
|
+
logger: InspectorLogger,
|
|
24
|
+
state: InspectorState
|
|
25
|
+
): void {
|
|
26
|
+
const registered = new Set<string>([
|
|
27
|
+
...state.middleware.tagMiddleware.keys(),
|
|
28
|
+
...state.channelMiddleware.tagMiddleware.keys(),
|
|
29
|
+
])
|
|
30
|
+
|
|
31
|
+
for (const [namespace, declaration] of state.rpc?.wireAddonDeclarations ??
|
|
32
|
+
[]) {
|
|
33
|
+
for (const tag of declaration.tags ?? []) {
|
|
34
|
+
if (registered.has(tag)) continue
|
|
35
|
+
|
|
36
|
+
logger.diagnostic({
|
|
37
|
+
severity: 'warn',
|
|
38
|
+
code: ErrorCode.TAG_RESOLVES_TO_NO_MIDDLEWARE,
|
|
39
|
+
message:
|
|
40
|
+
`wireAddon('${namespace}') declares tag '${tag}', but no ` +
|
|
41
|
+
`addTagMiddleware('${tag}', …) registers anything for it. The tag ` +
|
|
42
|
+
`resolves to an empty middleware list, so it applies no gate to the ` +
|
|
43
|
+
`addon at all. Register middleware for it, or drop the tag if it is ` +
|
|
44
|
+
`only meant to group and document.`,
|
|
45
|
+
})
|
|
46
|
+
}
|
|
47
|
+
}
|
|
48
|
+
}
|