28 KiB
| description |
|---|
| Usage tips and recipes for running zizmor locally and in CI/CD. |
Usage
Input collection
Before auditing, zizmor performs an input collection phase.
There are three input sources that zizmor knows about:
-
Individual workflow and composite action files, e.g.
foo.ymlandmy-action/action.yml; -
"Local" GitHub repositories in the form of a directory, e.g.
my-repo/; -
"Remote" GitHub repositories in the form of a "slug", e.g.
pypa/sampleproject.!!! tip
By default, a remote repository will be audited from the `HEAD` of the default branch. To control this, you can append a `git` reference to the slug: ```bash # audit at HEAD on the default branch zizmor example/example # audit at branch or tag `v1` zizmor example/example@v1 # audit at a specific SHA zizmor example/example@abababab... ```!!! tip
Remote auditing requires Internet access and a GitHub API token. See [Operating Modes](#operating-modes) for more information.
zizmor can audit multiple inputs in the same run, and different input
sources can be mixed and matched:
# audit a single local workflow, an entire local repository, and
# a remote repository all in the same run
zizmor ../example.yml ../other-repo/ example/example
When auditing local and/or remote repositories, zizmor will collect both
workflows (e.g. .github/workflows/ci.yml) and action definitions
(e.g. custom-action/foo.yml) by default. To configure collection behavior,
you can use the --collect=... option.
# collect everything regardless of `.gitignore` patterns
zizmor --collect=all example/example
# collect everything while respecting `.gitignore` patterns (the default)
zizmor --collect=default example/example
# collect only workflows
zizmor --collect=workflows-only example/example
# collect only actions
zizmor --collect=actions-only example/example
!!! tip
`--collect=all` can be significantly slower than `--collect=default`,
particularly when collecting from directories that contain large
hierarchies of paths that would be ignored by `.gitignore` patterns.
!!! tip
`--collect=...` only controls input collection from repository input
sources. In other words, `zizmor --collect=actions-only workflow.yml`
*will* audit `workflow.yml`, since it was passed explicitly and not
collected indirectly.
By default, zizmor will warn (but not fail) if it fails to parse a
workflow or action definition. To turn these warnings into failures,
you can use the --strict-collection option:
# fail if any files collected from example/example fail to parse
zizmor --strict-collection example/example
!!! important
`--strict-collection` is available in `v1.7.0` and later.
Operating Modes
Some of zizmor's audits require access to GitHub's API.
zizmor will perform online audits by default if the user has a GH_TOKEN
specified in their environment. If no GH_TOKEN is present, then zizmor
will operate in offline mode by default.
Both of these can be made explicit through their respective command-line flags:
# force offline, even if a GH_TOKEN is present
# this disables all online actions, including repository fetches
zizmor --offline workflow.yml
# passing a token explicitly will enable online mode
zizmor --gh-token ghp-... workflow.yml
# online for the purpose of fetching the input (example/example),
# but all audits themselves are offline
zizmor --no-online-audits --gh-token ghp-... example/example
Output formats
zizmor always produces output on stdout.
See Integration for suggestions on when to use each format.
Cargo-style output ("plain")
By default, zizmor produces cargo-style diagnostic output.
error[template-injection]: code injection via template expansion
--> ./tests/integration/test-data/template-injection/pr-425-backstop/action.yml:28:7
|
28 | - name: case4
| ^^^^^^^^^^^ this step
29 | uses: azure/powershell
30 | with:
31 | inlineScript: Get-AzVM -ResourceGroupName "${{ inputs.expandme }}"
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ inputs.expandme may expand into attacker-controllable code
|
= note: audit confidence → Low
This output will be colorized by default when sent to a supporting terminal and
uncolorized by default when piped to another program. Users can also explicitly
disable output colorization by setting NO_COLOR=1 in their environment.
This format can also be explicitly selected with --format=plain:
JSON
!!! important
The JSON format is versioned, and `--format=json` is an alias for the
current version.
The current version of the JSON format is `v1`. You can use
`--format=json-v1` to explicitly select the current version.
The following compatibility policy is used for JSON format versions:
1. The current version of the format is always aliased as `json`.
2. When a new version of the JSON format is added, `--format=json`
will show a deprecation warning, and will transition to the new version
with the next major release.
3. When a new version of the JSON format is added, explicit uses of the
old version will show a deprecation warning.
4. The old version will be removed in the *subsequent* major release
(i.e., the major release after the one that transitions the `json` alias).
!!! important
`--format=json-v1` is available in `v1.6.0` and later.
With --format=json, zizmor will produce a flat array of findings in
JSON format:
zizmor --format=json . | jq .[0]
??? Example "Example output"
```json
{
"ident": "github-env",
"desc": "dangerous use of environment file",
"url": "https://woodruffw.github.io/zizmor/audits/#github-env",
"determinations": {
"confidence": "Low",
"severity": "High",
"persona": "Regular"
},
"locations": [
{
"symbolic": {
"key": {
"Local": {
"prefix": ".",
"given_path": "./tests/integration/test-data/github-env/action.yml"
}
},
"annotation": "write to GITHUB_ENV may allow code execution",
"route": {
"components": [
{
"Key": "runs"
},
{
"Key": "steps"
},
{
"Index": 0
},
{
"Key": "run"
}
]
},
"kind": "Primary"
},
"concrete": {
"location": {
"start_point": {
"row": 9,
"column": 6
},
"end_point": {
"row": 10,
"column": 40
},
"offset_span": {
"start": 202,
"end": 249
}
},
"feature": " run: |\n echo \"foo=$(bar)\" >> $GITHUB_ENV",
"comments": []
}
}
],
"ignored": false
}
```
SARIF
zizmor supports SARIF via --format=sarif.
SARIF is a JSON-based standard for representing static analysis results.
See Use in GitHub Actions for
information on using zizmor with GitHub's Advanced Security
functionality via GitHub Actions.
GitHub Annotations
!!! note
`--format=github` is available in `v1.6.0` and later.
zizmor supports GitHub annotations via --format=github.
See Workflow Commands for GitHub Actions for additional information about annotations.
!!! warning
GitHub annotations come with significant limitations: a single CI step
can only render 10 annotations at a time.
If your `zizmor` run produces more than 10 findings, only the first 10 will
be rendered; all subsequent findings will be logged in the actions log but
**will not be rendered** as annotations.
See orgs/community?26680 and orgs/community?68471 for additional
information.
Exit codes
!!! note
Exit codes 10 and above are **not used** if `--no-exit-codes` or
`--format sarif` is passed.
zizmor uses various exit codes to summarize the results of a run:
| Code | Meaning |
|---|---|
| 0 | Successful audit; no findings to report (or SARIF mode enabled). |
| 1 | Error during audit; consult output. |
| 10 | One or more findings found; highest finding is "unknown" level. |
| 11 | One or more findings found; highest finding is "informational" level. |
| 12 | One or more findings found; highest finding is "low" level. |
| 13 | One or more findings found; highest finding is "medium" level. |
| 14 | One or more findings found; highest finding is "high" level. |
All other exit codes are currently reserved.
Using personas
!!! tip
`--persona=...` is available in `v0.7.0` and later.
zizmor comes with three pre-defined "personas," which dictate how
sensitive zizmor's analyses are:
-
The regular persona: the user wants high-signal, low-noise, actionable security findings. This persona is best for ordinary local use as well as use in most CI/CD setups, which is why it's the default.
!!! note
This persona can be made explicit with `--persona=regular`, although this is not required. -
The pedantic persona, enabled by
--persona=pedantic: the user wants code smells in addition to regular, actionable security findings.This persona is ideal for finding things that are a good idea to clean up or resolve, but are likely not immediately actionable security findings (or are actionable, but suggest a intentional security decision by the workflow/action author).
For example, using the pedantic persona will flag the following with an
unpinned-usesfinding, since it uses a symbolic reference as its pin instead of a hashed pin:uses: actions/checkout@v3produces:
$ zizmor --pedantic tests/test-data/unpinned-uses.yml help[unpinned-uses]: unpinned action reference --> tests/test-data/unpinned-uses.yml:14:9 | 14 | - uses: actions/checkout@v3 | ------------------------- help: action is not pinned to a hash ref | = note: audit confidence → High!!! tip
This persona can also be enabled with `--pedantic`, which is an alias for `--persona=pedantic`. -
The auditor persona, enabled by
--persona=auditor: the user wants everything flagged byzizmor, including findings that are likely to be false positives.This persona is ideal for security auditors and code reviewers, who want to go through
zizmor's findings manually with a fine-toothed comb.Some audits, notably
self-hosted-runner, only produce auditor-level results. This is because these audits require runtime context thatzizmorlacks access to by design, meaning that their results are always subject to false positives.For example, with the default persona:
$ zizmor tests/test-data/self-hosted.yml 🌈 completed self-hosted.yml No findings to report. Good job! (1 suppressed)and with
--persona=auditor:$ zizmor --persona=auditor tests/test-data/self-hosted.yml note[self-hosted-runner]: runs on a self-hosted runner --> tests/test-data/self-hosted.yml:8:5 | 8 | runs-on: [self-hosted, my-ubuntu-box] | ------------------------------------- note: self-hosted runner used here | = note: audit confidence → High 1 finding: 1 unknown, 0 informational, 0 low, 0 medium, 0 high
Filtering results
There are two straightforward ways to filter zizmor's results:
-
If all you need is severity or confidence filtering (e.g. "I want only medium-severity and/or medium-confidence and above results"), then you can use the
--min-severityand--min-confidenceflags:!!! tip
`--min-severity` and `--min-confidence` are available in `v0.6.0` and later.# filter unknown, informational, and low findings with unknown, low confidence zizmor --min-severity=medium --min-confidence=medium ... -
If you need more advanced filtering (with nontrivial conditions or state considerations), then consider using
--format=jsonand usingjq(or a script) to perform your filtering.As a starting point, here's how you can use
jqto filterzizmor's JSON output to only results that are marked as "high confidence":zizmor --format=json ... | jq 'map(select(.determinations.confidence == "High"))'
Ignoring results
zizmor's defaults are not always 100% right for every possible use case.
If you find that zizmor produces findings that aren't right for you
(and aren't false positives, which should be reported!), then you can
choose to selectively ignore results via either special ignore comments
or a zizmor.yml configuration file.
With comments
!!! note
Ignore comment support was added in `v0.6.0`.
Findings can be ignored inline with # zizmor: ignore[rulename] comments.
This is ideal for one-off ignores, where a whole zizmor.yml configuration
file would be too heavyweight.
Multiple different audits can be ignored with a single comment by
separating each rule with a comma, e.g.
# zizmor: ignore[artipacked,ref-confusion].
To ignore a single artipacked finding:
uses: actions/checkout@v3 # zizmor: ignore[artipacked]
Ignore comments can also have a trailing explanation:
uses: actions/checkout@v3 # zizmor: ignore[artipacked] this is actually fine
!!! important
An ignore comment can be placed anywhere in any span identified by a finding,
**so long** as it can be identified as a YAML comment. In particular,
this means that you **can't** place an ignore comment in the middle of a string
or a block literal. For example, the following does not work:
```yaml title="example.yml"
# this is not suppressed, since the comment is actually part of the string
run: |
echo "${{ github.event.issue.title }}" # zizmor: ignore[template-injection]
```
To fix this, you should place the ignore comment outside of the string,
e.g. directly above it:
```yaml title="example.yml"
run: | # zizmor: ignore[template-injection]
echo "${{ github.event.issue.title }}"
```
With zizmor.yml
When ignoring multiple findings (or entire files), a zizmor.yml configuration
file is easier to maintain than one-off comments.
Here's what a zizmor.yml file might look like:
rules:
template-injection:
ignore:
- safe.yml
- somewhat-safe.yml:123
- one-exact-spot.yml:123:456
Concretely, this zizmor.yml configuration declares three ignore rules,
all for the template-injection audit:
- Ignore all findings in
safe.yml, regardless of line/column location - Ignore any findings in
somewhat-safe.ymlthat occur on line 123 - Ignore one finding in
one-exact-spot.ymlthat occurs on line 123, column 456
More generally, the filename ignore syntax is workflow.yml:line:col, where
line and col are both optional and 1-based (meaning foo.yml:1:1
is the start of the file, not foo.yml:0:0).
To pass a configuration to zizmor, you can either place zizmor.yml
somewhere where zizmor will discover it, or pass it explicitly via
the --config argument. With --config, the file can be named anything:
zizmor --config my-zizmor-config.yml /dir/to/audit
See Configuration: rules.<id>.ignore for
more details on writing ignore rules.
Caching between runs
!!! tip
Persistent caching (between runs of `zizmor`) is available in `v0.10.0` and later.
!!! warning
Caches can contain sensitive metadata, especially when auditing private
repositories! Think twice before sharing your cache or reusing
it across machine/visibility boundaries.
zizmor caches HTTP responses from GitHub's REST APIs to speed up individual
audits. This HTTP cache is persisted and re-used between runs as well.
By default zizmor will cache to an appropriate user-level caching directory:
- Linux and macOS:
$XDG_CACHE_DIR(~/.cache/zizmorby default) - Windows:
~\AppData\Roaming\woodruffw\zizmor.
To override the default caching directory, pass --cache-dir:
# cache in /tmp instead
zizmor --cache-dir /tmp/zizmor ...
Integration
Use in GitHub Actions
zizmor is designed to integrate with GitHub Actions. There are
two primary ways to use zizmor in GitHub Actions:
- With
--format=sarifvia Advanced Security (recommended) - With
--format=githubvia GitHub Annotations
=== "With Advanced Security (recommended)"
GitHub's Advanced Security and [code scanning functionality] supports
[SARIF], which `zizmor` can produce via `--format=sarif`.
!!! important
The workflow below performs a [SARIF] upload, which is available for public
repositories and for GitHub Enterprise Cloud organizations that have
[Advanced Security]. If neither of these apply to you, then you can
use `--format=github` or adapt the `--format=json` or `--format=plain`
output formats to your needs.
```yaml title="zizmor.yml"
name: GitHub Actions Security Analysis with zizmor 🌈
on:
push:
branches: ["main"]
pull_request:
branches: ["**"]
jobs:
zizmor:
name: zizmor latest via PyPI
runs-on: ubuntu-latest
permissions:
security-events: write
contents: read # only needed for private repos
actions: read # only needed for private repos
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
persist-credentials: false
- name: Install the latest version of uv
uses: astral-sh/setup-uv@c7f87aa956e4c323abf06d5dec078e358f6b4d04 # v6.0.0
- name: Run zizmor 🌈
run: uvx zizmor --format=sarif . > results.sarif # (2)!
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} # (1)!
- name: Upload SARIF file
uses: github/codeql-action/upload-sarif@v3
with:
sarif_file: results.sarif
category: zizmor
```
1. Optional: Remove the `env:` block to only run `zizmor`'s offline audits.
2. This installs the [zizmor package from PyPI], since it's pre-compiled
and therefore completes much faster. You could instead compile `zizmor`
within CI/CD with `cargo install zizmor`.
For more inspiration, see `zizmor`'s own [repository workflow scan], as well
as GitHub's example of [running ESLint] as a security workflow.
!!! important
When using `--format=sarif`, `zizmor` does not use its
[exit codes](#exit-codes) to signal the presence of findings. As a result,
`zizmor` will always exit with code `0` even if findings are present,
**unless** an internal error occurs during the audit.
As a result of this, the `zizmor.yml` workflow itself will always
succeed, resulting in a green checkmark in GitHub Actions.
This should **not** be confused with a lack of findings.
To prevent a branch from being merged with findings present, you can
use GitHub's rulesets feature. For more information, see
[About code scanning alerts - Pull request check failures for code scanning alerts].
=== "With annotations"
A simpler (but more limited) way to use `zizmor` in GitHub Actions is
with annotations, which `zizmor` can produce via `--format=github`.
This is a good option if:
1. You don't have Advanced Security (or you don't want to use it)
1. You don't want to run `zizmor` with `security-events: write`
```yaml title="zizmor.yml"
name: GitHub Actions Security Analysis with zizmor 🌈
on:
push:
branches: ["main"]
pull_request:
branches: ["**"]
jobs:
zizmor:
name: zizmor latest via PyPI
runs-on: ubuntu-latest
permissions:
contents: read # only needed for private repos
actions: read # only needed for private repos
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Install the latest version of uv
uses: astral-sh/setup-uv@v5
- name: Run zizmor 🌈
run: uvx zizmor --format=github . # (2)!
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} # (1)!
```
1. Optional: Remove the `env:` block to only run `zizmor`'s offline audits.
2. This installs the [zizmor package from PyPI], since it's pre-compiled
and therefore completes much faster. You could instead compile `zizmor`
within CI/CD with `cargo install zizmor`.
!!! warning
GitHub Actions has a limit of 10 annotations per step.
If your `zizmor` run produces more than 10 findings, only the first 10 will
be rendered; all subsequent findings will be logged in the actions log but
**will not be rendered** as annotations.
Use with GitHub Enterprise
zizmor supports GitHub instances other than github.com.
To use it with your GitHub Enterprise instance (either cloud or self-hosted),
pass your instance's domain with --gh-hostname or GH_HOST:
zizmor --gh-hostname custom.example.com ...
# or, with GH_HOST
GH_HOST=custom.ghe.com zizmor ...
Use with pre-commit
zizmor can be used with the pre-commit framework.
To do so, add the following to your .pre-commit-config.yaml repos section:
- repo: https://github.com/woodruffw/zizmor-pre-commit
rev: v1.6.0 # (1)!
hooks:
- id: zizmor
- Don't forget to update this version to the latest
zizmorrelease!
This will run zizmor on every commit.
!!! tip
If you want to run `zizmor` only on specific files, you can use the
`files` option. This setting is *optional*, as `zizmor` will
scan the entire repository by default.
See [`pre-commit`](https://pre-commit.com/) documentation for more
information on how to configure `pre-commit`.
Color customization
When invoked from a terminal, zizmor will attempt to enrich its output
with ANSI colors.
!!! note
`--color` is available in `v1.5.0` and later.
Some users may prefer to explicitly enable or disable this behavior. For example, GitHub Actions is not a terminal but it does support ANSI colors, so enabling colors in GitHub Actions can make logs more readable.
To explicitly control zizmor's colorization behavior, use the
--color option:
# force colorization
zizmor --color=always ...
# force no colorization
zizmor --color=never ...
zizmor also respects various environment variables for colorization:
NO_COLOR: if set to any value, disables colorizationFORCE_COLOR: if set to any value, enables colorizationCLICOLOR_FORCE: if set to any value, enables colorization
Tab completion
!!! note
Tab completion is available in `v1.7.0` and later.
zizmor comes with built-in tab completion. It supports all of the
shells supported by clap_complete,
which includes popular shells like bash, zsh, and fish.
To enable tab completion, you can use the --completions=<shell> flag
to emit a completion script for the specified shell. For example,
to enable tab completion for bash, you can run:
zizmor --completions=bash > ~/.bash_completion.d/zizmor # (1)!
- The correct location of your completion script will depend on your shell and its configuration. Consult your shell's documentation for more information.
Limitations
zizmor can help you write more secure GitHub workflow and action definitions,
as well as help you find exploitable bugs in existing definitions.
However, like all tools, zizmor is not a panacea, and has
fundamental limitations that must be kept in mind. This page
documents some of those limitations.
zizmor is a static analysis tool
zizmor is a static analysis tool. It never executes any code, nor does it
have access to any runtime state.
In contrast, GitHub Actions workflow and action definitions are highly dynamic, and can be influenced by inputs that can only be inspected at runtime.
For example, here is a workflow where a job's matrix is generated at runtime by a previous job, making the matrix impossible to analyze statically:
build-matrix:
name: Build the matrix
runs-on: ubuntu-latest
outputs:
matrix: ${{ steps.set-matrix.outputs.matrix }}
steps:
- id: set-matrix
run: |
echo "matrix=$(python generate_matrix.py)" >> "${GITHUB_OUTPUT}"
run:
name: ${{ matrix.name }}
needs:
- build-matrix
runs-on: ubuntu-latest
strategy:
matrix: ${{ fromJson(needs.build-matrix.outputs.matrix) }}
steps:
- run: |
echo "hello ${{ matrix.something }}"
In the above, the expansion of ${{ matrix.something }} is entirely controlled
by the output of generate_matrix.py, which is only known at runtime.
In such cases, zizmor will err on the side of verbosity. For example,
the template-injection audit will flag
${{ matrix.something }} as a potential code injection risk, since it
can't infer anything about what matrix.something might expand to.
zizmor audits workflow and action definitions only
zizmor audits workflow and action definitions only. That means the
contents of foo.yml (for your workflow definitions) or action.yml (for your
composite action definitions).
In practice, this means that zizmor does not analyze other files
referenced by workflow and action definitions. For example:
example:
runs-on: ubuntu-latest
steps:
- name: step-1
run: |
echo foo=$(bar) >> $GITHUB_ENV
- name: step-2
run: |
# some-script.sh contains the same code as step-1
./some-script.sh
zizmor can analyze step-1 above, because the code it executes
is present within the workflow definition itself. It cannot analyze
step-2 beyond the presence of a script execution, since it doesn't
audit shell scripts or any other kind of files.
More generally, zizmor cannot analyze files indirectly referenced within
workflow/action definitions, as they may not actually exist until runtime.
For example, some-script.sh above may have been generated or downloaded
outside of any repository-tracked state.