Proposal: a Starlark extractor for CodeQL
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 初心者へのやさしさ
- 25/100
調査の方向性
Read the proposal and the linked starlark-analyze project to understand its checker and SARIF output. The issue asks maintainers to decide whether a Starlark extractor is in scope and what it should cover; it does not request implementation. Done means maintainers answer those scope questions and clarify whether external SARIF upload is the supported path.
索引モデルが issue の本文から書いたものです。
説明
Proposal: a Starlark extractor for CodeQL
Starlark (Tiltfile, Bazel BUILD and .bzl files, and other Starlark-based configuration) has no CodeQL extractor. The language stats for this repo count Starlark only because of Bazel .bzl files in misc/ and the tree. As a result, Starlark-based configuration gets no static analysis on GitHub.
Flisk (the Tilt-based local stack tool) uses Starlark for its Tiltfiles and *.star configuration. We have a working, stdlib-only checker that reports the following through SARIF 2.1.0:
- unpinned remote
load() local_resourcecommands built by string concatenation- literal secrets assigned in Starlark
- file reads that leave the project root
The checker is at https://github.com/flisk-sh/starlark-analyze. It parses with Python's ast module because Starlark is a Python subset, so it is not an extractor and does not model Starlark's semantics.
Questions for maintainers
- Is a Starlark extractor on the roadmap, or is this out of scope for CodeQL?
- If it is in scope, what would a minimal extractor need to cover first:
Tiltfiledialect,load()resolution, or.bzlfor Bazel? - If not, would you accept SARIF from an external analyzer via
github/codeql-action/upload-sarifas the supported path?
I'm happy to contribute test cases and the rule definitions from that repo. I'm not asking for a merge into CodeQL.
- 主要言語
- CodeQL
- スター
- 10.3k
- フォーク
- 2.1k
- 平均マージ
- 2日 10時間
- マージ済み PR（30日）
- 137
環境構築
このプロジェクトの開発コンテナを、あなたの GitHub アカウントでブラウザ上に起動します。
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
github/codeql のほかの issue
-
JavaScript externs model StorageEvent() with no type argument対応中かも @asgerf が 9 日前に担当しました。 オープンfalse-positive javascript
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
github/codeql#22632 · コメント 3 件 · リアクション 1 件 · 担当者 2 名 ·
メンテナーはふだん 1 日以内に返信
-
Add AlertSuppression.ql for Rust (inline // codeql[...] suppression)対応中かも @cnuss が 210 日前に担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
github/codeql#21637 · コメント 2 件 ·
メンテナーはふだん 1 日以内に返信
-
false-positive
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
github/codeql#21076 · コメント 3 件 · リアクション 3 件 ·
メンテナーはふだん 1 日以内に返信
-
Rust: Axum State captured by a closure is treated as remote対応中かも @hvitved が 1 日前に担当しました。 オープン
github/codeql#22912 · コメント 1 件 · 担当者 1 名 ·
メンテナーはふだん 1 日以内に返信
-
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
github/codeql#22883 · コメント 2 件 ·
メンテナーはふだん 1 日以内に返信
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100
-
openspec-sync-specs skill: containment check missing for create/update path, only present for deleteオープン
難易度 2/5 1〜3時間 初心者へのやさしさ 73/100
Fission-AI/OpenSpec#2164 ·
メンテナーはふだん 1 日以内に返信
-
Regression: IME preedit still shown in plaintext on lock/polkit — #13002 fix is not in 4.0.6対応中かも @AnPod が今日担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
tox-dev/pipdeptree#836 ·
メンテナーはふだん 1 日以内に返信
-
bug:normal
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
メンテナーはふだん 1 日以内に返信