hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-27 09:31:30 +02:00
Code Issues Packages Projects Releases Wiki Activity
87,634 Commits 1,761 Branches 168 Tags
158c81c06d05efd0e7f01bbcd79592a6846c820a
Commit Graph

3254 Commits

Author SHA1 Message Date
Copilot
158c81c06d Python: compact-renumber FunctionExpr/Lambda defaults 
`Args.getDefault(int)` and `Args.getKwDefault(int)` are indexed by
argument position (with gaps for args without defaults), not by
default position. The CFG `getChild` predicate for FunctionDefExpr
and LambdaExpr therefore had gaps at low indices and collisions
where defaults and kwdefaults overlapped, producing parallel
edges before the FunctionExpr.

Use `rank` to compact-renumber `getDefault(n)` and `getKwDefault(n)`
in source order. Verified on a CPython database: removes ~536
`multipleSuccessors` consistency results (1340 -> 804); the rest are
`for/else` and `while/else`.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
 2026-05-26 16:32:39 +00:00
Copilot
2de3733fe3 Python: collapse two-layer AstNodeImpl into a single Ast module 
Merge the previous `Ast` and `AstSigImpl` modules into a single
`module Ast implements AstSig<Py::Location>`. Classes now use the
signature names (IfStmt, WhileStmt, ForeachStmt, etc.) and signature
predicates (getCondition, getThen, getElse, etc.) directly, with no
intermediate renaming layer.

Drop the TStmtListNode newtype branch entirely. Replace it with a
synthetic TBlockStmt(parent, slot) keyed by a parent AST node and a
slot label string ('body', 'orelse', 'finally'). Py::StmtList no
longer appears in the newtype; the BlockStmt class provides indexed
access to the underlying body items via getStmt(n).

All 22 of 24 evaluation-order tests still pass; the same 2
comprehension-related failures predate this refactor.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
 2026-05-26 16:32:38 +00:00
yoff
0dabf47344 Python: add pattern nodes 
Co-authored-by: Copilot <copilot@github.com>
 2026-05-26 16:32:38 +00:00
Taus
661a77b415 Cleanup, printCFG 
Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:38 +00:00
Taus
71a547b0d3 Python: Handle dict unpacking in calls 
Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:38 +00:00
Taus
bac48b4914 Python: Fix exception issue 
Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:38 +00:00
Taus
852aba880d Python: Fix match 
Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:38 +00:00
Taus
356907990a Python: Support match 
Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:38 +00:00
Taus
024702e019 Python: More nodes 
Not entirely sure about the `else:` blocks.

Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:37 +00:00
Taus
98637bcdc7 Python: Comprehensions 
Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:37 +00:00
Taus
abd7c2989d Python: Add with 
Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:37 +00:00
Taus
6573eed42b Python: More simple statements 
Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:37 +00:00
Taus
fc3940fb5d Python: assignments 
Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:37 +00:00
Taus
319e49b955 Python: Attributes 
Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:37 +00:00
Taus
da663da87b Python: Function calls 
Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:37 +00:00
Taus
5680477179 Python: Assert statements 
Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:37 +00:00
Taus
2b3df57eea Python: Support various literals 
Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:37 +00:00
Taus
2f2c071920 Python: More AstNodeImpl improvements 
Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:36 +00:00
Taus
28ebe21337 Python: Instantiate CFG module fully 
Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:36 +00:00
Taus
5519570157 Python: Use fields everywhere in new AST classes 
Co-authored-by: yoff <yoff@github.com>
 2026-05-26 16:32:36 +00:00
Taus
53f34376c0 Python: First stab at shared control-flow 2026-05-26 16:32:36 +00:00
Óscar San José
996e79131e Merge branch 'main' into post-release-prep/codeql-cli-2.25.5 2026-05-22 16:32:30 +02:00
github-actions[bot]
9f64000962 Post-release preparation for codeql-cli-2.25.5 2026-05-18 15:20:31 +00:00
github-actions[bot]
e38616a2ef Release preparation for version 2.25.5 2026-05-18 12:05:32 +00:00
Geoffrey White
a4b2c0f6fd Update change notes (Copilot's suggestions). 2026-05-15 09:24:29 +01:00
Geoffrey White
59dbd68a5e Add change notes. 2026-05-14 14:46:05 +01:00
github-actions[bot]
7610277199 Post-release preparation for codeql-cli-2.25.4 2026-05-05 10:10:06 +00:00
github-actions[bot]
88e1d86c27 Release preparation for version 2.25.4 2026-05-05 09:34:30 +00:00
Josef Svenningsson
68be006a29 Merge pull request #21641 from github/josefs/promptInjectionImprovements 
Improve prompt inject for Python
 2026-04-29 11:23:52 +01:00
Josef Svenningsson
bb18bb084c Improve prompt inject for Python 2026-04-28 18:24:16 +01:00
Owen Mansel-Chan
6efb21314a Merge pull request #21523 from owen-mc/docs/mad/barriers 
Document models-as-data barriers and barrier guards and add change notes
 2026-04-21 13:49:19 +01:00
Michael B. Gale
58e9bad0a0 Merge pull request #21737 from github/post-release-prep/codeql-cli-2.25.3 
Post-release preparation for codeql-cli-2.25.3
 2026-04-21 11:48:30 +02:00
Taus
b108e173a5 Merge pull request #21695 from github/tausbn/python-add-support-for-pep-798 
Python: Add support for PEP-798
 2026-04-20 15:01:01 +02:00
github-actions[bot]
a0bab539bb Post-release preparation for codeql-cli-2.25.3 2026-04-20 12:40:34 +00:00
github-actions[bot]
c861d99802 Release preparation for version 2.25.3 2026-04-20 09:27:23 +00:00
Owen Mansel-Chan
8f17b73796 Fix link formatting in change notes 2026-04-14 15:27:37 +01:00
Owen Mansel-Chan
c86ba38a4e Add change notes 2026-04-14 15:27:31 +01:00
Henry Mercer
43c9b95e6f Merge branch 'main' into post-release-prep/codeql-cli-2.25.2 2026-04-14 13:56:52 +01:00
Taus
15790aa00c Python: Add change note 2026-04-14 13:27:31 +02:00
Taus
c748fdf8ee Merge pull request #21694 from github/tausbn/python-add-support-for-pep-810 
Python: Add support for PEP 810
 2026-04-14 13:27:08 +02:00
Owen Mansel-Chan
7458674470 Merge pull request #21584 from owen-mc/shared/update-mad-comments 
Shared: update code comments explaining models-as-data format to include barriers and barrier guards
 2026-04-14 09:30:28 +01:00
Taus
86020d9eed Python: Add change note 2026-04-10 14:43:30 +00:00
Taus
1ddfed6b6b Python: Add QL support for lazy imports 
Adds a new `isLazy` predicate to the relevant classes, and adds the
relevant dbscheme (and up/downgrade) changes. On upgrades we do nothing,
and on downgrades we remove the `is_lazy` bits.
 2026-04-10 14:25:08 +00:00
Taus
16683aee0e Merge pull request #21590 from github/tausbn/python-improve-bind-all-interfaces-query 
Python: Improve "bind all interfaces" query
 2026-04-07 17:59:48 +02:00
github-actions[bot]
242090e0ac Post-release preparation for codeql-cli-2.25.2 2026-04-06 13:49:20 +00:00
github-actions[bot]
4fe2f6d2b4 Release preparation for version 2.25.2 2026-04-06 10:30:38 +00:00
Óscar San José
59eec7ffa2 Merge branch 'main' of https://github.com/github/codeql into post-release-prep/codeql-cli-2.25.1 2026-03-30 10:51:12 +02:00
github-actions[bot]
ce6e6d5db3 Post-release preparation for codeql-cli-2.25.1 2026-03-30 08:43:48 +00:00
Owen Mansel-Chan
37aac05964 Replace branch with acceptingValue 2026-03-27 22:39:10 +00:00
Owen Mansel-Chan
10fddc7b96 Add barriers and barrier guards to MaD format explanations 2026-03-27 09:47:24 +00:00