Proposal: a Starlark extractor for CodeQL
I maintainer di solito rispondono entro 1 giorno
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 25/100
Direzione di ricerca
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.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
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.
- Lingua principale
- CodeQL
- Stelle
- 10.3k
- Fork
- 2.1k
- Merge medio
- 2g 5h
- PR unite (30g)
- 143
Preparare l'ambiente
Avvia il container di sviluppo del progetto nel browser, con il tuo account GitHub.
- Nessun Dockerfile né file Docker Compose
- Nessun modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di github/codeql
-
JavaScript externs model StorageEvent() with no type argumentForse già presa @asgerf l’ha presa 11 giorni fa. Apertafalse-positive javascript
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
github/codeql#22632 · 3 commenti · 1 reazione · 2 assegnatari ·
I maintainer di solito rispondono entro 1 giorno
-
Add AlertSuppression.ql for Rust (inline // codeql[...] suppression)Forse già presa @cnuss l’ha presa 212 giorni fa. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
github/codeql#21637 · 2 commenti ·
I maintainer di solito rispondono entro 1 giorno
-
false-positive
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
github/codeql#21076 · 3 commenti · 3 reazioni ·
I maintainer di solito rispondono entro 1 giorno
-
false-positive
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
I maintainer di solito rispondono entro 1 giorno
-
Python: Should an empty `netloc` count as a `py/url-redirection` sanitizer when `///evil.com` passes the check?Forse già presa Una pull request collegata a questa issue è aperta o già unita. Apertaquestion
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
github/codeql#22846 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
Tutte le issue di github/codeql
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100
I maintainer di solito rispondono entro 1 giorno
-
bridge documentation
Difficoltà 2/5 1-3 ore Idoneità per principianti 92/100
combwizard/ZOrbit#88 ·
-
Health probes return 401 when authentication is enabled and the API is served under /orbForse già presa @fgogolli l’ha presa oggi. Apertaarea: api priority: p2 size: S type: bug
Difficoltà 2/5 Mezza giornata Idoneità per principianti 75/100
finos/open-resource-broker#704 ·
I maintainer di solito rispondono entro 1 giorno
-
bug phase:5-1x
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
Docker-Hunterpedia/Helpdock#428 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
processone/xmpp#117 ·