hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-31 11:31:23 +02:00
Code Issues Packages Projects Releases Wiki Activity
87,732 Commits 1,763 Branches 168 Tags
2a04316d695a59dc688131c5292933bf7892aa1b
Commit Graph

3254 Commits

Author SHA1 Message Date
Copilot
2a04316d69 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-28 21:09:40 +00:00
Copilot
7912e1b257 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-28 21:09:39 +00:00
yoff
768bdb5937 Python: add pattern nodes 
Co-authored-by: Copilot <copilot@github.com>
 2026-05-28 21:09:39 +00:00
Taus
41b5589460 Cleanup, printCFG 
Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:39 +00:00
Taus
655f84ed0d Python: Handle dict unpacking in calls 
Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:39 +00:00
Taus
aaf9cc52d4 Python: Fix exception issue 
Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:39 +00:00
Taus
cc77f0bcfa Python: Fix match 
Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:39 +00:00
Taus
146a3a929d Python: Support match 
Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:38 +00:00
Taus
d83d943f68 Python: More nodes 
Not entirely sure about the `else:` blocks.

Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:38 +00:00
Taus
5b1de9eacd Python: Comprehensions 
Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:38 +00:00
Taus
9f93d6c902 Python: Add with 
Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:38 +00:00
Taus
cc09df27ba Python: More simple statements 
Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:38 +00:00
Taus
da408d7c75 Python: assignments 
Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:38 +00:00
Taus
999b8f23cb Python: Attributes 
Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:38 +00:00
Taus
4336b07d48 Python: Function calls 
Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:38 +00:00
Taus
b8bc230a38 Python: Assert statements 
Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:38 +00:00
Taus
4e3a633f14 Python: Support various literals 
Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:38 +00:00
Taus
4583244ec6 Python: More AstNodeImpl improvements 
Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:37 +00:00
Taus
6b3a790015 Python: Instantiate CFG module fully 
Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:37 +00:00
Taus
b5df1886ea Python: Use fields everywhere in new AST classes 
Co-authored-by: yoff <yoff@github.com>
 2026-05-28 21:09:37 +00:00
Taus
30f28bab8d Python: First stab at shared control-flow 2026-05-28 21:09:37 +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