Proposal: Lobster support for CodeQL
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 35/100
- Issue 类型
- 功能
- 描述清晰度
- 基本清楚
- 活跃度
- 活跃
- 技术栈
- github
- 领域
- security
调研方向
Read the proposal and related issue #22881, then review the existing CodeQL extractor support and the github/codeql-action/upload-sarif path mentioned here. The issue asks maintainers about scope, minimum extractor coverage, and external SARIF support; it does not define an implementation task or completion criteria.
由索引模型根据 Issue 内容生成。
描述
Proposal: Lobster support for CodeQL
Lobster is a general-purpose programming language (.lobster files) used for games and tools. It has a built-in launch_subprocess for running programs and read_file / write_file for file access, so it can contain the same kinds of issues CodeQL looks for in other languages.
CodeQL has no Lobster extractor, so Lobster code gets no static analysis in Code scanning.
As a stop-gap I built a small, unofficial checker that reports through SARIF and uploads with github/codeql-action/upload-sarif: https://github.com/flisk-sh/codeql-lobster. It is not an extractor. It uses a lexer and looks at call shapes only, with four rules for now (launch_subprocess run through a shell, command lines built with +, paths outside the project root, literal secrets). I ran it on the Lobster samples and modules (57 files) and it reported nothing, so it shows no false positives there, but it is only tested on small fixtures and will miss a lot.
Questions for maintainers
- Is support for smaller languages like Lobster in scope for CodeQL, and is there a bar for adding one?
- If it is, what would a minimal extractor need to cover first?
- Until then, is uploading SARIF from an external analyzer the supported path?
I'm not asking for a merge into CodeQL. I'm not affiliated with the Lobster authors. This is a related proposal to #22881 (Starlark).
- 主要语言
- CodeQL
- 星标
- 10.3k
- 派生
- 2.1k
- 平均合并
- 2 天 10 小时
- 30 天内合并 PR
- 137
环境准备
在浏览器里用你自己的 GitHub 账号启动这个项目的开发容器。
- 没有 Dockerfile 或 Docker Compose 文件
- 没有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 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 个 reaction · 已指派 2 人 ·
维护者通常 1 天内回复
-
Add AlertSuppression.ql for Rust (inline // codeql[...] suppression)可能已有人在做 @cnuss 于 210 天前认领。 未关闭
难度 2/5 1-3 小时 新手友好度 78/100
维护者通常 1 天内回复
-
false-positive
难度 2/5 1-3 小时 新手友好度 70/100
github/codeql#21076 · 3 条评论 · 3 个 reaction ·
维护者通常 1 天内回复
-
Rust: Axum State captured by a closure is treated as remote可能已有人在做 @hvitved 于 1 天前认领。 未关闭
github/codeql#22912 · 1 条评论 · 已指派 1 人 ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 25/100
维护者通常 1 天内回复
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 75/100
manfredsteyer/angular-oauth2-oidc#1514 ·
-
难度 2/5 1-3 小时 新手友好度 67/100
vercel-labs/agent-skills#357 ·
维护者通常 9 天内回复
-
01 type: bug 30 needs: triage
难度 2/5 1-3 小时 新手友好度 61/100
维护者通常 1 天内回复
-
难度 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 天内回复